MIESC Tool Reference

Complete list of security tools integrated across 9 defense layers. MIESC provides 50 tools across 35 analysis modules; the core tools listed below are the primary analysis engines.

Layer 1: Static Analysis

Tool	Version	License	Focus
Slither	0.10.x	AGPL-3.0	90+ vulnerability detectors
Aderyn	0.6.x	MIT	Rust-based AST analyzer
Solhint	5.0.x	MIT	Linter with 200+ rules

Layer 2: Dynamic Testing

Tool	Version	License	Focus
Echidna	2.2.x	AGPL-3.0	Property-based fuzzer
Medusa	0.1.x	AGPL-3.0	Coverage-guided fuzzer
Foundry	nightly	MIT	Testing toolkit
DogeFuzz	-	Research	AFL-style fuzzing

Layer 3: Symbolic Execution

Tool	Version	License	Focus
Mythril	0.24.x	MIT	Symbolic execution
Manticore	0.3.x	AGPL-3.0	Multi-platform symbolic
Halmos	0.2.x	AGPL-3.0	Foundry integration

Layer 4: Formal Verification

Tool	Version	License	Focus
Certora	2024.11	Commercial	CVL-based verifier
SMTChecker	0.8.20+	GPL-3.0	Built-in Solidity
Wake	4.x	ISC	Python framework
PropertyGPT	-	AGPL-3.0	Automated CVL generation

Layer 5: AI Analysis

Tool	Version	License	Focus
SmartLLM	-	AGPL-3.0	Local LLM via Ollama
GPTScan	-	Research	GPT-4 semantic analysis
LLM-SmartAudit	-	AGPL-3.0	Multi-agent framework

Layer 6: ML Detection

Tool	Version	License	Focus
DA-GNN	-	Research	Graph Neural Networks
SmartBugs ML	-	Research	ML classifiers

Layer 7: Specialized Analysis

Tool	Version	License	Focus
Threat Model	-	AGPL-3.0	Attack surface analysis
Gas Analyzer	-	AGPL-3.0	Gas optimization issues
MEV Detector	-	AGPL-3.0	MEV vulnerability detection
Clone Detector	-	AGPL-3.0	Contract clone detection
DeFi	-	AGPL-3.0	Protocol-specific checks
Advanced Detector	-	AGPL-3.0	Cross-cutting heuristics
Upgradability Checker	-	AGPL-3.0	Proxy/upgradability risks

Layers 8–9 (Cross-Chain & ZK Security, Advanced AI Ensemble) are experimental modules on the multi-chain roadmap; the EVM core is Layers 1–7.

Layer 8: Cross-Chain & ZK Security

Tool	Version	License	Focus
CrossChainAdapter	-	AGPL-3.0	Bridge security
ZKCircuitAdapter	-	AGPL-3.0	Circom/Noir analysis

Layer 9: Advanced AI Ensemble

Tool	Version	License	Focus
LLMBugScanner	-	AGPL-3.0	Multi-LLM consensus

Installation

Required (minimum)

pip install slither-analyzer

Recommended

pip install slither-analyzer mythril
cargo install aderyn
npm install -g solhint

Full suite

# Use Docker for complete environment
docker pull ghcr.io/fboiero/miesc:latest
docker run --rm -v $(pwd):/contracts ghcr.io/fboiero/miesc:latest audit full /contracts/

# Or build locally
docker build -t miesc:latest .
docker run --rm -v $(pwd):/contracts miesc:latest audit full /contracts/

Custom Tool Integration

Implement the ToolAdapter interface:

from miesc.core.tool_protocol import ToolAdapter, ToolStatus

class MyToolAdapter(ToolAdapter):
    @property
    def name(self) -> str:
        return "mytool"

    @property
    def layer(self) -> int:
        return 1  # Static analysis

    def analyze(self, contract_path: str) -> dict:
        # Run analysis
        return {"findings": [...]}

    def check_availability(self) -> ToolStatus:
        # Check if tool is installed
        return ToolStatus.AVAILABLE

Register in miesc/api/rest.py:

ADAPTER_MAP["mytool"] = "MyToolAdapter"
LAYERS[1]["tools"].append("mytool")