01Automated mapping of Solidity contract hierarchies and external dependencies
02Context-aware audit prioritization for DeFi, DEX, Staking, and NFT projects
03Identification of high-risk entry points including user functions and reentrancy-prone callbacks
04Comprehensive value flow tracing for ETH and token movements across the protocol
05Detailed trust model mapping between users, admins, and external oracles
0610 GitHub stars