
slither
Static Analyzer for Solidity and Vyper
code-analysisstatic-analysisvulnerability-analysis

Static Analyzer for Solidity and Vyper

Generate malicious files using recently published bidi-attack (CVE-2021-42574)

A byte code analyzer for finding deserialization gadget chains in Java applications