sentri-analyzer-evm 0.3.0

Sentri: EVM smart contract analyzer with static analysis and invariant checking for Ethereum, Polygon, and other EVM chains.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33

#![deny(unsafe_code)]
#![allow(missing_docs)]

//! EVM (Ethereum/Solidity) program analyzer with advanced analysis capabilities.
//!
//! This crate provides comprehensive static and dynamic analysis for EVM smart contracts:
//!
//! - **AST Analysis**: Parse Solidity using solc JSON AST via AstWalker
//! - **Control Flow**: Build and analyze control flow graphs
//! - **Data Flow**: Track variable definitions, uses, and taint propagation
//! - **Bytecode Analysis**: Disassemble and analyze compiled EVM bytecode
//! - **Symbolic Execution**: Verify invariants hold for all inputs

pub mod analyzer;
pub mod ast;
pub mod ast_types;
pub mod ast_walker;
pub mod bytecode;
pub mod cfg;
pub mod dataflow;
pub mod detectors;
pub mod errors;
pub mod symbolic;

pub use analyzer::EvmAnalyzer;
pub use ast::{AstContract, SolidityParser, Visibility};
pub use ast_types::{AstNode, SourceUnit};
pub use ast_walker::{AstVisitor, AstWalker};
pub use bytecode::{BytecodeAnalyzer, Instruction, Opcode};
pub use cfg::ControlFlowGraph;
pub use dataflow::DataFlow;
pub use errors::{AnalysisError, AnalysisResult};
pub use symbolic::SymbolicExecutor;