MIESC API Documentation

Multi-layer Intelligent Evaluation for Smart Contracts

MIESC is a comprehensive security analysis framework for Ethereum smart contracts, implementing a defense-in-depth strategy across 9 specialized security layers.

Getting Started

• Installation
  • Requirements
  • Quick Install
  • Development Install
  • Optional Dependencies
  • Docker Installation
  • External Tools
  • Verifying Installation
• Quickstart Guide
  • Basic Usage
  • Output Formats
  • Python API
  • Using Adapters Directly
  • LLM-Enhanced Analysis
  • Docker Usage
  • Configuration
  • Next Steps

API Reference

• Adapters Module
  • Base Protocol
  • Static Analysis Adapters
  • Symbolic Execution Adapters
  • Dynamic Testing Adapters
  • DeFi Adapters
  • LLM Adapters
• Agents Module
  • Base Agent
  • LLM Agents
  • Static Analysis Agents
  • Symbolic Execution Agents
  • Fuzzing Agents
  • Coordination
• Core Module
  • Configuration
  • Tool Protocol
  • Agent Protocol
  • Agent Registry
  • Orchestration
  • Exporters
  • Framework Detection
  • Rich CLI
  • Correlation API
• Detectors Module
  • Detector API
  • DeFi Detectors
  • Advanced Detectors
  • Dependency Analyzer
  • SmartBugs Detectors
• LLM Module
  • LLM Orchestrator
  • Embedding RAG
  • Architecture
• ML Module
  • Classic Patterns
  • DeFi Patterns
  • False Positive Classifier
  • Correlation Engine
  • ML Pipeline
  • Fine-Tuning

Architecture

• Architecture Overview
  • System Architecture
  • Core Components
  • Data Flow
  • Finding Schema
  • Configuration
• Security Layers
  • Layer Overview
  • Layer 1-2: Static Analysis
  • Layer 3: Symbolic Execution
  • Layer 4: Fuzzing
  • Layer 5: Formal Verification
  • Layer 6: ML Detection
  • Layer 7: LLM Analysis
  • Layer 8: DeFi Security
  • Layer 9: Advanced Detection
  • Layer Selection

Development

• Contributing
• Changelog

Indices and tables

• Index

• Module Index

• Search Page

Quick Links

• GitHub Repository: https://github.com/fboiero/MIESC

• Issue Tracker: https://github.com/fboiero/MIESC/issues

• License: AGPL-3.0

Overview

MIESC provides multi-layer security analysis:

1. Layer 1-2: Static Analysis (Slither, Aderyn, Solhint)

2. Layer 3: Symbolic Execution (Mythril)

3. Layer 4: Fuzzing (Echidna, Medusa, Foundry)

4. Layer 5: Formal Verification (Certora, Halmos)

5. Layer 6-7: ML/AI Detection (SmartLLM, GPTLens)

6. Layer 8-9: DeFi & Advanced Detection

Key Features

• 40+ security tools integrated through unified adapter protocol

• RAG-enhanced LLM analysis with ChromaDB vector search

• MCP (Model Context Protocol) compatible

• Multi-format reports (HTML, PDF, JSON, SARIF)

• Docker support for isolated analysis

Example Usage

from miesc.cli import analyze_contract

# Analyze a contract
results = analyze_contract("MyContract.sol")

# Access findings
for finding in results.findings:
    print(f"{finding.severity}: {finding.title}")

# CLI usage
miesc audit full MyContract.sol --output results.json
miesc report results.json --format pdf