Category: Programming

slither

slither v0.6.12 releases: Static Analyzer for Solidity

Slither, the Solidity source analyzer Slither is a Solidity static analysis framework written in Python 3. It runs a suite of vulnerability detectors, prints visual information about contract details, and provides an API to...

Automated Vulnerability Addition

LAVA: Large-scale Automated Vulnerability Addition

LAVA: Large Scale Automated Vulnerability Addition Evaluating and improving bug-finding tools is currently difficult due to a shortage of ground truth corpora (i.e., software that has known bugs with triggering inputs). LAVA attempts to...