A powerful Solidity static analyzer that takes a bird's eye view over your smart contracts.

Twitter Website Discord

Aderyn Core

aderyn_core is the backend infrastructure for Aderyn.

src/
├─ ast/             // Solidity AST Structs
├─ context/         // Solidity project context to be analyzed
├─ detect/          // Where Detector specifications and logic live
├─ framework/       // Foundry/Hardhat detection
├─ fscloc/          // Solidity file stats
├─ report/          // Report printers
├─ visitor/         // AST visitors