MIESC

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
      • ToolCategory
        • ToolCategory.STATIC_ANALYSIS
        • ToolCategory.DYNAMIC_TESTING
        • ToolCategory.SYMBOLIC_EXECUTION
        • ToolCategory.FORMAL_VERIFICATION
        • ToolCategory.AI_ANALYSIS
        • ToolCategory.ML_DETECTION
        • ToolCategory.SPECIALIZED
        • ToolCategory.CROSSCHAIN_ZK
        • ToolCategory.ADVANCED_AI_ENSEMBLE
        • ToolCategory.COMPLIANCE
        • ToolCategory.AUDIT_READINESS
        • ToolCategory.GAS_OPTIMIZATION
        • ToolCategory.MEV_DETECTION
        • ToolCategory.PRIVACY_ANALYSIS
      • ToolStatus
        • ToolStatus.AVAILABLE
        • ToolStatus.NOT_INSTALLED
        • ToolStatus.CONFIGURATION_ERROR
        • ToolStatus.LICENSE_REQUIRED
        • ToolStatus.DEPRECATED
      • ToolCapability
        • ToolCapability.name
        • ToolCapability.description
        • ToolCapability.supported_languages
        • ToolCapability.detection_types
        • ToolCapability.__init__()
      • ToolMetadata
        • ToolMetadata.name
        • ToolMetadata.version
        • ToolMetadata.category
        • ToolMetadata.author
        • ToolMetadata.license
        • ToolMetadata.homepage
        • ToolMetadata.repository
        • ToolMetadata.documentation
        • ToolMetadata.installation_cmd
        • ToolMetadata.capabilities
        • ToolMetadata.cost
        • ToolMetadata.requires_api_key
        • ToolMetadata.is_optional
        • ToolMetadata.__init__()
      • ToolAdapter
        • ToolAdapter.get_metadata()
        • ToolAdapter.is_available()
        • ToolAdapter.analyze()
        • ToolAdapter.normalize_findings()
        • ToolAdapter.get_installation_instructions()
        • ToolAdapter.can_analyze()
        • ToolAdapter.get_default_config()
        • ToolAdapter.validate_config()
        • ToolAdapter.check_binary_available()
        • ToolAdapter.run_subprocess()
        • ToolAdapter.parse_json_safely()
        • ToolAdapter.normalize_severity()
        • ToolAdapter.create_finding()
        • ToolAdapter.create_result()
        • ToolAdapter.find_binary()
      • ToolRegistry
        • ToolRegistry.__init__()
        • ToolRegistry.register()
        • ToolRegistry.get_tool()
        • ToolRegistry.get_all_tools()
        • ToolRegistry.get_tools_by_category()
        • ToolRegistry.get_available_tools()
        • ToolRegistry.get_tool_status_report()
      • get_tool_registry()
    • Static Analysis Adapters
      • Slither Adapter
        • SlitherAdapter
      • Aderyn Adapter
        • Aderyn Static Analyzer Adapter - 2025 Security Enhancement
        • AderynAdapter
      • Solhint Adapter
        • Solhint Linter Adapter - Layer 2: Dynamic Testing (Linting)
        • SolhintAdapter
        • register_adapter()
      • Semgrep Adapter
        • Semgrep Adapter - Layer 1: Static Analysis
        • SemgrepAdapter
        • register_adapter()
    • Symbolic Execution Adapters
      • Mythril Adapter
        • Mythril Symbolic Execution Adapter - MIESC Phase 3
        • MythrilAdapter
        • validate_findings_with_mythril()
    • Dynamic Testing Adapters
      • Hardhat Adapter
        • Hardhat Adapter - Layer 2: Dynamic Testing
        • HardhatAdapter
        • register_adapter()
    • DeFi Adapters
      • DeFi Adapter
        • DeFiAdapter
        • main()
      • Advanced Detector Adapter
        • AdvancedDetectorAdapter
        • main()
    • LLM Adapters
      • SmartLLM Adapter
        • SmartLLMAdapter
      • GPTLens Adapter
        • GPTLens Adapter - Dual-Role LLM Vulnerability Detection (ICSE 2024)
        • GPTLensAdapter
  • Agents Module
    • Base Agent
      • BaseAgent
        • BaseAgent.__init__()
        • BaseAgent.analyze()
        • BaseAgent.get_context_types()
        • BaseAgent.publish_findings()
        • BaseAgent.subscribe_to()
        • BaseAgent.get_latest_context()
        • BaseAgent.aggregate_contexts()
        • BaseAgent.set_status()
        • BaseAgent.handle_error()
        • BaseAgent.run()
        • BaseAgent.get_stats()
    • LLM Agents
      • SmartLLM Agent
        • SmartLLMAgent
      • GPTScan Agent
        • GPTScanAgent
      • LLM SmartAudit Agent
        • LLMSmartAuditAgent
      • Ollama Agent
        • OllamaAgent
    • Static Analysis Agents
      • Aderyn Agent
        • AderynAgent
    • Symbolic Execution Agents
      • Halmos Agent
        • HalmosAgent
      • SMTChecker Agent
        • SMTCheckerAgent
    • Fuzzing Agents
      • Medusa Agent
        • MedusaAgent
      • Wake Agent
        • WakeAgent
    • Coordination
      • CrewAI Coordinator
        • CrewAICoordinator
  • Core Module
    • Configuration
      • AdapterConfig
        • AdapterConfig.name
        • AdapterConfig.enabled
        • AdapterConfig.layer
        • AdapterConfig.timeout
        • AdapterConfig.options
        • AdapterConfig.__init__()
      • LayerConfig
        • LayerConfig.name
        • LayerConfig.enabled
        • LayerConfig.priority
        • LayerConfig.tools
        • LayerConfig.__init__()
      • MIESCConfig
        • MIESCConfig.reload()
        • MIESCConfig.version
        • MIESCConfig.global_config
        • MIESCConfig.max_workers
        • MIESCConfig.cache_enabled
        • MIESCConfig.log_level
        • MIESCConfig.get_adapter_config()
        • MIESCConfig.get_layer_config()
        • MIESCConfig.get_enabled_adapters()
        • MIESCConfig.get_adapters_by_layer()
        • MIESCConfig.get_all_layers()
        • MIESCConfig.get_llm_config()
        • MIESCConfig.get_results_config()
        • MIESCConfig.get_compliance_frameworks()
        • MIESCConfig.get_chain_config()
        • MIESCConfig.get_enabled_chains()
        • MIESCConfig.get_license_plan_config()
        • MIESCConfig.to_dict()
      • get_config()
    • Tool Protocol
      • ToolCategory
        • ToolCategory.STATIC_ANALYSIS
        • ToolCategory.DYNAMIC_TESTING
        • ToolCategory.SYMBOLIC_EXECUTION
        • ToolCategory.FORMAL_VERIFICATION
        • ToolCategory.AI_ANALYSIS
        • ToolCategory.ML_DETECTION
        • ToolCategory.SPECIALIZED
        • ToolCategory.CROSSCHAIN_ZK
        • ToolCategory.ADVANCED_AI_ENSEMBLE
        • ToolCategory.COMPLIANCE
        • ToolCategory.AUDIT_READINESS
        • ToolCategory.GAS_OPTIMIZATION
        • ToolCategory.MEV_DETECTION
        • ToolCategory.PRIVACY_ANALYSIS
      • ToolStatus
        • ToolStatus.AVAILABLE
        • ToolStatus.NOT_INSTALLED
        • ToolStatus.CONFIGURATION_ERROR
        • ToolStatus.LICENSE_REQUIRED
        • ToolStatus.DEPRECATED
      • ToolCapability
        • ToolCapability.name
        • ToolCapability.description
        • ToolCapability.supported_languages
        • ToolCapability.detection_types
        • ToolCapability.__init__()
      • ToolMetadata
        • ToolMetadata.name
        • ToolMetadata.version
        • ToolMetadata.category
        • ToolMetadata.author
        • ToolMetadata.license
        • ToolMetadata.homepage
        • ToolMetadata.repository
        • ToolMetadata.documentation
        • ToolMetadata.installation_cmd
        • ToolMetadata.capabilities
        • ToolMetadata.cost
        • ToolMetadata.requires_api_key
        • ToolMetadata.is_optional
        • ToolMetadata.__init__()
      • ToolAdapter
        • ToolAdapter.get_metadata()
        • ToolAdapter.is_available()
        • ToolAdapter.analyze()
        • ToolAdapter.normalize_findings()
        • ToolAdapter.get_installation_instructions()
        • ToolAdapter.can_analyze()
        • ToolAdapter.get_default_config()
        • ToolAdapter.validate_config()
        • ToolAdapter.check_binary_available()
        • ToolAdapter.run_subprocess()
        • ToolAdapter.parse_json_safely()
        • ToolAdapter.normalize_severity()
        • ToolAdapter.create_finding()
        • ToolAdapter.create_result()
        • ToolAdapter.find_binary()
      • ToolRegistry
        • ToolRegistry.__init__()
        • ToolRegistry.register()
        • ToolRegistry.get_tool()
        • ToolRegistry.get_all_tools()
        • ToolRegistry.get_tools_by_category()
        • ToolRegistry.get_available_tools()
        • ToolRegistry.get_tool_status_report()
      • get_tool_registry()
    • Agent Protocol
      • MIESC Agent Protocol
      • AgentCapability
        • AgentCapability.STATIC_ANALYSIS
        • AgentCapability.SYMBOLIC_EXECUTION
        • AgentCapability.AI_ANALYSIS
        • AgentCapability.FUZZING
        • AgentCapability.FORMAL_VERIFICATION
        • AgentCapability.GAS_OPTIMIZATION
        • AgentCapability.PATTERN_MATCHING
        • AgentCapability.DEPENDENCY_ANALYSIS
        • AgentCapability.CODE_QUALITY
        • AgentCapability.CUSTOM_RULES
      • AgentSpeed
        • AgentSpeed.FAST
        • AgentSpeed.MEDIUM
        • AgentSpeed.SLOW
      • AnalysisStatus
        • AnalysisStatus.SUCCESS
        • AnalysisStatus.ERROR
        • AnalysisStatus.TIMEOUT
        • AnalysisStatus.SKIPPED
      • FindingSeverity
        • FindingSeverity.CRITICAL
        • FindingSeverity.HIGH
        • FindingSeverity.MEDIUM
        • FindingSeverity.LOW
        • FindingSeverity.INFO
      • AgentMetadata
        • AgentMetadata.name
        • AgentMetadata.version
        • AgentMetadata.description
        • AgentMetadata.author
        • AgentMetadata.license
        • AgentMetadata.capabilities
        • AgentMetadata.supported_languages
        • AgentMetadata.cost
        • AgentMetadata.speed
        • AgentMetadata.homepage
        • AgentMetadata.repository
        • AgentMetadata.documentation
        • AgentMetadata.installation
        • AgentMetadata.requires
        • AgentMetadata.__init__()
      • Finding
        • Finding.type
        • Finding.severity
        • Finding.location
        • Finding.message
        • Finding.description
        • Finding.recommendation
        • Finding.reference
        • Finding.confidence
        • Finding.impact
        • Finding.code_snippet
        • Finding.__init__()
      • AnalysisResult
        • AnalysisResult.agent
        • AnalysisResult.version
        • AnalysisResult.status
        • AnalysisResult.timestamp
        • AnalysisResult.execution_time
        • AnalysisResult.findings
        • AnalysisResult.summary
        • AnalysisResult.metadata
        • AnalysisResult.error
        • AnalysisResult.__init__()
      • SecurityAgent
        • SecurityAgent.name
        • SecurityAgent.version
        • SecurityAgent.description
        • SecurityAgent.author
        • SecurityAgent.license
        • SecurityAgent.capabilities
        • SecurityAgent.supported_languages
        • SecurityAgent.cost
        • SecurityAgent.speed
        • SecurityAgent.is_available()
        • SecurityAgent.can_analyze()
        • SecurityAgent.analyze()
        • SecurityAgent.get_metadata()
        • SecurityAgent.validate()
        • SecurityAgent.get_config_schema()
        • SecurityAgent.configure()
      • AgentPlugin
        • AgentPlugin.register()
        • AgentPlugin.get_registered_agents()
    • Agent Registry
      • MIESC Agent Registry
      • AgentRegistry
        • AgentRegistry.__init__()
        • AgentRegistry.register()
        • AgentRegistry.unregister()
        • AgentRegistry.get()
        • AgentRegistry.list_agents()
        • AgentRegistry.discover_all()
        • AgentRegistry.filter_agents()
        • AgentRegistry.get_statistics()
        • AgentRegistry.validate_all()
        • AgentRegistry.__len__()
        • AgentRegistry.__contains__()
        • AgentRegistry.__iter__()
    • Orchestration
      • ML Orchestrator
        • MLAnalysisResult
        • MLOrchestrator
        • get_ml_orchestrator()
    • Exporters
      • Finding
        • Finding.id
        • Finding.type
        • Finding.severity
        • Finding.title
        • Finding.description
        • Finding.file_path
        • Finding.line_start
        • Finding.line_end
        • Finding.column_start
        • Finding.column_end
        • Finding.tool
        • Finding.layer
        • Finding.cwe
        • Finding.swc
        • Finding.confidence
        • Finding.remediation
        • Finding.__init__()
      • SARIFExporter
        • SARIFExporter.SARIF_VERSION
        • SARIFExporter.SARIF_SCHEMA
        • SARIFExporter.__init__()
        • SARIFExporter.export()
      • SonarQubeExporter
        • SonarQubeExporter.export()
      • CheckmarxExporter
        • CheckmarxExporter.export()
      • MarkdownExporter
        • MarkdownExporter.export()
      • JSONExporter
        • JSONExporter.export()
      • ReportExporter
        • ReportExporter.__init__()
        • ReportExporter.export()
        • ReportExporter.export_all()
    • Framework Detection
      • MIESC Framework Auto-Detection
      • Framework
        • Framework.FOUNDRY
        • Framework.HARDHAT
        • Framework.TRUFFLE
        • Framework.BROWNIE
        • Framework.UNKNOWN
      • FrameworkConfig
        • FrameworkConfig.framework
        • FrameworkConfig.root_path
        • FrameworkConfig.config_file
        • FrameworkConfig.solc_version
        • FrameworkConfig.evm_version
        • FrameworkConfig.optimizer_enabled
        • FrameworkConfig.optimizer_runs
        • FrameworkConfig.remappings
        • FrameworkConfig.lib_paths
        • FrameworkConfig.src_path
        • FrameworkConfig.test_path
        • FrameworkConfig.out_path
        • FrameworkConfig.extra_config
        • FrameworkConfig.to_dict()
        • FrameworkConfig.__init__()
      • FrameworkDetector
        • FrameworkDetector.DETECTION_FILES
        • FrameworkDetector.__init__()
        • FrameworkDetector.detect()
        • FrameworkDetector.get_solc_args()
        • FrameworkDetector.get_slither_args()
        • FrameworkDetector.clear_cache()
      • detect_framework()
      • get_framework_name()
      • is_foundry_project()
      • is_hardhat_project()
    • Rich CLI
      • SeverityStyle
        • SeverityStyle.CRITICAL
        • SeverityStyle.HIGH
        • SeverityStyle.MEDIUM
        • SeverityStyle.LOW
        • SeverityStyle.INFO
      • MIESCRichCLI
        • MIESCRichCLI.BANNER
        • MIESCRichCLI.__init__()
        • MIESCRichCLI.show_banner()
        • MIESCRichCLI.show_welcome()
        • MIESCRichCLI.show_tools_status()
        • MIESCRichCLI.show_contract_info()
        • MIESCRichCLI.create_progress()
        • MIESCRichCLI.run_with_progress()
        • MIESCRichCLI.run_audit_with_progress()
        • MIESCRichCLI.show_findings_summary()
        • MIESCRichCLI.show_findings_detail()
        • MIESCRichCLI.show_findings_tree()
        • MIESCRichCLI.prompt_contract()
        • MIESCRichCLI.prompt_tools()
        • MIESCRichCLI.prompt_confirm()
        • MIESCRichCLI.show_export_options()
        • MIESCRichCLI.show_completion()
        • MIESCRichCLI.error()
        • MIESCRichCLI.warning()
        • MIESCRichCLI.success()
        • MIESCRichCLI.info()
      • create_cli()
    • Correlation API
      • MIESCCorrelationAPI
        • MIESCCorrelationAPI.__init__()
        • MIESCCorrelationAPI.add_tool_results()
        • MIESCCorrelationAPI.analyze()
        • MIESCCorrelationAPI.get_findings_by_severity()
        • MIESCCorrelationAPI.get_findings_by_type()
        • MIESCCorrelationAPI.get_cross_validated_only()
        • MIESCCorrelationAPI.clear()
      • analyze_contract_with_correlation()
      • main()
  • Detectors Module
    • Detector API
      • Severity
        • Severity.CRITICAL
        • Severity.HIGH
        • Severity.MEDIUM
        • Severity.LOW
        • Severity.INFO
        • Severity.from_string()
      • Category
        • Category.REENTRANCY
        • Category.ACCESS_CONTROL
        • Category.ARITHMETIC
        • Category.FLASH_LOAN
        • Category.ORACLE_MANIPULATION
        • Category.GOVERNANCE
        • Category.RUG_PULL
        • Category.HONEYPOT
        • Category.PROXY_UPGRADE
        • Category.CENTRALIZATION
        • Category.DOS
        • Category.FRONT_RUNNING
        • Category.TIMESTAMP_DEPENDENCY
        • Category.UNCHECKED_RETURN
        • Category.GAS_OPTIMIZATION
        • Category.CUSTOM
      • Location
        • Location.file_path
        • Location.line_start
        • Location.line_end
        • Location.column_start
        • Location.column_end
        • Location.__init__()
      • Finding
        • Finding.detector
        • Finding.title
        • Finding.description
        • Finding.severity
        • Finding.category
        • Finding.confidence
        • Finding.location
        • Finding.code_snippet
        • Finding.recommendation
        • Finding.references
        • Finding.cwe_id
        • Finding.swc_id
        • Finding.metadata
        • Finding.to_dict()
        • Finding.__init__()
      • BaseDetector
        • BaseDetector.name
        • BaseDetector.description
        • BaseDetector.version
        • BaseDetector.author
        • BaseDetector.category
        • BaseDetector.default_severity
        • BaseDetector.target_patterns
        • BaseDetector.__init__()
        • BaseDetector.enabled
        • BaseDetector.configure()
        • BaseDetector.should_run()
        • BaseDetector.analyze()
        • BaseDetector.analyze_file()
        • BaseDetector.create_finding()
        • BaseDetector.find_pattern()
        • BaseDetector.find_multiline_pattern()
      • PatternDetector
        • PatternDetector.PATTERNS
        • PatternDetector.analyze()
      • DetectorRegistry
        • DetectorRegistry.detectors
        • DetectorRegistry.register()
        • DetectorRegistry.register_class()
        • DetectorRegistry.unregister()
        • DetectorRegistry.get()
        • DetectorRegistry.list_detectors()
        • DetectorRegistry.run_all()
        • DetectorRegistry.get_summary()
      • register_detector()
      • get_registry()
    • DeFi Detectors
      • Severity
        • Severity.CRITICAL
        • Severity.HIGH
        • Severity.MEDIUM
        • Severity.LOW
        • Severity.INFO
      • DeFiCategory
        • DeFiCategory.FLASH_LOAN
        • DeFiCategory.ORACLE_MANIPULATION
        • DeFiCategory.PRICE_MANIPULATION
        • DeFiCategory.SANDWICH_ATTACK
        • DeFiCategory.MEV_EXPOSURE
        • DeFiCategory.SLIPPAGE
        • DeFiCategory.LIQUIDITY
      • DeFiFinding
        • DeFiFinding.title
        • DeFiFinding.description
        • DeFiFinding.severity
        • DeFiFinding.category
        • DeFiFinding.line
        • DeFiFinding.code_snippet
        • DeFiFinding.recommendation
        • DeFiFinding.references
        • DeFiFinding.confidence
        • DeFiFinding.__init__()
      • DeFiDetector
        • DeFiDetector.name
        • DeFiDetector.description
        • DeFiDetector.category
        • DeFiDetector.detect()
      • FlashLoanDetector
        • FlashLoanDetector.name
        • FlashLoanDetector.description
        • FlashLoanDetector.category
        • FlashLoanDetector.CALLBACK_PATTERNS
        • FlashLoanDetector.DANGER_PATTERNS
        • FlashLoanDetector.detect()
      • OracleManipulationDetector
        • OracleManipulationDetector.name
        • OracleManipulationDetector.description
        • OracleManipulationDetector.category
        • OracleManipulationDetector.ORACLE_PATTERNS
        • OracleManipulationDetector.STALENESS_CHECK
        • OracleManipulationDetector.DEVIATION_CHECK
        • OracleManipulationDetector.detect()
      • SandwichAttackDetector
        • SandwichAttackDetector.name
        • SandwichAttackDetector.description
        • SandwichAttackDetector.category
        • SandwichAttackDetector.SWAP_PATTERNS
        • SandwichAttackDetector.SLIPPAGE_PATTERNS
        • SandwichAttackDetector.detect()
      • MEVExposureDetector
        • MEVExposureDetector.name
        • MEVExposureDetector.description
        • MEVExposureDetector.category
        • MEVExposureDetector.MEV_PATTERNS
        • MEVExposureDetector.PROTECTION_PATTERNS
        • MEVExposureDetector.detect()
      • PriceManipulationDetector
        • PriceManipulationDetector.name
        • PriceManipulationDetector.description
        • PriceManipulationDetector.category
        • PriceManipulationDetector.PRICE_CALC_PATTERNS
        • PriceManipulationDetector.SANITY_CHECK_PATTERNS
        • PriceManipulationDetector.detect()
      • DeFiDetectorEngine
        • DeFiDetectorEngine.__init__()
        • DeFiDetectorEngine.detectors
        • DeFiDetectorEngine.analyze()
        • DeFiDetectorEngine.analyze_file()
        • DeFiDetectorEngine.get_summary()
      • main()
    • Advanced Detectors
      • Severity
        • Severity.CRITICAL
        • Severity.HIGH
        • Severity.MEDIUM
        • Severity.LOW
        • Severity.INFO
      • AttackCategory
        • AttackCategory.RUG_PULL
        • AttackCategory.GOVERNANCE
        • AttackCategory.HONEYPOT
        • AttackCategory.TOKEN_SECURITY
        • AttackCategory.PROXY_UPGRADE
        • AttackCategory.CENTRALIZATION
      • AdvancedFinding
        • AdvancedFinding.title
        • AdvancedFinding.description
        • AdvancedFinding.severity
        • AdvancedFinding.category
        • AdvancedFinding.line
        • AdvancedFinding.code_snippet
        • AdvancedFinding.recommendation
        • AdvancedFinding.references
        • AdvancedFinding.confidence
        • AdvancedFinding.__init__()
      • RugPullDetector
        • RugPullDetector.name
        • RugPullDetector.description
        • RugPullDetector.category
        • RugPullDetector.OWNER_DRAIN_PATTERNS
        • RugPullDetector.HIDDEN_MINT_PATTERNS
        • RugPullDetector.BLACKLIST_PATTERNS
        • RugPullDetector.detect()
      • GovernanceDetector
        • GovernanceDetector.name
        • GovernanceDetector.description
        • GovernanceDetector.category
        • GovernanceDetector.FLASH_LOAN_VOTE_PATTERNS
        • GovernanceDetector.TIMELOCK_PATTERNS
        • GovernanceDetector.QUORUM_PATTERNS
        • GovernanceDetector.detect()
      • TokenSecurityDetector
        • TokenSecurityDetector.name
        • TokenSecurityDetector.description
        • TokenSecurityDetector.category
        • TokenSecurityDetector.HONEYPOT_PATTERNS
        • TokenSecurityDetector.HIDDEN_FEE_PATTERNS
        • TokenSecurityDetector.MAX_TX_PATTERNS
        • TokenSecurityDetector.ANTIBOT_PATTERNS
        • TokenSecurityDetector.detect()
      • ProxyUpgradeDetector
        • ProxyUpgradeDetector.name
        • ProxyUpgradeDetector.description
        • ProxyUpgradeDetector.category
        • ProxyUpgradeDetector.INIT_PATTERNS
        • ProxyUpgradeDetector.STORAGE_PATTERNS
        • ProxyUpgradeDetector.UPGRADE_AUTH_PATTERNS
        • ProxyUpgradeDetector.DELEGATECALL_PATTERNS
        • ProxyUpgradeDetector.detect()
      • CentralizationDetector
        • CentralizationDetector.name
        • CentralizationDetector.description
        • CentralizationDetector.category
        • CentralizationDetector.CENTRALIZATION_PATTERNS
        • CentralizationDetector.detect()
      • AdvancedDetectorEngine
        • AdvancedDetectorEngine.__init__()
        • AdvancedDetectorEngine.analyze()
        • AdvancedDetectorEngine.analyze_file()
        • AdvancedDetectorEngine.get_summary()
      • main()
    • Dependency Analyzer
      • DependencyRisk
        • DependencyRisk.CRITICAL
        • DependencyRisk.HIGH
        • DependencyRisk.MEDIUM
        • DependencyRisk.LOW
        • DependencyRisk.INFO
      • DependencyFinding
        • DependencyFinding.title
        • DependencyFinding.description
        • DependencyFinding.severity
        • DependencyFinding.package
        • DependencyFinding.version
        • DependencyFinding.line
        • DependencyFinding.recommendation
        • DependencyFinding.cve
        • DependencyFinding.references
        • DependencyFinding.__init__()
      • DependencyAnalyzer
        • DependencyAnalyzer.name
        • DependencyAnalyzer.layer
        • DependencyAnalyzer.description
        • DependencyAnalyzer.__init__()
        • DependencyAnalyzer.analyze()
        • DependencyAnalyzer.analyze_file()
        • DependencyAnalyzer.get_summary()
      • main()
    • SmartBugs Detectors
      • Severity
        • Severity.CRITICAL
        • Severity.HIGH
        • Severity.MEDIUM
        • Severity.LOW
        • Severity.INFO
      • SmartBugsFinding
        • SmartBugsFinding.title
        • SmartBugsFinding.description
        • SmartBugsFinding.severity
        • SmartBugsFinding.category
        • SmartBugsFinding.line
        • SmartBugsFinding.code_snippet
        • SmartBugsFinding.swc_id
        • SmartBugsFinding.confidence
        • SmartBugsFinding.__init__()
      • ArithmeticDetector
        • ArithmeticDetector.name
        • ArithmeticDetector.category
        • ArithmeticDetector.swc_id
        • ArithmeticDetector.ARITHMETIC_PATTERNS
        • ArithmeticDetector.SAFEMATH_LINE_PATTERNS
        • ArithmeticDetector.detect()
      • BadRandomnessDetector
        • BadRandomnessDetector.name
        • BadRandomnessDetector.category
        • BadRandomnessDetector.swc_id
        • BadRandomnessDetector.WEAK_RANDOMNESS_PATTERNS
        • BadRandomnessDetector.RANDOMNESS_CONTEXT
        • BadRandomnessDetector.detect()
      • DenialOfServiceDetector
        • DenialOfServiceDetector.name
        • DenialOfServiceDetector.category
        • DenialOfServiceDetector.swc_id
        • DenialOfServiceDetector.DOS_PATTERNS
        • DenialOfServiceDetector.detect()
      • FrontRunningDetector
        • FrontRunningDetector.name
        • FrontRunningDetector.category
        • FrontRunningDetector.swc_id
        • FrontRunningDetector.FRONT_RUNNING_PATTERNS
        • FrontRunningDetector.detect()
      • ShortAddressDetector
        • ShortAddressDetector.name
        • ShortAddressDetector.category
        • ShortAddressDetector.swc_id
        • ShortAddressDetector.VULNERABLE_FUNCTION_PATTERNS
        • ShortAddressDetector.detect()
      • ReentrancyDetector
        • ReentrancyDetector.name
        • ReentrancyDetector.category
        • ReentrancyDetector.swc_id
        • ReentrancyDetector.EXTERNAL_CALL_PATTERNS
        • ReentrancyDetector.STATE_CHANGE_PATTERNS
        • ReentrancyDetector.detect()
      • AccessControlDetector
        • AccessControlDetector.name
        • AccessControlDetector.category
        • AccessControlDetector.swc_id
        • AccessControlDetector.CRITICAL_FUNCTIONS
        • AccessControlDetector.ACCESS_CONTROL_PATTERNS
        • AccessControlDetector.detect()
      • UncheckedLowLevelCallsDetector
        • UncheckedLowLevelCallsDetector.name
        • UncheckedLowLevelCallsDetector.category
        • UncheckedLowLevelCallsDetector.swc_id
        • UncheckedLowLevelCallsDetector.LOW_LEVEL_CALLS
        • UncheckedLowLevelCallsDetector.detect()
      • TimeManipulationDetector
        • TimeManipulationDetector.name
        • TimeManipulationDetector.category
        • TimeManipulationDetector.swc_id
        • TimeManipulationDetector.TIME_PATTERNS
        • TimeManipulationDetector.detect()
      • SmartBugsDetectorEngine
        • SmartBugsDetectorEngine.__init__()
        • SmartBugsDetectorEngine.analyze()
        • SmartBugsDetectorEngine.analyze_file()
        • SmartBugsDetectorEngine.get_summary()
      • main()
  • LLM Module
    • LLM Orchestrator
      • LLMProvider
        • LLMProvider.OLLAMA
        • LLMProvider.OPENAI
        • LLMProvider.ANTHROPIC
        • LLMProvider.LOCAL
      • LLMConfig
        • LLMConfig.provider
        • LLMConfig.model
        • LLMConfig.api_key
        • LLMConfig.base_url
        • LLMConfig.temperature
        • LLMConfig.max_tokens
        • LLMConfig.timeout
        • LLMConfig.retry_attempts
        • LLMConfig.retry_delay
        • LLMConfig.__init__()
      • LLMResponse
        • LLMResponse.content
        • LLMResponse.provider
        • LLMResponse.model
        • LLMResponse.tokens_used
        • LLMResponse.latency_ms
        • LLMResponse.cached
        • LLMResponse.metadata
        • LLMResponse.__init__()
      • VulnerabilityAnalysis
        • VulnerabilityAnalysis.vulnerabilities
        • VulnerabilityAnalysis.severity_assessment
        • VulnerabilityAnalysis.recommendations
        • VulnerabilityAnalysis.confidence_score
        • VulnerabilityAnalysis.analysis_summary
        • VulnerabilityAnalysis.raw_response
        • VulnerabilityAnalysis.__init__()
      • LLMBackend
        • LLMBackend.__init__()
        • LLMBackend.analyze()
        • LLMBackend.health_check()
        • LLMBackend.get_system_prompt()
      • OllamaBackend
        • OllamaBackend.__init__()
        • OllamaBackend.health_check()
        • OllamaBackend.analyze()
      • OpenAIBackend
        • OpenAIBackend.__init__()
        • OpenAIBackend.health_check()
        • OpenAIBackend.analyze()
      • AnthropicBackend
        • AnthropicBackend.__init__()
        • AnthropicBackend.health_check()
        • AnthropicBackend.analyze()
      • LLMOrchestrator
        • LLMOrchestrator.__init__()
        • LLMOrchestrator.backends
        • LLMOrchestrator.primary_provider
        • LLMOrchestrator.cache
        • LLMOrchestrator.cache_ttl
        • LLMOrchestrator.initialize()
        • LLMOrchestrator.analyze_contract()
        • LLMOrchestrator.query()
        • LLMOrchestrator.select_model_for_task()
        • LLMOrchestrator.get_available_providers()
        • LLMOrchestrator.clear_cache()
      • analyze_solidity()
    • Embedding RAG
      • Embedding-based RAG for Vulnerability Analysis - MIESC v5.1.0
      • VulnerabilityDocument
        • VulnerabilityDocument.id
        • VulnerabilityDocument.swc_id
        • VulnerabilityDocument.cwe_id
        • VulnerabilityDocument.title
        • VulnerabilityDocument.description
        • VulnerabilityDocument.vulnerable_code
        • VulnerabilityDocument.fixed_code
        • VulnerabilityDocument.attack_scenario
        • VulnerabilityDocument.severity
        • VulnerabilityDocument.category
        • VulnerabilityDocument.real_exploit
        • VulnerabilityDocument.tags
        • VulnerabilityDocument.references
        • VulnerabilityDocument.to_text()
        • VulnerabilityDocument.to_metadata()
        • VulnerabilityDocument.__init__()
      • RetrievalResult
        • RetrievalResult.document
        • RetrievalResult.similarity_score
        • RetrievalResult.relevance_reason
        • RetrievalResult.to_context()
        • RetrievalResult.__init__()
      • EmbeddingRAG
        • EmbeddingRAG.DEFAULT_MODEL
        • EmbeddingRAG.COLLECTION_NAME
        • EmbeddingRAG.CACHE_MAX_SIZE
        • EmbeddingRAG.CACHE_TTL_SECONDS
        • EmbeddingRAG.__init__()
        • EmbeddingRAG.get_cache_stats()
        • EmbeddingRAG.clear_cache()
        • EmbeddingRAG.search()
        • EmbeddingRAG.batch_search()
        • EmbeddingRAG.search_by_finding()
        • EmbeddingRAG.get_context_for_llm()
        • EmbeddingRAG.add_custom_vulnerability()
        • EmbeddingRAG.get_stats()
        • EmbeddingRAG.reindex()
      • HybridRAG
        • HybridRAG.__init__()
        • HybridRAG.search()
      • get_rag()
      • search_vulnerabilities()
      • get_context_for_finding()
      • batch_get_context_for_findings()
    • Architecture
      • RAG Components
      • Supported Models
      • Configuration
  • ML Module
    • Classic Patterns
      • Classic Vulnerability Pattern Detector
      • ClassicVulnType
        • ClassicVulnType.REENTRANCY
        • ClassicVulnType.ACCESS_CONTROL
        • ClassicVulnType.ARITHMETIC
        • ClassicVulnType.UNCHECKED_CALLS
        • ClassicVulnType.UNCHECKED_SEND
        • ClassicVulnType.TIMESTAMP
        • ClassicVulnType.BAD_RANDOMNESS
        • ClassicVulnType.FRONT_RUNNING
        • ClassicVulnType.DOS
        • ClassicVulnType.SHORT_ADDRESS
        • ClassicVulnType.VYPER_REENTRANCY
        • ClassicVulnType.PERMIT_FRONTRUN
        • ClassicVulnType.INTEGER_OVERFLOW
        • ClassicVulnType.INTEGER_UNDERFLOW
      • PatternMatch
        • PatternMatch.vuln_type
        • PatternMatch.line
        • PatternMatch.code_snippet
        • PatternMatch.pattern_matched
        • PatternMatch.confidence
        • PatternMatch.severity
        • PatternMatch.swc_id
        • PatternMatch.description
        • PatternMatch.recommendation
        • PatternMatch.__init__()
      • PatternConfig
        • PatternConfig.vuln_type
        • PatternConfig.patterns
        • PatternConfig.anti_patterns
        • PatternConfig.severity
        • PatternConfig.swc_id
        • PatternConfig.description
        • PatternConfig.recommendation
        • PatternConfig.context_validator
        • PatternConfig.__init__()
      • ClassicPatternDetector
        • ClassicPatternDetector.__init__()
        • ClassicPatternDetector.detect()
        • ClassicPatternDetector.detect_with_context()
      • detect_classic_vulnerabilities()
      • AccessControlFinding
        • AccessControlFinding.vuln_type
        • AccessControlFinding.severity
        • AccessControlFinding.line
        • AccessControlFinding.function
        • AccessControlFinding.description
        • AccessControlFinding.recommendation
        • AccessControlFinding.confidence
        • AccessControlFinding.__init__()
      • AccessControlSemanticDetector
        • AccessControlSemanticDetector.PRIVILEGED_OPERATIONS
        • AccessControlSemanticDetector.ACCESS_CONTROL_MODIFIERS
        • AccessControlSemanticDetector.REQUIRE_ACCESS_PATTERNS
        • AccessControlSemanticDetector.__init__()
        • AccessControlSemanticDetector.analyze()
        • AccessControlSemanticDetector.to_findings()
      • DoSFinding
        • DoSFinding.vuln_type
        • DoSFinding.severity
        • DoSFinding.line
        • DoSFinding.function
        • DoSFinding.description
        • DoSFinding.recommendation
        • DoSFinding.confidence
        • DoSFinding.__init__()
      • DoSCrossFunctionDetector
        • DoSCrossFunctionDetector.UNBOUNDED_LOOP_PATTERNS
        • DoSCrossFunctionDetector.USER_GROWING_ARRAY_PATTERNS
        • DoSCrossFunctionDetector.PUSH_PAYMENT_PATTERNS
        • DoSCrossFunctionDetector.GAS_HEAVY_OPERATIONS
        • DoSCrossFunctionDetector.__init__()
        • DoSCrossFunctionDetector.analyze()
        • DoSCrossFunctionDetector.to_findings()
      • detect_semantic_vulnerabilities()
    • DeFi Patterns
      • DeFi Vulnerability Pattern Detector
      • DeFiVulnType
        • DeFiVulnType.FLASH_LOAN_ATTACK
        • DeFiVulnType.SANDWICH_ATTACK
        • DeFiVulnType.GOVERNANCE_ATTACK
        • DeFiVulnType.BRIDGE_VULNERABILITY
        • DeFiVulnType.ORACLE_MANIPULATION
        • DeFiVulnType.LIQUIDITY_DRAIN
        • DeFiVulnType.PRICE_MANIPULATION
        • DeFiVulnType.REWARD_MANIPULATION
        • DeFiVulnType.FRONT_RUNNING
        • DeFiVulnType.MEV_EXTRACTION
        • DeFiVulnType.DONATION_ATTACK
        • DeFiVulnType.INFLATION_ATTACK
        • DeFiVulnType.READ_ONLY_REENTRANCY
        • DeFiVulnType.ERC4626_INFLATION
        • DeFiVulnType.ARBITRARY_EXTERNAL_CALL
        • DeFiVulnType.PRECISION_LOSS
        • DeFiVulnType.CROSS_FUNCTION_REENTRANCY
        • DeFiVulnType.SIGNATURE_REPLAY
        • DeFiVulnType.FIRST_DEPOSITOR
        • DeFiVulnType.STORAGE_COLLISION
      • DeFiVulnerabilityPattern
        • DeFiVulnerabilityPattern.vuln_type
        • DeFiVulnerabilityPattern.name
        • DeFiVulnerabilityPattern.severity
        • DeFiVulnerabilityPattern.indicators
        • DeFiVulnerabilityPattern.anti_patterns
        • DeFiVulnerabilityPattern.description
        • DeFiVulnerabilityPattern.attack_example
        • DeFiVulnerabilityPattern.real_exploits
        • DeFiVulnerabilityPattern.remediation
        • DeFiVulnerabilityPattern.swc_id
        • DeFiVulnerabilityPattern.estimated_loss_usd
        • DeFiVulnerabilityPattern.__init__()
      • DeFiPatternMatch
        • DeFiPatternMatch.pattern
        • DeFiPatternMatch.matched_indicators
        • DeFiPatternMatch.matched_anti_patterns
        • DeFiPatternMatch.confidence
        • DeFiPatternMatch.location
        • DeFiPatternMatch.code_snippet
        • DeFiPatternMatch.is_vulnerable
        • DeFiPatternMatch.recommendation
        • DeFiPatternMatch.__init__()
      • DeFiPatternDetector
        • DeFiPatternDetector.__init__()
        • DeFiPatternDetector.analyze_code()
        • DeFiPatternDetector.get_pattern_info()
        • DeFiPatternDetector.get_all_patterns()
      • detect_defi_vulnerabilities()
    • False Positive Classifier
      • False Positive Classifier for MIESC v4.7.0
      • FeatureCategory
        • FeatureCategory.FINDING_METADATA
        • FeatureCategory.CODE_CONTEXT
        • FeatureCategory.SEMANTIC_GUARDS
        • FeatureCategory.SOLIDITY_VERSION
        • FeatureCategory.CONTRACT_PATTERNS
      • FindingFeatures
        • FindingFeatures.confidence
        • FindingFeatures.severity_score
        • FindingFeatures.tool_count
        • FindingFeatures.has_swc_id
        • FindingFeatures.line_count
        • FindingFeatures.function_complexity
        • FindingFeatures.has_external_call
        • FindingFeatures.has_state_change
        • FindingFeatures.has_ether_transfer
        • FindingFeatures.has_require_check
        • FindingFeatures.has_modifier
        • FindingFeatures.has_reentrancy_guard
        • FindingFeatures.has_access_control
        • FindingFeatures.follows_cei_pattern
        • FindingFeatures.is_solidity_08_plus
        • FindingFeatures.uses_safemath
        • FindingFeatures.is_proxy_contract
        • FindingFeatures.is_upgradeable
        • FindingFeatures.has_initializer
        • FindingFeatures.to_vector()
        • FindingFeatures.feature_names()
        • FindingFeatures.__init__()
      • FPPrediction
        • FPPrediction.is_false_positive
        • FPPrediction.fp_probability
        • FPPrediction.confidence
        • FPPrediction.contributing_factors
        • FPPrediction.adjusted_confidence
        • FPPrediction.__init__()
      • FeatureExtractor
        • FeatureExtractor.REENTRANCY_GUARD_PATTERNS
        • FeatureExtractor.ACCESS_CONTROL_PATTERNS
        • FeatureExtractor.CEI_VIOLATION_PATTERN
        • FeatureExtractor.EXTERNAL_CALL_PATTERNS
        • FeatureExtractor.STATE_CHANGE_PATTERNS
        • FeatureExtractor.extract_features()
      • FPClassifier
        • FPClassifier.FEATURE_WEIGHTS
        • FPClassifier.VULN_TYPE_ADJUSTMENTS
        • FPClassifier.__init__()
        • FPClassifier.predict()
        • FPClassifier.filter_findings()
      • classify_false_positives()
      • filter_likely_fps()
    • Correlation Engine
      • CorrelationMethod
        • CorrelationMethod.EXACT
        • CorrelationMethod.SEMANTIC
        • CorrelationMethod.CONTEXTUAL
        • CorrelationMethod.EMBEDDING
      • ExploitChain
        • ExploitChain.id
        • ExploitChain.name
        • ExploitChain.description
        • ExploitChain.severity
        • ExploitChain.base_cvss
        • ExploitChain.vulnerabilities
        • ExploitChain.vuln_types
        • ExploitChain.attack_vector
        • ExploitChain.exploitability_score
        • ExploitChain.impact_score
        • ExploitChain.complexity
        • ExploitChain.source_files
        • ExploitChain.affected_functions
        • ExploitChain.to_dict()
        • ExploitChain.__init__()
      • ToolProfile
        • ToolProfile.name
        • ToolProfile.precision_history
        • ToolProfile.recall_history
        • ToolProfile.false_positive_rate
        • ToolProfile.specialty_categories
        • ToolProfile.weakness_categories
        • ToolProfile.total_findings
        • ToolProfile.confirmed_findings
        • ToolProfile.reliability_score
        • ToolProfile.__init__()
      • CorrelatedFinding
        • CorrelatedFinding.id
        • CorrelatedFinding.canonical_type
        • CorrelatedFinding.severity
        • CorrelatedFinding.message
        • CorrelatedFinding.location
        • CorrelatedFinding.swc_id
        • CorrelatedFinding.cwe_id
        • CorrelatedFinding.source_findings
        • CorrelatedFinding.confirming_tools
        • CorrelatedFinding.correlation_method
        • CorrelatedFinding.base_confidence
        • CorrelatedFinding.tool_agreement_score
        • CorrelatedFinding.context_score
        • CorrelatedFinding.ml_confidence
        • CorrelatedFinding.final_confidence
        • CorrelatedFinding.is_cross_validated
        • CorrelatedFinding.false_positive_probability
        • CorrelatedFinding.remediation_priority
        • CorrelatedFinding.to_dict()
        • CorrelatedFinding.__init__()
      • SmartCorrelationEngine
        • SmartCorrelationEngine.TOOL_WEIGHTS
        • SmartCorrelationEngine.DEFAULT_TOOL_PROFILES
        • SmartCorrelationEngine.TYPE_NORMALIZATION
        • SmartCorrelationEngine.SEVERITY_WEIGHTS
        • SmartCorrelationEngine.CROSS_VALIDATION_REQUIRED
        • SmartCorrelationEngine.SINGLE_TOOL_MAX_CONFIDENCE
        • SmartCorrelationEngine.__init__()
        • SmartCorrelationEngine.tool_profiles
        • SmartCorrelationEngine.add_findings()
        • SmartCorrelationEngine.correlate()
        • SmartCorrelationEngine.calculate_weighted_confidence()
        • SmartCorrelationEngine.get_tool_weight()
        • SmartCorrelationEngine.requires_cross_validation()
        • SmartCorrelationEngine.apply_cross_validation_penalty()
        • SmartCorrelationEngine.get_high_confidence_findings()
        • SmartCorrelationEngine.get_cross_validated_findings()
        • SmartCorrelationEngine.get_likely_true_positives()
        • SmartCorrelationEngine.get_statistics()
        • SmartCorrelationEngine.to_report()
        • SmartCorrelationEngine.update_tool_profile()
        • SmartCorrelationEngine.clear()
        • SmartCorrelationEngine.deduplicate_findings()
        • SmartCorrelationEngine.get_deduplication_stats()
      • ExploitChainAnalyzer
        • ExploitChainAnalyzer.KNOWN_CHAINS
        • ExploitChainAnalyzer.__init__()
        • ExploitChainAnalyzer.analyze()
        • ExploitChainAnalyzer.get_critical_chains()
        • ExploitChainAnalyzer.get_high_impact_chains()
        • ExploitChainAnalyzer.get_summary()
      • correlate_findings()
    • ML Pipeline
    • Fine-Tuning
      • Dataset Generator
        • VulnerabilityExample
        • TrainingExample
        • SoliditySecurityDatasetGenerator
        • main()
      • Trainer
        • TrainingConfig
        • SoliditySecurityTrainer
        • main()

Architecture

  • Architecture Overview
    • System Architecture
    • Core Components
      • Tool Adapters
      • Agents
      • Orchestrator
    • 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
    • Getting Started
    • Development Workflow
    • Commit Convention
    • Code Style
    • Adding a New Adapter
    • Testing
    • Documentation
    • Questions?
  • Changelog
    • [5.1.0] - 2026-02-10
      • Added
      • Changed
    • [5.1.0] - 2026-02-04
      • Added
      • Fixed
    • [5.0.0] - 2026-01-26
      • Added
      • Changed
    • [4.2.0] - 2025-12-18
      • Added
      • Changed
    • [4.0.0] - 2025-11-01
      • Added
      • Changed
    • [3.0.0] - 2025-09-01
      • Added
    • Initial Release
MIESC
  • Python Module Index

Python Module Index

s
 
s
- src
    src.adapters.aderyn_adapter
    src.adapters.advanced_detector_adapter
    src.adapters.defi_adapter
    src.adapters.gptlens_adapter
    src.adapters.hardhat_adapter
    src.adapters.mythril_adapter
    src.adapters.semgrep_adapter
    src.adapters.slither_adapter
    src.adapters.smartllm_adapter
    src.adapters.solhint_adapter
    src.agents.aderyn_agent
    src.agents.base_agent
    src.agents.crewai_coordinator
    src.agents.gptscan_agent
    src.agents.halmos_agent
    src.agents.llm_smartaudit_agent
    src.agents.medusa_agent
    src.agents.ollama_agent
    src.agents.smartllm_agent
    src.agents.smtchecker_agent
    src.agents.wake_agent
    src.core.agent_protocol
    src.core.agent_registry
    src.core.config_loader
    src.core.correlation_api
    src.core.exporters
    src.core.framework_detector
    src.core.ml_orchestrator
    src.core.rich_cli
    src.core.tool_protocol
    src.detectors.advanced_detectors
    src.detectors.defi_detectors
    src.detectors.dependency_analyzer
    src.detectors.detector_api
    src.detectors.smartbugs_detectors
    src.llm.embedding_rag
    src.llm.llm_orchestrator
    src.ml.classic_patterns
    src.ml.correlation_engine
    src.ml.defi_patterns
    src.ml.fine_tuning.dataset_generator
    src.ml.fine_tuning.fine_tuning_trainer
    src.ml.fp_classifier

© Copyright 2026, Fernando Boiero.

Built with Sphinx using a theme provided by Read the Docs.