Subject
4 entries
Auditing
Bookmarks
Slither-simil: ML-Assisted Smart Contract Audits
Trail of Bits introduces Slither-simil, a tool that uses ML embeddings to find smart contracts similar to a known-vulnerable one — dramatically accelerating audits by surfacing candidate contracts before manual review. An early example of applying ML to the smart contract security problem.
Sec3 Pro Auto Auditor: Automated Solana Security
Sec3 (formerly Soteria) launches their automated smart contract auditor for Solana programs — static analysis for Anchor/native Rust programs targeting common vulnerability classes. One of the first automated security tools built specifically for the Solana/Rust ecosystem.
ScanMyCode: Code Security Scanner
ScanMyCode is a code security scanner with smart contract support — static analysis for Solidity and general code security issues. Likely saved alongside the other smart contract security tools (Slither, Sec3, Quantstamp) as part of an audit tooling survey.
Quantstamp Audits Portfolio
Quantstamp's audit portfolio page showcasing their security work across major protocols including ETH2.0, OpenSea, and MakerDAO. Quantstamp was one of the first institutional smart contract audit firms and helped establish what professional blockchain security work looks like.