MIESC Tool Reference¶

Complete list of security tools integrated across 9 defense layers. MIESC includes 50 tool adapters; the 26 core tools listed below are the primary analysis engines.

Layer 1: Static Analysis¶

Layer 2: Dynamic Testing¶

Layer 3: Symbolic Execution¶

Layer 4: Formal Verification¶

Layer 5: AI Analysis¶

Layer 6: ML Detection¶

Layer 7: Threat Modeling¶

Layer 8: Cross-Chain & ZK Security¶

Layer 9: Advanced AI Ensemble¶

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 src.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")