thalir-core 0.1.0

Core IR types and builders for ThalIR smart contract analysis
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

/*! Analyze control flow, data flow, and program structure.
 *
 * Finding vulnerabilities requires understanding how values flow through a program and which code
 * paths are reachable. These passes provide CFG construction, dominance trees, and alias analysis—
 * the foundation for pattern matching and verification.
 */

pub mod alias;
pub mod cache;
pub mod cfg;
pub mod control_flow;
pub mod cursor;
pub mod dataflow;
pub mod def_use;
pub mod dominator;
pub mod pass;
pub mod passes;
pub mod pattern;

pub use alias::{AliasAnalysis, AliasResult, AliasSet, PointsToSet};
pub use cache::{AnalysisCache, CacheKey};
pub use control_flow::{ControlFlowGraph, Loop};
pub use cursor::{CursorPosition, IRCursor, ScannerCursor};
pub use def_use::{DefKind, DefUseChains, Definition, Use, UseKind};
pub use dominator::DominatorTree;
pub use pass::{AnalysisID, AnalysisPass, Pass, PassManager};
pub use pattern::{Pattern, PatternBuilder, PatternMatcher};