A control-flow graph builder for Solidity smart contracts.

static-analysis control-flow-graph solidity solidity-contracts solidity-language ethereum-verificaton solidity-analysis

• Updated Dec 4, 2019
• Haskell

A hybrid Solidity + Python security toolkit that analyzes ERC-20 token contracts using static pattern extraction and ML-inspired scoring. Detects mint backdoors, blacklist controls, fee manipulation, trading locks, and rugpull mechanics. Outputs interpretable risk scores, labels, and structured features for deeper analysis.

python static-analysis smart-contracts cryptocurrency cybersecurity solidity web3 feature-engineering erc20 security-tools solidity-analysis audit-automation blockchain-security decentralized-finance risk-scoring ml-security defi-security token-auditing rugpull-detection heuristic-models

• Updated Nov 17, 2025
• Solidity

A research-grade framework for extracting, classifying, and analyzing the "genetic" behavior of smart contract tokens. Identifies economic traits, supply mutations, fee patterns, permission risks, upgradeability vectors, and scam species using a structured gene taxonomy with risk scoring, HTML reports, and token comparison tools.

genomics static-analysis smart-contract-tools solidity-analysis tokenomics risk-scoring solidity-tools smart-contract-security token-classification upgradeable-contracts defi-security blockchain-research contract-auditing token-security economic-security rugpull-detection erc20-analysis contract-behavior fee-tokenomics blacklist-detection

• Updated Nov 29, 2025
• HTML

🔍 Analyze ERC-20 token smart contracts with ML-driven risk scores and labels to enhance security and identify potential threats.

python static-analysis smart-contracts cryptocurrency cybersecurity solidity web3 feature-engineering erc20 solidity-analysis audit-automation decentralized-finance risk-scoring ml-security defi-security token-auditing rugpull-detection heuristic-models

• Updated Feb 13, 2026
• Solidity