4naly3er

Open Source

4naly3er is Picodes' open-source Solidity static analyzer. Point it at a contracts directory, with an optional scope file, and it writes report.md from regex and solc-AST detectors in gas, non-critical, low, medium, and high buckets; the README's sample reports are from Code4rena contests.

About

4naly3er is a Node project: yarn analyze takes a contracts path, an optional scope file, and an optional GitHub URL, then writes report.md. Detectors are regexes or walks of the solc AST. CONTRIBUTING.md, linked from the README, types findings as GAS, NC, L, M, or H. Sample reports linked from the README are Code4rena contest outputs. The repository is dormant: its last commit is from August 2024 and it has no releases.