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

Twitter Website Discord

aderyn_driver drives the process of running aderyn over a codebase, utilizing aderyn_core.

Order of operation:

1. Configuration
   • Aderyn detects the source folder containing the contracts as well as the remappings to enable scan.
2. Build the WorkspaceContext.
   • Uses solidity-ast-rs to get the ASTs of the solidity files and then createss a Workspace Context out of the same.
3. Calls aderyn_core::detect_issues and then serializes the report based on output file format