aderyn_driver

Crates.ioaderyn_driver
lib.rsaderyn_driver
version0.1.9
sourcesrc
created_at2023-12-13 12:34:56.79003
updated_at2024-08-05 10:32:20.548261
descriptionRust based Solidity AST analyzer driver
homepage
repository
max_upload_size
id1067998
size45,054
Alex Roan (alexroan)

documentation

README



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



Twitter Website Discord

Aderyn Driver

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

Order of operation:

  1. 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.
  2. Build the WorkspaceContext.
    • Upon loading the AST, context is built up within the WorkspaceContext that detectors can access.
  3. Run Detectors on the WorkspaceContext.
    • Each detector is run on the context and issues are stored in each detector.
  4. Report printed.
    • Each detector is passed to the report printer, which prints each found issue in the report.
Commit count: 0

cargo fmt