aderyn_driver
| Crates.io | aderyn_driver |
| lib.rs | aderyn_driver |
| version | 0.1.9 |
| created_at | 2023-12-13 12:34:56.79003+00 |
| updated_at | 2024-08-05 10:32:20.548261+00 |
| description | Rust based Solidity AST analyzer driver |
| homepage | |
| repository | |
| max_upload_size | |
| id | 1067998 |
| size | 45,054 |
Alex Roan (alexroan)
documentation
README
A powerful Solidity static analyzer that takes a bird's eye view over your smart contracts.
Aderyn Driver
aderyn_driver drives the process of running aderyn over a codebase, utilizing aderyn_core.
Order of operation:
- Framework detection.
- Aderyn uses the compiled AST of smart contracts to analyze them.
- Foundry and Hardhat projects are supported, and the ASTs are loaded depending on which one is detected.
- Build the
WorkspaceContext.- Upon loading the AST, context is built up within the
WorkspaceContextthat detectors can access.
- Upon loading the AST, context is built up within the
- Run Detectors on the
WorkspaceContext.- Each detector is run on the context and issues are stored in each detector.
- Report printed.
- Each detector is passed to the report printer, which prints each found issue in the report.