Index

_

__contains__() (src.core.agent_registry.AgentRegistry method) __init__() (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter method) (src.adapters.defi_adapter.DeFiAdapter method) (src.adapters.gptlens_adapter.GPTLensAdapter method) (src.adapters.hardhat_adapter.HardhatAdapter method) (src.adapters.semgrep_adapter.SemgrepAdapter method) (src.adapters.slither_adapter.SlitherAdapter method) (src.adapters.smartllm_adapter.SmartLLMAdapter method) (src.adapters.solhint_adapter.SolhintAdapter method) (src.agents.aderyn_agent.AderynAgent method) (src.agents.base_agent.BaseAgent method) (src.agents.crewai_coordinator.CrewAICoordinator method) (src.agents.gptscan_agent.GPTScanAgent method) (src.agents.halmos_agent.HalmosAgent method) (src.agents.llm_smartaudit_agent.LLMSmartAuditAgent method) (src.agents.medusa_agent.MedusaAgent method) (src.agents.ollama_agent.OllamaAgent method) (src.agents.smartllm_agent.SmartLLMAgent method) (src.agents.smtchecker_agent.SMTCheckerAgent method) (src.agents.wake_agent.WakeAgent method) (src.core.agent_protocol.AgentMetadata method) (src.core.agent_protocol.AnalysisResult method) (src.core.agent_protocol.Finding method) (src.core.agent_registry.AgentRegistry method) (src.core.config_loader.AdapterConfig method) (src.core.config_loader.LayerConfig method) (src.core.correlation_api.MIESCCorrelationAPI method) (src.core.exporters.Finding method) (src.core.exporters.ReportExporter method) (src.core.exporters.SARIFExporter method) (src.core.framework_detector.FrameworkConfig method) (src.core.framework_detector.FrameworkDetector method) (src.core.ml_orchestrator.MLAnalysisResult method) (src.core.ml_orchestrator.MLOrchestrator method) (src.core.rich_cli.MIESCRichCLI method) (src.core.tool_protocol.ToolCapability method), [1] (src.core.tool_protocol.ToolMetadata method), [1] (src.core.tool_protocol.ToolRegistry method), [1] (src.detectors.advanced_detectors.AdvancedDetectorEngine method) (src.detectors.advanced_detectors.AdvancedFinding method) (src.detectors.defi_detectors.DeFiDetectorEngine method) (src.detectors.defi_detectors.DeFiFinding method) (src.detectors.dependency_analyzer.DependencyAnalyzer method) (src.detectors.dependency_analyzer.DependencyFinding method) (src.detectors.detector_api.BaseDetector method) (src.detectors.detector_api.Finding method) (src.detectors.detector_api.Location method) (src.detectors.smartbugs_detectors.SmartBugsDetectorEngine method) (src.detectors.smartbugs_detectors.SmartBugsFinding method) (src.llm.embedding_rag.EmbeddingRAG method) (src.llm.embedding_rag.HybridRAG method) (src.llm.embedding_rag.RetrievalResult method) (src.llm.embedding_rag.VulnerabilityDocument method) (src.llm.llm_orchestrator.AnthropicBackend method) (src.llm.llm_orchestrator.LLMBackend method) (src.llm.llm_orchestrator.LLMConfig method) (src.llm.llm_orchestrator.LLMOrchestrator method) (src.llm.llm_orchestrator.LLMResponse method) (src.llm.llm_orchestrator.OllamaBackend method) (src.llm.llm_orchestrator.OpenAIBackend method) (src.llm.llm_orchestrator.VulnerabilityAnalysis method) (src.ml.classic_patterns.AccessControlFinding method) (src.ml.classic_patterns.AccessControlSemanticDetector method) (src.ml.classic_patterns.ClassicPatternDetector method) (src.ml.classic_patterns.DoSCrossFunctionDetector method) (src.ml.classic_patterns.DoSFinding method) (src.ml.classic_patterns.PatternConfig method) (src.ml.classic_patterns.PatternMatch method) (src.ml.correlation_engine.CorrelatedFinding method) (src.ml.correlation_engine.ExploitChain method) (src.ml.correlation_engine.ExploitChainAnalyzer method) (src.ml.correlation_engine.SmartCorrelationEngine method) (src.ml.correlation_engine.ToolProfile method) (src.ml.defi_patterns.DeFiPatternDetector method) (src.ml.defi_patterns.DeFiPatternMatch method) (src.ml.defi_patterns.DeFiVulnerabilityPattern method) (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator method) (src.ml.fine_tuning.dataset_generator.TrainingExample method) (src.ml.fine_tuning.dataset_generator.VulnerabilityExample method) (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig method) (src.ml.fp_classifier.FindingFeatures method) (src.ml.fp_classifier.FPClassifier method) (src.ml.fp_classifier.FPPrediction method)

__iter__() (src.core.agent_registry.AgentRegistry method) __len__() (src.core.agent_registry.AgentRegistry method)

A

ACCESS_CONTROL (src.detectors.detector_api.Category attribute) (src.ml.classic_patterns.ClassicVulnType attribute) ACCESS_CONTROL_MODIFIERS (src.ml.classic_patterns.AccessControlSemanticDetector attribute) ACCESS_CONTROL_PATTERNS (src.detectors.smartbugs_detectors.AccessControlDetector attribute) (src.ml.fp_classifier.FeatureExtractor attribute) AccessControlDetector (class in src.detectors.smartbugs_detectors) AccessControlFinding (class in src.ml.classic_patterns) AccessControlSemanticDetector (class in src.ml.classic_patterns) AdapterConfig (class in src.core.config_loader) add_custom_vulnerability() (src.llm.embedding_rag.EmbeddingRAG method) add_findings() (src.ml.correlation_engine.SmartCorrelationEngine method) add_tool_results() (src.core.correlation_api.MIESCCorrelationAPI method) AderynAdapter (class in src.adapters.aderyn_adapter) AderynAgent (class in src.agents.aderyn_agent) adjusted_confidence (src.ml.fp_classifier.FPPrediction property) ADVANCED_AI_ENSEMBLE (src.core.tool_protocol.ToolCategory attribute), [1] AdvancedDetectorAdapter (class in src.adapters.advanced_detector_adapter) AdvancedDetectorEngine (class in src.detectors.advanced_detectors) AdvancedFinding (class in src.detectors.advanced_detectors) affected_functions (src.ml.correlation_engine.ExploitChain attribute) agent (src.core.agent_protocol.AnalysisResult attribute) AgentCapability (class in src.core.agent_protocol) AgentMetadata (class in src.core.agent_protocol) AgentPlugin (class in src.core.agent_protocol) AgentRegistry (class in src.core.agent_registry) AgentSpeed (class in src.core.agent_protocol) aggregate_contexts() (src.agents.base_agent.BaseAgent method) AI_ANALYSIS (src.core.agent_protocol.AgentCapability attribute) (src.core.tool_protocol.ToolCategory attribute), [1] analysis_summary (src.llm.llm_orchestrator.VulnerabilityAnalysis attribute) AnalysisResult (class in src.core.agent_protocol) AnalysisStatus (class in src.core.agent_protocol) analyze() (src.adapters.aderyn_adapter.AderynAdapter method) (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter method) (src.adapters.defi_adapter.DeFiAdapter method) (src.adapters.gptlens_adapter.GPTLensAdapter method) (src.adapters.hardhat_adapter.HardhatAdapter method) (src.adapters.mythril_adapter.MythrilAdapter method) (src.adapters.semgrep_adapter.SemgrepAdapter method) (src.adapters.slither_adapter.SlitherAdapter method) (src.adapters.smartllm_adapter.SmartLLMAdapter method) (src.adapters.solhint_adapter.SolhintAdapter method) (src.agents.aderyn_agent.AderynAgent method) (src.agents.base_agent.BaseAgent method) (src.agents.crewai_coordinator.CrewAICoordinator method) (src.agents.gptscan_agent.GPTScanAgent method) (src.agents.halmos_agent.HalmosAgent method) (src.agents.llm_smartaudit_agent.LLMSmartAuditAgent method) (src.agents.medusa_agent.MedusaAgent method) (src.agents.ollama_agent.OllamaAgent method) (src.agents.smartllm_agent.SmartLLMAgent method) (src.agents.smtchecker_agent.SMTCheckerAgent method) (src.agents.wake_agent.WakeAgent method) (src.core.agent_protocol.SecurityAgent method) (src.core.correlation_api.MIESCCorrelationAPI method) (src.core.ml_orchestrator.MLOrchestrator method) (src.core.tool_protocol.ToolAdapter method), [1] (src.detectors.advanced_detectors.AdvancedDetectorEngine method) (src.detectors.defi_detectors.DeFiDetectorEngine method) (src.detectors.dependency_analyzer.DependencyAnalyzer method) (src.detectors.detector_api.BaseDetector method) (src.detectors.detector_api.PatternDetector method) (src.detectors.smartbugs_detectors.SmartBugsDetectorEngine method) (src.llm.llm_orchestrator.AnthropicBackend method) (src.llm.llm_orchestrator.LLMBackend method) (src.llm.llm_orchestrator.OllamaBackend method) (src.llm.llm_orchestrator.OpenAIBackend method) (src.ml.classic_patterns.AccessControlSemanticDetector method) (src.ml.classic_patterns.DoSCrossFunctionDetector method) (src.ml.correlation_engine.ExploitChainAnalyzer method)

analyze_code() (src.ml.defi_patterns.DeFiPatternDetector method) analyze_contract() (src.llm.llm_orchestrator.LLMOrchestrator method) analyze_contract_with_correlation() (in module src.core.correlation_api) analyze_file() (src.detectors.advanced_detectors.AdvancedDetectorEngine method) (src.detectors.defi_detectors.DeFiDetectorEngine method) (src.detectors.dependency_analyzer.DependencyAnalyzer method) (src.detectors.detector_api.BaseDetector method) (src.detectors.smartbugs_detectors.SmartBugsDetectorEngine method) analyze_solidity() (in module src.llm.llm_orchestrator) analyze_source() (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter method) (src.adapters.defi_adapter.DeFiAdapter method) ANTHROPIC (src.llm.llm_orchestrator.LLMProvider attribute) AnthropicBackend (class in src.llm.llm_orchestrator) anti_patterns (src.ml.classic_patterns.PatternConfig attribute) (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute) ANTIBOT_PATTERNS (src.detectors.advanced_detectors.TokenSecurityDetector attribute) api_key (src.llm.llm_orchestrator.LLMConfig attribute) apply_cross_validation_penalty() (src.ml.correlation_engine.SmartCorrelationEngine method) ARBITRARY_EXTERNAL_CALL (src.ml.defi_patterns.DeFiVulnType attribute) ARITHMETIC (src.detectors.detector_api.Category attribute) (src.ml.classic_patterns.ClassicVulnType attribute) ARITHMETIC_PATTERNS (src.detectors.smartbugs_detectors.ArithmeticDetector attribute) ArithmeticDetector (class in src.detectors.smartbugs_detectors) attack_example (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute) attack_scenario (src.llm.embedding_rag.VulnerabilityDocument attribute) attack_vector (src.ml.correlation_engine.ExploitChain attribute) AttackCategory (class in src.detectors.advanced_detectors) AUDIT_READINESS (src.core.tool_protocol.ToolCategory attribute), [1] author (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.SecurityAgent property) (src.core.tool_protocol.ToolMetadata attribute), [1] (src.detectors.detector_api.BaseDetector attribute) AVAILABLE (src.core.tool_protocol.ToolStatus attribute), [1]

B

backends (src.llm.llm_orchestrator.LLMOrchestrator attribute) BAD_RANDOMNESS (src.ml.classic_patterns.ClassicVulnType attribute) BadRandomnessDetector (class in src.detectors.smartbugs_detectors) BANNER (src.core.rich_cli.MIESCRichCLI attribute) base_confidence (src.ml.correlation_engine.CorrelatedFinding attribute) base_cvss (src.ml.correlation_engine.ExploitChain attribute) base_model (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) base_url (src.llm.llm_orchestrator.LLMConfig attribute) BaseAgent (class in src.agents.base_agent)

BaseDetector (class in src.detectors.detector_api) batch_get_context_for_findings() (in module src.llm.embedding_rag) batch_search() (src.llm.embedding_rag.EmbeddingRAG method) batch_size (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) bf16 (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) BLACKLIST_PATTERNS (src.detectors.advanced_detectors.RugPullDetector attribute) bnb_4bit_compute_dtype (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) bnb_4bit_quant_type (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) BRIDGE_VULNERABILITY (src.ml.defi_patterns.DeFiVulnType attribute) BROWNIE (src.core.framework_detector.Framework attribute)

C

cache (src.llm.llm_orchestrator.LLMOrchestrator attribute) cache_enabled (src.core.config_loader.MIESCConfig property) CACHE_MAX_SIZE (src.llm.embedding_rag.EmbeddingRAG attribute) cache_ttl (src.llm.llm_orchestrator.LLMOrchestrator attribute) CACHE_TTL_SECONDS (src.llm.embedding_rag.EmbeddingRAG attribute) cached (src.llm.llm_orchestrator.LLMResponse attribute) calculate_weighted_confidence() (src.ml.correlation_engine.SmartCorrelationEngine method) CALLBACK_PATTERNS (src.detectors.defi_detectors.FlashLoanDetector attribute) can_analyze() (src.adapters.aderyn_adapter.AderynAdapter method) (src.adapters.gptlens_adapter.GPTLensAdapter method) (src.adapters.hardhat_adapter.HardhatAdapter method) (src.adapters.mythril_adapter.MythrilAdapter method) (src.adapters.semgrep_adapter.SemgrepAdapter method) (src.adapters.slither_adapter.SlitherAdapter method) (src.adapters.smartllm_adapter.SmartLLMAdapter method) (src.adapters.solhint_adapter.SolhintAdapter method) (src.core.agent_protocol.SecurityAgent method) (src.core.tool_protocol.ToolAdapter method), [1] canonical_type (src.ml.correlation_engine.CorrelatedFinding attribute) capabilities (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.SecurityAgent property) (src.core.tool_protocol.ToolMetadata attribute), [1] Category (class in src.detectors.detector_api) category (src.core.tool_protocol.ToolMetadata attribute), [1] (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.advanced_detectors.CentralizationDetector attribute) (src.detectors.advanced_detectors.GovernanceDetector attribute) (src.detectors.advanced_detectors.ProxyUpgradeDetector attribute) (src.detectors.advanced_detectors.RugPullDetector attribute) (src.detectors.advanced_detectors.TokenSecurityDetector attribute) (src.detectors.defi_detectors.DeFiDetector attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.defi_detectors.FlashLoanDetector attribute) (src.detectors.defi_detectors.MEVExposureDetector attribute) (src.detectors.defi_detectors.OracleManipulationDetector attribute) (src.detectors.defi_detectors.PriceManipulationDetector attribute) (src.detectors.defi_detectors.SandwichAttackDetector attribute) (src.detectors.detector_api.BaseDetector attribute) (src.detectors.detector_api.Finding attribute) (src.detectors.smartbugs_detectors.AccessControlDetector attribute) (src.detectors.smartbugs_detectors.ArithmeticDetector attribute) (src.detectors.smartbugs_detectors.BadRandomnessDetector attribute) (src.detectors.smartbugs_detectors.DenialOfServiceDetector attribute) (src.detectors.smartbugs_detectors.FrontRunningDetector attribute) (src.detectors.smartbugs_detectors.ReentrancyDetector attribute) (src.detectors.smartbugs_detectors.ShortAddressDetector attribute) (src.detectors.smartbugs_detectors.SmartBugsFinding attribute) (src.detectors.smartbugs_detectors.TimeManipulationDetector attribute) (src.detectors.smartbugs_detectors.UncheckedLowLevelCallsDetector attribute) (src.llm.embedding_rag.VulnerabilityDocument attribute) CATEGORY_TO_SWC (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter attribute) (src.adapters.defi_adapter.DeFiAdapter attribute) CEI_VIOLATION_PATTERN (src.ml.fp_classifier.FeatureExtractor attribute) CENTRALIZATION (src.detectors.advanced_detectors.AttackCategory attribute) (src.detectors.detector_api.Category attribute) CENTRALIZATION_PATTERNS (src.detectors.advanced_detectors.CentralizationDetector attribute) CentralizationDetector (class in src.detectors.advanced_detectors) check_binary_available() (src.core.tool_protocol.ToolAdapter method), [1] check_dependencies() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) CheckmarxExporter (class in src.core.exporters) ClassicPatternDetector (class in src.ml.classic_patterns) ClassicVulnType (class in src.ml.classic_patterns) classify_false_positives() (in module src.ml.fp_classifier) clear() (src.core.correlation_api.MIESCCorrelationAPI method) (src.ml.correlation_engine.SmartCorrelationEngine method) clear_cache() (src.core.framework_detector.FrameworkDetector method) (src.core.ml_orchestrator.MLOrchestrator method) (src.llm.embedding_rag.EmbeddingRAG method) (src.llm.llm_orchestrator.LLMOrchestrator method) cluster_count (src.core.ml_orchestrator.MLAnalysisResult attribute) clusters (src.core.ml_orchestrator.MLAnalysisResult attribute) CODE_CONTEXT (src.ml.fp_classifier.FeatureCategory attribute) CODE_QUALITY (src.core.agent_protocol.AgentCapability attribute) code_snippet (src.core.agent_protocol.Finding attribute) (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.detector_api.Finding attribute) (src.detectors.smartbugs_detectors.SmartBugsFinding attribute) (src.ml.classic_patterns.PatternMatch attribute) (src.ml.defi_patterns.DeFiPatternMatch attribute)

COLLECTION_NAME (src.llm.embedding_rag.EmbeddingRAG attribute) column_end (src.core.exporters.Finding attribute) (src.detectors.detector_api.Location attribute) column_start (src.core.exporters.Finding attribute) (src.detectors.detector_api.Location attribute) complexity (src.ml.correlation_engine.ExploitChain attribute) COMPLIANCE (src.core.tool_protocol.ToolCategory attribute), [1] confidence (src.core.agent_protocol.Finding attribute) (src.core.exporters.Finding attribute) (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.detector_api.Finding attribute) (src.detectors.smartbugs_detectors.SmartBugsFinding attribute) (src.ml.classic_patterns.AccessControlFinding attribute) (src.ml.classic_patterns.DoSFinding attribute) (src.ml.classic_patterns.PatternMatch attribute) (src.ml.defi_patterns.DeFiPatternMatch attribute) (src.ml.fp_classifier.FindingFeatures attribute) (src.ml.fp_classifier.FPPrediction attribute) confidence_score (src.llm.llm_orchestrator.VulnerabilityAnalysis attribute) config_file (src.core.framework_detector.FrameworkConfig attribute) CONFIGURATION_ERROR (src.core.tool_protocol.ToolStatus attribute), [1] configure() (src.core.agent_protocol.SecurityAgent method) (src.detectors.detector_api.BaseDetector method) confirmed_findings (src.ml.correlation_engine.ToolProfile attribute) confirming_tools (src.ml.correlation_engine.CorrelatedFinding attribute) content (src.llm.llm_orchestrator.LLMResponse attribute) context_score (src.ml.correlation_engine.CorrelatedFinding attribute) context_validator (src.ml.classic_patterns.PatternConfig attribute) CONTEXTUAL (src.ml.correlation_engine.CorrelationMethod attribute) contract_path (src.core.ml_orchestrator.MLAnalysisResult attribute) CONTRACT_PATTERNS (src.ml.fp_classifier.FeatureCategory attribute) contract_source (src.core.ml_orchestrator.MLAnalysisResult attribute) contributing_factors (src.ml.fp_classifier.FPPrediction attribute) correlate() (src.ml.correlation_engine.SmartCorrelationEngine method) correlate_findings() (in module src.ml.correlation_engine) CorrelatedFinding (class in src.ml.correlation_engine) correlation_method (src.ml.correlation_engine.CorrelatedFinding attribute) CorrelationMethod (class in src.ml.correlation_engine) cost (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.SecurityAgent property) (src.core.tool_protocol.ToolMetadata attribute), [1] create_cli() (in module src.core.rich_cli) create_finding() (src.core.tool_protocol.ToolAdapter method), [1] (src.detectors.detector_api.BaseDetector method) create_ollama_model() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) create_progress() (src.core.rich_cli.MIESCRichCLI method) create_result() (src.core.tool_protocol.ToolAdapter method), [1] CrewAICoordinator (class in src.agents.crewai_coordinator) CRITICAL (src.core.agent_protocol.FindingSeverity attribute) (src.core.rich_cli.SeverityStyle attribute) (src.detectors.advanced_detectors.Severity attribute) (src.detectors.defi_detectors.Severity attribute) (src.detectors.dependency_analyzer.DependencyRisk attribute) (src.detectors.detector_api.Severity attribute) (src.detectors.smartbugs_detectors.Severity attribute) CRITICAL_FUNCTIONS (src.detectors.smartbugs_detectors.AccessControlDetector attribute) CROSS_FUNCTION_REENTRANCY (src.ml.defi_patterns.DeFiVulnType attribute) cross_validated (src.core.ml_orchestrator.MLAnalysisResult attribute) CROSS_VALIDATION_REQUIRED (src.ml.correlation_engine.SmartCorrelationEngine attribute) CROSSCHAIN_ZK (src.core.tool_protocol.ToolCategory attribute), [1] CUSTOM (src.detectors.detector_api.Category attribute) CUSTOM_RULES (src.adapters.semgrep_adapter.SemgrepAdapter attribute) (src.core.agent_protocol.AgentCapability attribute) cve (src.detectors.dependency_analyzer.DependencyFinding attribute) cwe (src.core.exporters.Finding attribute) cwe_id (src.detectors.detector_api.Finding attribute) (src.llm.embedding_rag.VulnerabilityDocument attribute) (src.ml.correlation_engine.CorrelatedFinding attribute) (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) CWE_MAPPING (src.adapters.aderyn_adapter.AderynAdapter attribute)

D

DANGER_PATTERNS (src.detectors.defi_detectors.FlashLoanDetector attribute) deduplicate_findings() (src.ml.correlation_engine.SmartCorrelationEngine method) deep_scan() (src.core.ml_orchestrator.MLOrchestrator method) DEFAULT_MODEL (src.llm.embedding_rag.EmbeddingRAG attribute) DEFAULT_RULES (src.adapters.semgrep_adapter.SemgrepAdapter attribute) default_severity (src.detectors.detector_api.BaseDetector attribute) DEFAULT_TOOL_PROFILES (src.ml.correlation_engine.SmartCorrelationEngine attribute) DeFiAdapter (class in src.adapters.defi_adapter) DeFiCategory (class in src.detectors.defi_detectors) DeFiDetector (class in src.detectors.defi_detectors) DeFiDetectorEngine (class in src.detectors.defi_detectors) DeFiFinding (class in src.detectors.defi_detectors) DeFiPatternDetector (class in src.ml.defi_patterns) DeFiPatternMatch (class in src.ml.defi_patterns) DeFiVulnerabilityPattern (class in src.ml.defi_patterns) DeFiVulnType (class in src.ml.defi_patterns) DELEGATECALL_PATTERNS (src.detectors.advanced_detectors.ProxyUpgradeDetector attribute) DenialOfServiceDetector (class in src.detectors.smartbugs_detectors) DEPENDENCY_ANALYSIS (src.core.agent_protocol.AgentCapability attribute) DependencyAnalyzer (class in src.detectors.dependency_analyzer) DependencyFinding (class in src.detectors.dependency_analyzer) DependencyRisk (class in src.detectors.dependency_analyzer) DEPRECATED (src.core.tool_protocol.ToolStatus attribute), [1] description (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter attribute) (src.adapters.defi_adapter.DeFiAdapter attribute) (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.Finding attribute) (src.core.agent_protocol.SecurityAgent property) (src.core.exporters.Finding attribute) (src.core.tool_protocol.ToolCapability attribute), [1] (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.advanced_detectors.CentralizationDetector attribute) (src.detectors.advanced_detectors.GovernanceDetector attribute) (src.detectors.advanced_detectors.ProxyUpgradeDetector attribute) (src.detectors.advanced_detectors.RugPullDetector attribute) (src.detectors.advanced_detectors.TokenSecurityDetector attribute) (src.detectors.defi_detectors.DeFiDetector attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.defi_detectors.FlashLoanDetector attribute) (src.detectors.defi_detectors.MEVExposureDetector attribute) (src.detectors.defi_detectors.OracleManipulationDetector attribute) (src.detectors.defi_detectors.PriceManipulationDetector attribute) (src.detectors.defi_detectors.SandwichAttackDetector attribute) (src.detectors.dependency_analyzer.DependencyAnalyzer attribute) (src.detectors.dependency_analyzer.DependencyFinding attribute) (src.detectors.detector_api.BaseDetector attribute) (src.detectors.detector_api.Finding attribute) (src.detectors.smartbugs_detectors.SmartBugsFinding attribute) (src.llm.embedding_rag.VulnerabilityDocument attribute) (src.ml.classic_patterns.AccessControlFinding attribute) (src.ml.classic_patterns.DoSFinding attribute) (src.ml.classic_patterns.PatternConfig attribute) (src.ml.classic_patterns.PatternMatch attribute) (src.ml.correlation_engine.ExploitChain attribute) (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute)

detect() (src.core.framework_detector.FrameworkDetector method) (src.detectors.advanced_detectors.CentralizationDetector method) (src.detectors.advanced_detectors.GovernanceDetector method) (src.detectors.advanced_detectors.ProxyUpgradeDetector method) (src.detectors.advanced_detectors.RugPullDetector method) (src.detectors.advanced_detectors.TokenSecurityDetector method) (src.detectors.defi_detectors.DeFiDetector method) (src.detectors.defi_detectors.FlashLoanDetector method) (src.detectors.defi_detectors.MEVExposureDetector method) (src.detectors.defi_detectors.OracleManipulationDetector method) (src.detectors.defi_detectors.PriceManipulationDetector method) (src.detectors.defi_detectors.SandwichAttackDetector method) (src.detectors.smartbugs_detectors.AccessControlDetector method) (src.detectors.smartbugs_detectors.ArithmeticDetector method) (src.detectors.smartbugs_detectors.BadRandomnessDetector method) (src.detectors.smartbugs_detectors.DenialOfServiceDetector method) (src.detectors.smartbugs_detectors.FrontRunningDetector method) (src.detectors.smartbugs_detectors.ReentrancyDetector method) (src.detectors.smartbugs_detectors.ShortAddressDetector method) (src.detectors.smartbugs_detectors.TimeManipulationDetector method) (src.detectors.smartbugs_detectors.UncheckedLowLevelCallsDetector method) (src.ml.classic_patterns.ClassicPatternDetector method) detect_classic_vulnerabilities() (in module src.ml.classic_patterns) detect_defi_vulnerabilities() (in module src.ml.defi_patterns) detect_framework() (in module src.core.framework_detector) detect_semantic_vulnerabilities() (in module src.ml.classic_patterns) detect_with_context() (src.ml.classic_patterns.ClassicPatternDetector method) DETECTION_FILES (src.core.framework_detector.FrameworkDetector attribute) detection_pattern (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) detection_types (src.core.tool_protocol.ToolCapability attribute), [1] detector (src.detectors.detector_api.Finding attribute) DetectorRegistry (class in src.detectors.detector_api) detectors (src.detectors.defi_detectors.DeFiDetectorEngine attribute) (src.detectors.detector_api.DetectorRegistry property) DEVIATION_CHECK (src.detectors.defi_detectors.OracleManipulationDetector attribute) discover_all() (src.core.agent_registry.AgentRegistry method) document (src.llm.embedding_rag.RetrievalResult attribute) documentation (src.core.agent_protocol.AgentMetadata attribute) (src.core.tool_protocol.ToolMetadata attribute), [1] DONATION_ATTACK (src.ml.defi_patterns.DeFiVulnType attribute) DOS (src.detectors.detector_api.Category attribute) (src.ml.classic_patterns.ClassicVulnType attribute) DOS_PATTERNS (src.detectors.smartbugs_detectors.DenialOfServiceDetector attribute) DoSCrossFunctionDetector (class in src.ml.classic_patterns) DoSFinding (class in src.ml.classic_patterns) DYNAMIC_TESTING (src.core.tool_protocol.ToolCategory attribute), [1]

E

EMBEDDING (src.ml.correlation_engine.CorrelationMethod attribute) EmbeddingRAG (class in src.llm.embedding_rag) enabled (src.core.config_loader.AdapterConfig attribute) (src.core.config_loader.LayerConfig attribute) (src.detectors.detector_api.BaseDetector property) ERC4626_INFLATION (src.ml.defi_patterns.DeFiVulnType attribute) error (src.core.agent_protocol.AnalysisResult attribute) ERROR (src.core.agent_protocol.AnalysisStatus attribute) error() (src.core.rich_cli.MIESCRichCLI method) estimated_loss_usd (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute) eval_steps (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) evm_version (src.core.framework_detector.FrameworkConfig attribute) EXACT (src.ml.correlation_engine.CorrelationMethod attribute) examples (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator attribute) execution_time (src.core.agent_protocol.AnalysisResult attribute) execution_time_ms (src.core.ml_orchestrator.MLAnalysisResult attribute) explanation (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute)

exploitability_score (src.ml.correlation_engine.ExploitChain attribute) ExploitChain (class in src.ml.correlation_engine) ExploitChainAnalyzer (class in src.ml.correlation_engine) export() (src.core.exporters.CheckmarxExporter method) (src.core.exporters.JSONExporter method) (src.core.exporters.MarkdownExporter method) (src.core.exporters.ReportExporter method) (src.core.exporters.SARIFExporter method) (src.core.exporters.SonarQubeExporter method) export_all() (src.core.exporters.ReportExporter method) export_alpaca_format() (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator method) export_chatml_format() (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator method) export_sharegpt_format() (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator method) EXTERNAL_CALL_PATTERNS (src.detectors.smartbugs_detectors.ReentrancyDetector attribute) (src.ml.fp_classifier.FeatureExtractor attribute) extra_config (src.core.framework_detector.FrameworkConfig attribute) extract_features() (src.ml.fp_classifier.FeatureExtractor method)

F

false_positive_probability (src.ml.correlation_engine.CorrelatedFinding attribute) false_positive_rate (src.ml.correlation_engine.ToolProfile attribute) false_positives_removed (src.core.ml_orchestrator.MLAnalysisResult attribute) FAST (src.core.agent_protocol.AgentSpeed attribute) feature_names() (src.ml.fp_classifier.FindingFeatures static method) FEATURE_WEIGHTS (src.ml.fp_classifier.FPClassifier attribute) FeatureCategory (class in src.ml.fp_classifier) FeatureExtractor (class in src.ml.fp_classifier) file_path (src.core.exporters.Finding attribute) (src.detectors.detector_api.Location attribute) filter_agents() (src.core.agent_registry.AgentRegistry method) filter_findings() (src.ml.fp_classifier.FPClassifier method) filter_likely_fps() (in module src.ml.fp_classifier) final_confidence (src.ml.correlation_engine.CorrelatedFinding attribute) find_binary() (src.core.tool_protocol.ToolAdapter method), [1] find_multiline_pattern() (src.detectors.detector_api.BaseDetector method) find_pattern() (src.detectors.detector_api.BaseDetector method) Finding (class in src.core.agent_protocol) (class in src.core.exporters) (class in src.detectors.detector_api) FINDING_METADATA (src.ml.fp_classifier.FeatureCategory attribute) FindingFeatures (class in src.ml.fp_classifier) findings (src.core.agent_protocol.AnalysisResult attribute) FindingSeverity (class in src.core.agent_protocol) FIRST_DEPOSITOR (src.ml.defi_patterns.DeFiVulnType attribute) fixed_code (src.llm.embedding_rag.VulnerabilityDocument attribute) (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) flash_attention (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute)

FLASH_LOAN (src.detectors.defi_detectors.DeFiCategory attribute) (src.detectors.detector_api.Category attribute) FLASH_LOAN_ATTACK (src.ml.defi_patterns.DeFiVulnType attribute) FLASH_LOAN_VOTE_PATTERNS (src.detectors.advanced_detectors.GovernanceDetector attribute) FlashLoanDetector (class in src.detectors.defi_detectors) follows_cei_pattern (src.ml.fp_classifier.FindingFeatures attribute) FORMAL_VERIFICATION (src.core.agent_protocol.AgentCapability attribute) (src.core.tool_protocol.ToolCategory attribute), [1] format_instruction() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) FOUNDRY (src.core.framework_detector.Framework attribute) fp16 (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) fp_probability (src.ml.fp_classifier.FPPrediction attribute) FPClassifier (class in src.ml.fp_classifier) FPPrediction (class in src.ml.fp_classifier) Framework (class in src.core.framework_detector) framework (src.core.framework_detector.FrameworkConfig attribute) FrameworkConfig (class in src.core.framework_detector) FrameworkDetector (class in src.core.framework_detector) from_string() (src.detectors.detector_api.Severity class method) FRONT_RUNNING (src.detectors.detector_api.Category attribute) (src.ml.classic_patterns.ClassicVulnType attribute) (src.ml.defi_patterns.DeFiVulnType attribute) FRONT_RUNNING_PATTERNS (src.detectors.smartbugs_detectors.FrontRunningDetector attribute) FrontRunningDetector (class in src.detectors.smartbugs_detectors) function (src.ml.classic_patterns.AccessControlFinding attribute) (src.ml.classic_patterns.DoSFinding attribute) function_complexity (src.ml.fp_classifier.FindingFeatures attribute) FUZZING (src.core.agent_protocol.AgentCapability attribute)

G

GAS_HEAVY_OPERATIONS (src.ml.classic_patterns.DoSCrossFunctionDetector attribute) GAS_OPTIMIZATION (src.core.agent_protocol.AgentCapability attribute) (src.core.tool_protocol.ToolCategory attribute), [1] (src.detectors.detector_api.Category attribute) generate_axolotl_config() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) generate_base_examples() (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator method) generate_full_dataset() (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator method) generate_ollama_modelfile() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) generate_training_examples() (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator method) get() (src.core.agent_registry.AgentRegistry method) (src.detectors.detector_api.DetectorRegistry method) get_adapter_config() (src.core.config_loader.MIESCConfig method) get_adapters_by_layer() (src.core.config_loader.MIESCConfig method) get_all_layers() (src.core.config_loader.MIESCConfig method) get_all_patterns() (src.ml.defi_patterns.DeFiPatternDetector method) get_all_tools() (src.core.tool_protocol.ToolRegistry method), [1] get_available_models() (src.agents.ollama_agent.OllamaAgent static method) get_available_providers() (src.llm.llm_orchestrator.LLMOrchestrator method) get_available_tools() (src.core.tool_protocol.ToolRegistry method), [1] get_cache_stats() (src.llm.embedding_rag.EmbeddingRAG method) get_capabilities() (src.agents.aderyn_agent.AderynAgent method) (src.agents.halmos_agent.HalmosAgent method) (src.agents.medusa_agent.MedusaAgent method) (src.agents.smtchecker_agent.SMTCheckerAgent method) (src.agents.wake_agent.WakeAgent method) get_chain_config() (src.core.config_loader.MIESCConfig method) get_compliance_frameworks() (src.core.config_loader.MIESCConfig method) get_config() (in module src.core.config_loader) get_config_schema() (src.core.agent_protocol.SecurityAgent method) get_context_for_finding() (in module src.llm.embedding_rag) get_context_for_llm() (src.llm.embedding_rag.EmbeddingRAG method) get_context_types() (src.agents.aderyn_agent.AderynAgent method) (src.agents.base_agent.BaseAgent method) (src.agents.crewai_coordinator.CrewAICoordinator method) (src.agents.gptscan_agent.GPTScanAgent method) (src.agents.halmos_agent.HalmosAgent method) (src.agents.llm_smartaudit_agent.LLMSmartAuditAgent method) (src.agents.medusa_agent.MedusaAgent method) (src.agents.ollama_agent.OllamaAgent method) (src.agents.smartllm_agent.SmartLLMAgent method) (src.agents.smtchecker_agent.SMTCheckerAgent method) (src.agents.wake_agent.WakeAgent method) get_critical_chains() (src.ml.correlation_engine.ExploitChainAnalyzer method) get_cross_validated_findings() (src.ml.correlation_engine.SmartCorrelationEngine method) get_cross_validated_only() (src.core.correlation_api.MIESCCorrelationAPI method) get_deduplication_stats() (src.ml.correlation_engine.SmartCorrelationEngine method) get_default_config() (src.adapters.aderyn_adapter.AderynAdapter method) (src.adapters.gptlens_adapter.GPTLensAdapter method) (src.adapters.hardhat_adapter.HardhatAdapter method) (src.adapters.mythril_adapter.MythrilAdapter method) (src.adapters.semgrep_adapter.SemgrepAdapter method) (src.adapters.slither_adapter.SlitherAdapter method) (src.adapters.smartllm_adapter.SmartLLMAdapter method) (src.adapters.solhint_adapter.SolhintAdapter method) (src.core.tool_protocol.ToolAdapter method), [1] get_detector_info() (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter static method) get_enabled_adapters() (src.core.config_loader.MIESCConfig method) get_enabled_chains() (src.core.config_loader.MIESCConfig method)

get_findings_by_severity() (src.core.correlation_api.MIESCCorrelationAPI method) get_findings_by_type() (src.core.correlation_api.MIESCCorrelationAPI method) get_framework_name() (in module src.core.framework_detector) get_high_confidence_findings() (src.ml.correlation_engine.SmartCorrelationEngine method) get_high_impact_chains() (src.ml.correlation_engine.ExploitChainAnalyzer method) get_installation_instructions() (src.core.tool_protocol.ToolAdapter method), [1] get_latest_context() (src.agents.base_agent.BaseAgent method) get_layer_config() (src.core.config_loader.MIESCConfig method) get_layer_info() (src.adapters.defi_adapter.DeFiAdapter static method) get_license_plan_config() (src.core.config_loader.MIESCConfig method) get_likely_true_positives() (src.ml.correlation_engine.SmartCorrelationEngine method) get_llm_config() (src.core.config_loader.MIESCConfig method) get_metadata() (src.adapters.aderyn_adapter.AderynAdapter method) (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter method) (src.adapters.defi_adapter.DeFiAdapter method) (src.adapters.gptlens_adapter.GPTLensAdapter method) (src.adapters.hardhat_adapter.HardhatAdapter method) (src.adapters.mythril_adapter.MythrilAdapter method) (src.adapters.semgrep_adapter.SemgrepAdapter method) (src.adapters.slither_adapter.SlitherAdapter method) (src.adapters.smartllm_adapter.SmartLLMAdapter method) (src.adapters.solhint_adapter.SolhintAdapter method) (src.core.agent_protocol.SecurityAgent method) (src.core.tool_protocol.ToolAdapter method), [1] get_ml_orchestrator() (in module src.core.ml_orchestrator) get_ml_report() (src.core.ml_orchestrator.MLOrchestrator method) get_pattern_info() (src.ml.defi_patterns.DeFiPatternDetector method) get_rag() (in module src.llm.embedding_rag) get_registered_agents() (src.core.agent_protocol.AgentPlugin class method) get_registry() (in module src.detectors.detector_api) get_results_config() (src.core.config_loader.MIESCConfig method) get_slither_args() (src.core.framework_detector.FrameworkDetector method) get_solc_args() (src.core.framework_detector.FrameworkDetector method) get_statistics() (src.core.agent_registry.AgentRegistry method) (src.ml.correlation_engine.SmartCorrelationEngine method) get_stats() (src.agents.base_agent.BaseAgent method) (src.llm.embedding_rag.EmbeddingRAG method) get_summary() (src.core.ml_orchestrator.MLAnalysisResult method) (src.detectors.advanced_detectors.AdvancedDetectorEngine method) (src.detectors.defi_detectors.DeFiDetectorEngine method) (src.detectors.dependency_analyzer.DependencyAnalyzer method) (src.detectors.detector_api.DetectorRegistry method) (src.detectors.smartbugs_detectors.SmartBugsDetectorEngine method) (src.ml.correlation_engine.ExploitChainAnalyzer method) get_system_prompt() (src.llm.llm_orchestrator.LLMBackend method) get_tool() (src.core.tool_protocol.ToolRegistry method), [1] get_tool_registry() (in module src.core.tool_protocol), [1] get_tool_status_report() (src.core.tool_protocol.ToolRegistry method), [1] get_tool_weight() (src.ml.correlation_engine.SmartCorrelationEngine method) get_tools_by_category() (src.core.tool_protocol.ToolRegistry method), [1] global_config (src.core.config_loader.MIESCConfig property) GOVERNANCE (src.detectors.advanced_detectors.AttackCategory attribute) (src.detectors.detector_api.Category attribute) GOVERNANCE_ATTACK (src.ml.defi_patterns.DeFiVulnType attribute) GovernanceDetector (class in src.detectors.advanced_detectors) GPTLensAdapter (class in src.adapters.gptlens_adapter) GPTScanAgent (class in src.agents.gptscan_agent) gradient_accumulation_steps (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) gradient_checkpointing (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute)

H

HalmosAgent (class in src.agents.halmos_agent) handle_error() (src.agents.base_agent.BaseAgent method) handle_message() (src.agents.aderyn_agent.AderynAgent method) (src.agents.halmos_agent.HalmosAgent method) (src.agents.medusa_agent.MedusaAgent method) (src.agents.smtchecker_agent.SMTCheckerAgent method) (src.agents.wake_agent.WakeAgent method) HARDHAT (src.core.framework_detector.Framework attribute) HardhatAdapter (class in src.adapters.hardhat_adapter) has_access_control (src.ml.fp_classifier.FindingFeatures attribute) has_ether_transfer (src.ml.fp_classifier.FindingFeatures attribute) has_external_call (src.ml.fp_classifier.FindingFeatures attribute) has_initializer (src.ml.fp_classifier.FindingFeatures attribute) has_modifier (src.ml.fp_classifier.FindingFeatures attribute) has_reentrancy_guard (src.ml.fp_classifier.FindingFeatures attribute) has_require_check (src.ml.fp_classifier.FindingFeatures attribute) has_state_change (src.ml.fp_classifier.FindingFeatures attribute) has_swc_id (src.ml.fp_classifier.FindingFeatures attribute)

health_check() (src.llm.llm_orchestrator.AnthropicBackend method) (src.llm.llm_orchestrator.LLMBackend method) (src.llm.llm_orchestrator.OllamaBackend method) (src.llm.llm_orchestrator.OpenAIBackend method) HIDDEN_FEE_PATTERNS (src.detectors.advanced_detectors.TokenSecurityDetector attribute) HIDDEN_MINT_PATTERNS (src.detectors.advanced_detectors.RugPullDetector attribute) HIGH (src.core.agent_protocol.FindingSeverity attribute) (src.core.rich_cli.SeverityStyle attribute) (src.detectors.advanced_detectors.Severity attribute) (src.detectors.defi_detectors.Severity attribute) (src.detectors.dependency_analyzer.DependencyRisk attribute) (src.detectors.detector_api.Severity attribute) (src.detectors.smartbugs_detectors.Severity attribute) homepage (src.core.agent_protocol.AgentMetadata attribute) (src.core.tool_protocol.ToolMetadata attribute), [1] HONEYPOT (src.detectors.advanced_detectors.AttackCategory attribute) (src.detectors.detector_api.Category attribute) HONEYPOT_PATTERNS (src.detectors.advanced_detectors.TokenSecurityDetector attribute) HybridRAG (class in src.llm.embedding_rag)

I

id (src.core.exporters.Finding attribute) (src.llm.embedding_rag.VulnerabilityDocument attribute) (src.ml.correlation_engine.CorrelatedFinding attribute) (src.ml.correlation_engine.ExploitChain attribute) (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) impact (src.core.agent_protocol.Finding attribute) impact_score (src.ml.correlation_engine.ExploitChain attribute) indicators (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute) INFLATION_ATTACK (src.ml.defi_patterns.DeFiVulnType attribute) INFO (src.core.agent_protocol.FindingSeverity attribute) (src.core.rich_cli.SeverityStyle attribute) (src.detectors.advanced_detectors.Severity attribute) (src.detectors.defi_detectors.Severity attribute) (src.detectors.dependency_analyzer.DependencyRisk attribute) (src.detectors.detector_api.Severity attribute) (src.detectors.smartbugs_detectors.Severity attribute) info() (src.core.rich_cli.MIESCRichCLI method) INIT_PATTERNS (src.detectors.advanced_detectors.ProxyUpgradeDetector attribute) initialize() (src.llm.llm_orchestrator.LLMOrchestrator method) input (src.ml.fine_tuning.dataset_generator.TrainingExample attribute) install_dependencies() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) installation (src.core.agent_protocol.AgentMetadata attribute) installation_cmd (src.core.tool_protocol.ToolMetadata attribute), [1] instruction (src.ml.fine_tuning.dataset_generator.TrainingExample attribute) INTEGER_OVERFLOW (src.ml.classic_patterns.ClassicVulnType attribute) INTEGER_UNDERFLOW (src.ml.classic_patterns.ClassicVulnType attribute)

is_available() (src.adapters.aderyn_adapter.AderynAdapter method) (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter method) (src.adapters.defi_adapter.DeFiAdapter method) (src.adapters.gptlens_adapter.GPTLensAdapter method) (src.adapters.hardhat_adapter.HardhatAdapter method) (src.adapters.mythril_adapter.MythrilAdapter method) (src.adapters.semgrep_adapter.SemgrepAdapter method) (src.adapters.slither_adapter.SlitherAdapter method) (src.adapters.smartllm_adapter.SmartLLMAdapter method) (src.adapters.solhint_adapter.SolhintAdapter method) (src.agents.aderyn_agent.AderynAgent method) (src.agents.halmos_agent.HalmosAgent method) (src.agents.medusa_agent.MedusaAgent method) (src.agents.smtchecker_agent.SMTCheckerAgent method) (src.agents.wake_agent.WakeAgent method) (src.core.agent_protocol.SecurityAgent method) (src.core.tool_protocol.ToolAdapter method), [1] is_cross_validated (src.ml.correlation_engine.CorrelatedFinding attribute) is_false_positive (src.ml.fp_classifier.FPPrediction attribute) is_foundry_project() (in module src.core.framework_detector) is_hardhat_project() (in module src.core.framework_detector) is_optional (src.core.tool_protocol.ToolMetadata attribute), [1] is_proxy_contract (src.ml.fp_classifier.FindingFeatures attribute) is_solidity_08_plus (src.ml.fp_classifier.FindingFeatures attribute) is_upgradeable (src.ml.fp_classifier.FindingFeatures attribute) is_vulnerable (src.ml.defi_patterns.DeFiPatternMatch attribute)

J

JSONExporter (class in src.core.exporters)

K

KNOWN_CHAINS (src.ml.correlation_engine.ExploitChainAnalyzer attribute)

L

latency_ms (src.llm.llm_orchestrator.LLMResponse attribute) layer (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter attribute) (src.adapters.defi_adapter.DeFiAdapter attribute) (src.core.config_loader.AdapterConfig attribute) (src.core.exporters.Finding attribute) (src.detectors.dependency_analyzer.DependencyAnalyzer attribute) LayerConfig (class in src.core.config_loader) learning_rate (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) lib_paths (src.core.framework_detector.FrameworkConfig attribute) license (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.SecurityAgent property) (src.core.tool_protocol.ToolMetadata attribute), [1] LICENSE_REQUIRED (src.core.tool_protocol.ToolStatus attribute), [1] line (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.dependency_analyzer.DependencyFinding attribute) (src.detectors.smartbugs_detectors.SmartBugsFinding attribute) (src.ml.classic_patterns.AccessControlFinding attribute) (src.ml.classic_patterns.DoSFinding attribute) (src.ml.classic_patterns.PatternMatch attribute) line_count (src.ml.fp_classifier.FindingFeatures attribute) line_end (src.core.exporters.Finding attribute) (src.detectors.detector_api.Location attribute) line_start (src.core.exporters.Finding attribute) (src.detectors.detector_api.Location attribute) LIQUIDITY (src.detectors.defi_detectors.DeFiCategory attribute) LIQUIDITY_DRAIN (src.ml.defi_patterns.DeFiVulnType attribute) list_agents() (src.core.agent_registry.AgentRegistry method)

list_detectors() (src.detectors.detector_api.DetectorRegistry method) LLMBackend (class in src.llm.llm_orchestrator) LLMConfig (class in src.llm.llm_orchestrator) LLMOrchestrator (class in src.llm.llm_orchestrator) LLMProvider (class in src.llm.llm_orchestrator) LLMResponse (class in src.llm.llm_orchestrator) LLMSmartAuditAgent (class in src.agents.llm_smartaudit_agent) load_dataset() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) LOCAL (src.llm.llm_orchestrator.LLMProvider attribute) Location (class in src.detectors.detector_api) location (src.core.agent_protocol.Finding attribute) (src.detectors.detector_api.Finding attribute) (src.ml.correlation_engine.CorrelatedFinding attribute) (src.ml.defi_patterns.DeFiPatternMatch attribute) log_level (src.core.config_loader.MIESCConfig property) logging_steps (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) lora_alpha (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) lora_dropout (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) lora_r (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) lora_target_modules (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) LOW (src.core.agent_protocol.FindingSeverity attribute) (src.core.rich_cli.SeverityStyle attribute) (src.detectors.advanced_detectors.Severity attribute) (src.detectors.defi_detectors.Severity attribute) (src.detectors.dependency_analyzer.DependencyRisk attribute) (src.detectors.detector_api.Severity attribute) (src.detectors.smartbugs_detectors.Severity attribute) LOW_LEVEL_CALLS (src.detectors.smartbugs_detectors.UncheckedLowLevelCallsDetector attribute)

M

main() (in module src.adapters.advanced_detector_adapter) (in module src.adapters.defi_adapter) (in module src.core.correlation_api) (in module src.detectors.advanced_detectors) (in module src.detectors.defi_detectors) (in module src.detectors.dependency_analyzer) (in module src.detectors.smartbugs_detectors) (in module src.ml.fine_tuning.dataset_generator) (in module src.ml.fine_tuning.fine_tuning_trainer) MarkdownExporter (class in src.core.exporters) matched_anti_patterns (src.ml.defi_patterns.DeFiPatternMatch attribute) matched_indicators (src.ml.defi_patterns.DeFiPatternMatch attribute) max_seq_length (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) max_tokens (src.llm.llm_orchestrator.LLMConfig attribute) MAX_TX_PATTERNS (src.detectors.advanced_detectors.TokenSecurityDetector attribute) max_workers (src.core.config_loader.MIESCConfig property) MEDIUM (src.core.agent_protocol.AgentSpeed attribute) (src.core.agent_protocol.FindingSeverity attribute) (src.core.rich_cli.SeverityStyle attribute) (src.detectors.advanced_detectors.Severity attribute) (src.detectors.defi_detectors.Severity attribute) (src.detectors.dependency_analyzer.DependencyRisk attribute) (src.detectors.detector_api.Severity attribute) (src.detectors.smartbugs_detectors.Severity attribute) MedusaAgent (class in src.agents.medusa_agent) merge_lora_weights() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) message (src.core.agent_protocol.Finding attribute) (src.ml.correlation_engine.CorrelatedFinding attribute) METADATA (src.adapters.hardhat_adapter.HardhatAdapter attribute) (src.adapters.semgrep_adapter.SemgrepAdapter attribute) (src.adapters.solhint_adapter.SolhintAdapter attribute) metadata (src.core.agent_protocol.AnalysisResult attribute) (src.detectors.detector_api.Finding attribute) (src.llm.llm_orchestrator.LLMResponse attribute) (src.ml.fine_tuning.dataset_generator.TrainingExample attribute) MEV_DETECTION (src.core.tool_protocol.ToolCategory attribute), [1] MEV_EXPOSURE (src.detectors.defi_detectors.DeFiCategory attribute) MEV_EXTRACTION (src.ml.defi_patterns.DeFiVulnType attribute) MEV_PATTERNS (src.detectors.defi_detectors.MEVExposureDetector attribute) MEVExposureDetector (class in src.detectors.defi_detectors) MIESCConfig (class in src.core.config_loader) MIESCCorrelationAPI (class in src.core.correlation_api) MIESCRichCLI (class in src.core.rich_cli) ml_confidence (src.ml.correlation_engine.CorrelatedFinding attribute) ML_DETECTION (src.core.tool_protocol.ToolCategory attribute), [1] ml_filtered_findings (src.core.ml_orchestrator.MLAnalysisResult attribute) ml_filtered_out (src.core.ml_orchestrator.MLAnalysisResult attribute) ml_processing_time_ms (src.core.ml_orchestrator.MLAnalysisResult attribute)

MLAnalysisResult (class in src.core.ml_orchestrator) MLOrchestrator (class in src.core.ml_orchestrator) model (src.llm.llm_orchestrator.LLMConfig attribute) (src.llm.llm_orchestrator.LLMResponse attribute) module 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, [1] 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 MythrilAdapter (class in src.adapters.mythril_adapter)

N

name (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter attribute) (src.adapters.defi_adapter.DeFiAdapter attribute) (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.SecurityAgent property) (src.core.config_loader.AdapterConfig attribute) (src.core.config_loader.LayerConfig attribute) (src.core.tool_protocol.ToolCapability attribute), [1] (src.core.tool_protocol.ToolMetadata attribute), [1] (src.detectors.advanced_detectors.CentralizationDetector attribute) (src.detectors.advanced_detectors.GovernanceDetector attribute) (src.detectors.advanced_detectors.ProxyUpgradeDetector attribute) (src.detectors.advanced_detectors.RugPullDetector attribute) (src.detectors.advanced_detectors.TokenSecurityDetector attribute) (src.detectors.defi_detectors.DeFiDetector attribute) (src.detectors.defi_detectors.FlashLoanDetector attribute) (src.detectors.defi_detectors.MEVExposureDetector attribute) (src.detectors.defi_detectors.OracleManipulationDetector attribute) (src.detectors.defi_detectors.PriceManipulationDetector attribute) (src.detectors.defi_detectors.SandwichAttackDetector attribute) (src.detectors.dependency_analyzer.DependencyAnalyzer attribute) (src.detectors.detector_api.BaseDetector attribute) (src.detectors.smartbugs_detectors.AccessControlDetector attribute) (src.detectors.smartbugs_detectors.ArithmeticDetector attribute) (src.detectors.smartbugs_detectors.BadRandomnessDetector attribute) (src.detectors.smartbugs_detectors.DenialOfServiceDetector attribute) (src.detectors.smartbugs_detectors.FrontRunningDetector attribute) (src.detectors.smartbugs_detectors.ReentrancyDetector attribute) (src.detectors.smartbugs_detectors.ShortAddressDetector attribute) (src.detectors.smartbugs_detectors.TimeManipulationDetector attribute) (src.detectors.smartbugs_detectors.UncheckedLowLevelCallsDetector attribute) (src.ml.correlation_engine.ExploitChain attribute) (src.ml.correlation_engine.ToolProfile attribute) (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute)

normalize_findings() (src.adapters.aderyn_adapter.AderynAdapter method) (src.adapters.gptlens_adapter.GPTLensAdapter method) (src.adapters.hardhat_adapter.HardhatAdapter method) (src.adapters.mythril_adapter.MythrilAdapter method) (src.adapters.semgrep_adapter.SemgrepAdapter method) (src.adapters.slither_adapter.SlitherAdapter method) (src.adapters.smartllm_adapter.SmartLLMAdapter method) (src.adapters.solhint_adapter.SolhintAdapter method) (src.core.tool_protocol.ToolAdapter method), [1] normalize_severity() (src.core.tool_protocol.ToolAdapter method), [1] NOT_INSTALLED (src.core.tool_protocol.ToolStatus attribute), [1] num_epochs (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute)

O

OLLAMA (src.llm.llm_orchestrator.LLMProvider attribute) OllamaAgent (class in src.agents.ollama_agent) OllamaBackend (class in src.llm.llm_orchestrator) OPENAI (src.llm.llm_orchestrator.LLMProvider attribute) OpenAIBackend (class in src.llm.llm_orchestrator) optimizer_enabled (src.core.framework_detector.FrameworkConfig attribute) optimizer_runs (src.core.framework_detector.FrameworkConfig attribute) options (src.core.config_loader.AdapterConfig attribute)

ORACLE_MANIPULATION (src.detectors.defi_detectors.DeFiCategory attribute) (src.detectors.detector_api.Category attribute) (src.ml.defi_patterns.DeFiVulnType attribute) ORACLE_PATTERNS (src.detectors.defi_detectors.OracleManipulationDetector attribute) OracleManipulationDetector (class in src.detectors.defi_detectors) out_path (src.core.framework_detector.FrameworkConfig attribute) output (src.ml.fine_tuning.dataset_generator.TrainingExample attribute) output_dir (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) OWNER_DRAIN_PATTERNS (src.detectors.advanced_detectors.RugPullDetector attribute)

P

package (src.detectors.dependency_analyzer.DependencyFinding attribute) parse_json_safely() (src.core.tool_protocol.ToolAdapter method), [1] pattern (src.ml.defi_patterns.DeFiPatternMatch attribute) pattern_matched (src.ml.classic_patterns.PatternMatch attribute) pattern_matches (src.core.ml_orchestrator.MLAnalysisResult attribute) PATTERN_MATCHING (src.core.agent_protocol.AgentCapability attribute) PatternConfig (class in src.ml.classic_patterns) PatternDetector (class in src.detectors.detector_api) PatternMatch (class in src.ml.classic_patterns) PATTERNS (src.detectors.detector_api.PatternDetector attribute) patterns (src.ml.classic_patterns.PatternConfig attribute) PERMIT_FRONTRUN (src.ml.classic_patterns.ClassicVulnType attribute) precision_history (src.ml.correlation_engine.ToolProfile attribute) PRECISION_LOSS (src.ml.defi_patterns.DeFiVulnType attribute) predict() (src.ml.fp_classifier.FPClassifier method) prepare_model() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) PRICE_CALC_PATTERNS (src.detectors.defi_detectors.PriceManipulationDetector attribute)

PRICE_MANIPULATION (src.detectors.defi_detectors.DeFiCategory attribute) (src.ml.defi_patterns.DeFiVulnType attribute) PriceManipulationDetector (class in src.detectors.defi_detectors) primary_provider (src.llm.llm_orchestrator.LLMOrchestrator attribute) priority (src.core.config_loader.LayerConfig attribute) PRIVACY_ANALYSIS (src.core.tool_protocol.ToolCategory attribute), [1] PRIVILEGED_OPERATIONS (src.ml.classic_patterns.AccessControlSemanticDetector attribute) prompt_confirm() (src.core.rich_cli.MIESCRichCLI method) prompt_contract() (src.core.rich_cli.MIESCRichCLI method) prompt_tools() (src.core.rich_cli.MIESCRichCLI method) PROTECTION_PATTERNS (src.detectors.defi_detectors.MEVExposureDetector attribute) provider (src.llm.llm_orchestrator.LLMConfig attribute) (src.llm.llm_orchestrator.LLMResponse attribute) PROXY_UPGRADE (src.detectors.advanced_detectors.AttackCategory attribute) (src.detectors.detector_api.Category attribute) ProxyUpgradeDetector (class in src.detectors.advanced_detectors) publish_findings() (src.agents.base_agent.BaseAgent method) PUSH_PAYMENT_PATTERNS (src.ml.classic_patterns.DoSCrossFunctionDetector attribute)

Q

query() (src.llm.llm_orchestrator.LLMOrchestrator method) quick_check() (src.agents.halmos_agent.HalmosAgent method) quick_detect() (src.agents.wake_agent.WakeAgent method) quick_fuzz() (src.agents.medusa_agent.MedusaAgent method)

quick_scan() (src.agents.aderyn_agent.AderynAgent method) (src.core.ml_orchestrator.MLOrchestrator method) quick_verify() (src.agents.smtchecker_agent.SMTCheckerAgent method) QUORUM_PATTERNS (src.detectors.advanced_detectors.GovernanceDetector attribute)

R

RANDOMNESS_CONTEXT (src.detectors.smartbugs_detectors.BadRandomnessDetector attribute) raw_findings (src.core.ml_orchestrator.MLAnalysisResult attribute) raw_response (src.llm.llm_orchestrator.VulnerabilityAnalysis attribute) READ_ONLY_REENTRANCY (src.ml.defi_patterns.DeFiVulnType attribute) real_exploit (src.llm.embedding_rag.VulnerabilityDocument attribute) real_exploits (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute) recall_history (src.ml.correlation_engine.ToolProfile attribute) recommendation (src.core.agent_protocol.Finding attribute) (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.dependency_analyzer.DependencyFinding attribute) (src.detectors.detector_api.Finding attribute) (src.ml.classic_patterns.AccessControlFinding attribute) (src.ml.classic_patterns.DoSFinding attribute) (src.ml.classic_patterns.PatternConfig attribute) (src.ml.classic_patterns.PatternMatch attribute) (src.ml.defi_patterns.DeFiPatternMatch attribute) RECOMMENDATIONS (src.adapters.aderyn_adapter.AderynAdapter attribute) recommendations (src.llm.llm_orchestrator.VulnerabilityAnalysis attribute) REENTRANCY (src.detectors.detector_api.Category attribute) (src.ml.classic_patterns.ClassicVulnType attribute) REENTRANCY_GUARD_PATTERNS (src.ml.fp_classifier.FeatureExtractor attribute) ReentrancyDetector (class in src.detectors.smartbugs_detectors) reference (src.core.agent_protocol.Finding attribute) references (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.dependency_analyzer.DependencyFinding attribute) (src.detectors.detector_api.Finding attribute) (src.llm.embedding_rag.VulnerabilityDocument attribute) register() (src.core.agent_protocol.AgentPlugin class method) (src.core.agent_registry.AgentRegistry method) (src.core.tool_protocol.ToolRegistry method), [1] (src.detectors.detector_api.DetectorRegistry method) register_adapter() (in module src.adapters.hardhat_adapter) (in module src.adapters.semgrep_adapter) (in module src.adapters.solhint_adapter)

register_class() (src.detectors.detector_api.DetectorRegistry method) register_detector() (in module src.detectors.detector_api) reindex() (src.llm.embedding_rag.EmbeddingRAG method) relevance_reason (src.llm.embedding_rag.RetrievalResult attribute) reliability_score (src.ml.correlation_engine.ToolProfile property) reload() (src.core.config_loader.MIESCConfig method) remappings (src.core.framework_detector.FrameworkConfig attribute) remediation (src.core.exporters.Finding attribute) (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute) (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) remediation_plan (src.core.ml_orchestrator.MLAnalysisResult attribute) remediation_priority (src.ml.correlation_engine.CorrelatedFinding attribute) ReportExporter (class in src.core.exporters) repository (src.core.agent_protocol.AgentMetadata attribute) (src.core.tool_protocol.ToolMetadata attribute), [1] REQUIRE_ACCESS_PATTERNS (src.ml.classic_patterns.AccessControlSemanticDetector attribute) requires (src.core.agent_protocol.AgentMetadata attribute) requires_api_key (src.core.tool_protocol.ToolMetadata attribute), [1] requires_cross_validation() (src.ml.correlation_engine.SmartCorrelationEngine method) RetrievalResult (class in src.llm.embedding_rag) retry_attempts (src.llm.llm_orchestrator.LLMConfig attribute) retry_delay (src.llm.llm_orchestrator.LLMConfig attribute) REWARD_MANIPULATION (src.ml.defi_patterns.DeFiVulnType attribute) root_path (src.core.framework_detector.FrameworkConfig attribute) RUG_PULL (src.detectors.advanced_detectors.AttackCategory attribute) (src.detectors.detector_api.Category attribute) RugPullDetector (class in src.detectors.advanced_detectors) run() (src.agents.base_agent.BaseAgent method) run_all() (src.detectors.detector_api.DetectorRegistry method) run_audit_with_progress() (src.core.rich_cli.MIESCRichCLI method) run_subprocess() (src.core.tool_protocol.ToolAdapter method), [1] run_with_progress() (src.core.rich_cli.MIESCRichCLI method)

S

SAFEMATH_LINE_PATTERNS (src.detectors.smartbugs_detectors.ArithmeticDetector attribute) SANDWICH_ATTACK (src.detectors.defi_detectors.DeFiCategory attribute) (src.ml.defi_patterns.DeFiVulnType attribute) SandwichAttackDetector (class in src.detectors.defi_detectors) SANITY_CHECK_PATTERNS (src.detectors.defi_detectors.PriceManipulationDetector attribute) SARIF_SCHEMA (src.core.exporters.SARIFExporter attribute) SARIF_VERSION (src.core.exporters.SARIFExporter attribute) SARIFExporter (class in src.core.exporters) save_steps (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) search() (src.llm.embedding_rag.EmbeddingRAG method) (src.llm.embedding_rag.HybridRAG method) search_by_finding() (src.llm.embedding_rag.EmbeddingRAG method) search_vulnerabilities() (in module src.llm.embedding_rag) SECURITY_RULES (src.adapters.solhint_adapter.SolhintAdapter attribute) SecurityAgent (class in src.core.agent_protocol) select_model_for_task() (src.llm.llm_orchestrator.LLMOrchestrator method) SEMANTIC (src.ml.correlation_engine.CorrelationMethod attribute) SEMANTIC_GUARDS (src.ml.fp_classifier.FeatureCategory attribute) SemgrepAdapter (class in src.adapters.semgrep_adapter) set_status() (src.agents.base_agent.BaseAgent method) Severity (class in src.detectors.advanced_detectors) (class in src.detectors.defi_detectors) (class in src.detectors.detector_api) (class in src.detectors.smartbugs_detectors) severity (src.core.agent_protocol.Finding attribute) (src.core.exporters.Finding attribute) (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.dependency_analyzer.DependencyFinding attribute) (src.detectors.detector_api.Finding attribute) (src.detectors.smartbugs_detectors.SmartBugsFinding attribute) (src.llm.embedding_rag.VulnerabilityDocument attribute) (src.ml.classic_patterns.AccessControlFinding attribute) (src.ml.classic_patterns.DoSFinding attribute) (src.ml.classic_patterns.PatternConfig attribute) (src.ml.classic_patterns.PatternMatch attribute) (src.ml.correlation_engine.CorrelatedFinding attribute) (src.ml.correlation_engine.ExploitChain attribute) (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute) (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) severity_adjustments (src.core.ml_orchestrator.MLAnalysisResult attribute) severity_assessment (src.llm.llm_orchestrator.VulnerabilityAnalysis attribute) severity_distribution (src.core.ml_orchestrator.MLAnalysisResult attribute) SEVERITY_MAP (src.adapters.aderyn_adapter.AderynAdapter attribute) (src.adapters.advanced_detector_adapter.AdvancedDetectorAdapter attribute) (src.adapters.defi_adapter.DeFiAdapter attribute) (src.adapters.hardhat_adapter.HardhatAdapter attribute) (src.adapters.mythril_adapter.MythrilAdapter attribute) (src.adapters.semgrep_adapter.SemgrepAdapter attribute) (src.adapters.slither_adapter.SlitherAdapter attribute) (src.adapters.solhint_adapter.SolhintAdapter attribute) severity_score (src.ml.fp_classifier.FindingFeatures attribute) SEVERITY_WEIGHTS (src.ml.correlation_engine.SmartCorrelationEngine attribute) SeverityStyle (class in src.core.rich_cli) SHORT_ADDRESS (src.ml.classic_patterns.ClassicVulnType attribute) ShortAddressDetector (class in src.detectors.smartbugs_detectors) should_run() (src.detectors.detector_api.BaseDetector method) show_banner() (src.core.rich_cli.MIESCRichCLI method) show_completion() (src.core.rich_cli.MIESCRichCLI method) show_contract_info() (src.core.rich_cli.MIESCRichCLI method) show_export_options() (src.core.rich_cli.MIESCRichCLI method) show_findings_detail() (src.core.rich_cli.MIESCRichCLI method) show_findings_summary() (src.core.rich_cli.MIESCRichCLI method) show_findings_tree() (src.core.rich_cli.MIESCRichCLI method) show_tools_status() (src.core.rich_cli.MIESCRichCLI method) show_welcome() (src.core.rich_cli.MIESCRichCLI method) SIGNATURE_REPLAY (src.ml.defi_patterns.DeFiVulnType attribute) similarity_score (src.llm.embedding_rag.RetrievalResult attribute) SINGLE_TOOL_MAX_CONFIDENCE (src.ml.correlation_engine.SmartCorrelationEngine attribute) SKIPPED (src.core.agent_protocol.AnalysisStatus attribute) SLIPPAGE (src.detectors.defi_detectors.DeFiCategory attribute) SLIPPAGE_PATTERNS (src.detectors.defi_detectors.SandwichAttackDetector attribute) SlitherAdapter (class in src.adapters.slither_adapter) SLOW (src.core.agent_protocol.AgentSpeed attribute) SmartBugsDetectorEngine (class in src.detectors.smartbugs_detectors) SmartBugsFinding (class in src.detectors.smartbugs_detectors) SmartCorrelationEngine (class in src.ml.correlation_engine) SmartLLMAdapter (class in src.adapters.smartllm_adapter) SmartLLMAgent (class in src.agents.smartllm_agent) SMTCheckerAgent (class in src.agents.smtchecker_agent) solc_version (src.core.framework_detector.FrameworkConfig attribute) SolhintAdapter (class in src.adapters.solhint_adapter) SOLIDITY_VERSION (src.ml.fp_classifier.FeatureCategory attribute) SoliditySecurityDatasetGenerator (class in src.ml.fine_tuning.dataset_generator) SoliditySecurityTrainer (class in src.ml.fine_tuning.fine_tuning_trainer) SonarQubeExporter (class in src.core.exporters) source (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) source_files (src.ml.correlation_engine.ExploitChain attribute) source_findings (src.ml.correlation_engine.CorrelatedFinding attribute) SPECIALIZED (src.core.tool_protocol.ToolCategory attribute), [1] specialty_categories (src.ml.correlation_engine.ToolProfile attribute) speed (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.SecurityAgent property) src.adapters.aderyn_adapter module src.adapters.advanced_detector_adapter module src.adapters.defi_adapter module src.adapters.gptlens_adapter module src.adapters.hardhat_adapter module src.adapters.mythril_adapter module src.adapters.semgrep_adapter module src.adapters.slither_adapter module

src.adapters.smartllm_adapter module src.adapters.solhint_adapter module src.agents.aderyn_agent module src.agents.base_agent module src.agents.crewai_coordinator module src.agents.gptscan_agent module src.agents.halmos_agent module src.agents.llm_smartaudit_agent module src.agents.medusa_agent module src.agents.ollama_agent module src.agents.smartllm_agent module src.agents.smtchecker_agent module src.agents.wake_agent module src.core.agent_protocol module src.core.agent_registry module src.core.config_loader module src.core.correlation_api module src.core.exporters module src.core.framework_detector module src.core.ml_orchestrator module src.core.rich_cli module src.core.tool_protocol module, [1] src.detectors.advanced_detectors module src.detectors.defi_detectors module src.detectors.dependency_analyzer module src.detectors.detector_api module src.detectors.smartbugs_detectors module src.llm.embedding_rag module src.llm.llm_orchestrator module src.ml.classic_patterns module src.ml.correlation_engine module src.ml.defi_patterns module src.ml.fine_tuning.dataset_generator module src.ml.fine_tuning.fine_tuning_trainer module src.ml.fp_classifier module src_path (src.core.framework_detector.FrameworkConfig attribute) STALENESS_CHECK (src.detectors.defi_detectors.OracleManipulationDetector attribute) STATE_CHANGE_PATTERNS (src.detectors.smartbugs_detectors.ReentrancyDetector attribute) (src.ml.fp_classifier.FeatureExtractor attribute) STATIC_ANALYSIS (src.core.agent_protocol.AgentCapability attribute) (src.core.tool_protocol.ToolCategory attribute), [1] status (src.core.agent_protocol.AnalysisResult attribute) STORAGE_COLLISION (src.ml.defi_patterns.DeFiVulnType attribute) STORAGE_PATTERNS (src.detectors.advanced_detectors.ProxyUpgradeDetector attribute) submit_feedback() (src.core.ml_orchestrator.MLOrchestrator method) subscribe_to() (src.agents.base_agent.BaseAgent method) SUCCESS (src.core.agent_protocol.AnalysisStatus attribute) success() (src.core.rich_cli.MIESCRichCLI method) summary (src.core.agent_protocol.AnalysisResult attribute) supported_languages (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.SecurityAgent property) (src.core.tool_protocol.ToolCapability attribute), [1] SWAP_PATTERNS (src.detectors.defi_detectors.SandwichAttackDetector attribute) swc (src.core.exporters.Finding attribute) swc_id (src.detectors.detector_api.Finding attribute) (src.detectors.smartbugs_detectors.AccessControlDetector attribute) (src.detectors.smartbugs_detectors.ArithmeticDetector attribute) (src.detectors.smartbugs_detectors.BadRandomnessDetector attribute) (src.detectors.smartbugs_detectors.DenialOfServiceDetector attribute) (src.detectors.smartbugs_detectors.FrontRunningDetector attribute) (src.detectors.smartbugs_detectors.ReentrancyDetector attribute) (src.detectors.smartbugs_detectors.ShortAddressDetector attribute) (src.detectors.smartbugs_detectors.SmartBugsFinding attribute) (src.detectors.smartbugs_detectors.TimeManipulationDetector attribute) (src.detectors.smartbugs_detectors.UncheckedLowLevelCallsDetector attribute) (src.llm.embedding_rag.VulnerabilityDocument attribute) (src.ml.classic_patterns.PatternConfig attribute) (src.ml.classic_patterns.PatternMatch attribute) (src.ml.correlation_engine.CorrelatedFinding attribute) (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute) (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) SWC_MAPPING (src.adapters.aderyn_adapter.AderynAdapter attribute) SYMBOLIC_EXECUTION (src.core.agent_protocol.AgentCapability attribute) (src.core.tool_protocol.ToolCategory attribute), [1] SYSTEM_PROMPT (src.agents.ollama_agent.OllamaAgent attribute)

T

tags (src.llm.embedding_rag.VulnerabilityDocument attribute) target_patterns (src.detectors.detector_api.BaseDetector attribute) temperature (src.llm.llm_orchestrator.LLMConfig attribute) test_path (src.core.framework_detector.FrameworkConfig attribute) TIME_PATTERNS (src.detectors.smartbugs_detectors.TimeManipulationDetector attribute) TIMELOCK_PATTERNS (src.detectors.advanced_detectors.GovernanceDetector attribute) TimeManipulationDetector (class in src.detectors.smartbugs_detectors) TIMEOUT (src.core.agent_protocol.AnalysisStatus attribute) timeout (src.core.config_loader.AdapterConfig attribute) (src.llm.llm_orchestrator.LLMConfig attribute) timestamp (src.core.agent_protocol.AnalysisResult attribute) (src.core.ml_orchestrator.MLAnalysisResult attribute) TIMESTAMP (src.ml.classic_patterns.ClassicVulnType attribute) TIMESTAMP_DEPENDENCY (src.detectors.detector_api.Category attribute) title (src.core.exporters.Finding attribute) (src.detectors.advanced_detectors.AdvancedFinding attribute) (src.detectors.defi_detectors.DeFiFinding attribute) (src.detectors.dependency_analyzer.DependencyFinding attribute) (src.detectors.detector_api.Finding attribute) (src.detectors.smartbugs_detectors.SmartBugsFinding attribute) (src.llm.embedding_rag.VulnerabilityDocument attribute) to_context() (src.llm.embedding_rag.RetrievalResult method) to_dict() (src.core.config_loader.MIESCConfig method) (src.core.framework_detector.FrameworkConfig method) (src.core.ml_orchestrator.MLAnalysisResult method) (src.detectors.detector_api.Finding method) (src.ml.correlation_engine.CorrelatedFinding method) (src.ml.correlation_engine.ExploitChain method) to_findings() (src.ml.classic_patterns.AccessControlSemanticDetector method) (src.ml.classic_patterns.DoSCrossFunctionDetector method) to_metadata() (src.llm.embedding_rag.VulnerabilityDocument method)

to_report() (src.ml.correlation_engine.SmartCorrelationEngine method) to_text() (src.llm.embedding_rag.VulnerabilityDocument method) to_vector() (src.ml.fp_classifier.FindingFeatures method) TOKEN_SECURITY (src.detectors.advanced_detectors.AttackCategory attribute) tokens_used (src.llm.llm_orchestrator.LLMResponse attribute) TokenSecurityDetector (class in src.detectors.advanced_detectors) tool (src.core.exporters.Finding attribute) tool_agreement_score (src.ml.correlation_engine.CorrelatedFinding attribute) tool_count (src.ml.fp_classifier.FindingFeatures attribute) tool_profiles (src.ml.correlation_engine.SmartCorrelationEngine attribute) TOOL_WEIGHTS (src.ml.correlation_engine.SmartCorrelationEngine attribute) ToolAdapter (class in src.core.tool_protocol), [1] ToolCapability (class in src.core.tool_protocol), [1] ToolCategory (class in src.core.tool_protocol), [1] ToolMetadata (class in src.core.tool_protocol), [1] ToolProfile (class in src.ml.correlation_engine) ToolRegistry (class in src.core.tool_protocol), [1] tools (src.core.config_loader.LayerConfig attribute) tools_failed (src.core.ml_orchestrator.MLAnalysisResult attribute) tools_run (src.core.ml_orchestrator.MLAnalysisResult attribute) tools_success (src.core.ml_orchestrator.MLAnalysisResult attribute) ToolStatus (class in src.core.tool_protocol), [1] total_findings (src.ml.correlation_engine.ToolProfile attribute) total_raw_findings (src.core.ml_orchestrator.MLAnalysisResult attribute) train() (src.ml.fine_tuning.fine_tuning_trainer.SoliditySecurityTrainer method) TrainingConfig (class in src.ml.fine_tuning.fine_tuning_trainer) TrainingExample (class in src.ml.fine_tuning.dataset_generator) TRUFFLE (src.core.framework_detector.Framework attribute) type (src.core.agent_protocol.Finding attribute) (src.core.exporters.Finding attribute) TYPE_NORMALIZATION (src.ml.correlation_engine.SmartCorrelationEngine attribute)

U

UNBOUNDED_LOOP_PATTERNS (src.ml.classic_patterns.DoSCrossFunctionDetector attribute) UNCHECKED_CALLS (src.ml.classic_patterns.ClassicVulnType attribute) UNCHECKED_RETURN (src.detectors.detector_api.Category attribute) UNCHECKED_SEND (src.ml.classic_patterns.ClassicVulnType attribute) UncheckedLowLevelCallsDetector (class in src.detectors.smartbugs_detectors) UNKNOWN (src.core.framework_detector.Framework attribute) unregister() (src.core.agent_registry.AgentRegistry method) (src.detectors.detector_api.DetectorRegistry method)

update_tool_profile() (src.ml.correlation_engine.SmartCorrelationEngine method) UPGRADE_AUTH_PATTERNS (src.detectors.advanced_detectors.ProxyUpgradeDetector attribute) use_4bit (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) use_lora (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) USER_GROWING_ARRAY_PATTERNS (src.ml.classic_patterns.DoSCrossFunctionDetector attribute) uses_safemath (src.ml.fp_classifier.FindingFeatures attribute)

V

validate() (src.core.agent_protocol.SecurityAgent method) validate_all() (src.core.agent_registry.AgentRegistry method) validate_config() (src.core.tool_protocol.ToolAdapter method), [1] validate_finding() (src.adapters.mythril_adapter.MythrilAdapter method) validate_findings_with_mythril() (in module src.adapters.mythril_adapter) version (src.core.agent_protocol.AgentMetadata attribute) (src.core.agent_protocol.AnalysisResult attribute) (src.core.agent_protocol.SecurityAgent property) (src.core.config_loader.MIESCConfig property) (src.core.tool_protocol.ToolMetadata attribute), [1] (src.detectors.dependency_analyzer.DependencyFinding attribute) (src.detectors.detector_api.BaseDetector attribute) vuln_type (src.ml.classic_patterns.AccessControlFinding attribute) (src.ml.classic_patterns.DoSFinding attribute) (src.ml.classic_patterns.PatternConfig attribute) (src.ml.classic_patterns.PatternMatch attribute) (src.ml.defi_patterns.DeFiVulnerabilityPattern attribute)

VULN_TYPE_ADJUSTMENTS (src.ml.fp_classifier.FPClassifier attribute) vuln_types (src.ml.correlation_engine.ExploitChain attribute) vulnerabilities (src.llm.llm_orchestrator.VulnerabilityAnalysis attribute) (src.ml.correlation_engine.ExploitChain attribute) VULNERABILITY_TEMPLATES (src.ml.fine_tuning.dataset_generator.SoliditySecurityDatasetGenerator attribute) vulnerability_type (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) VulnerabilityAnalysis (class in src.llm.llm_orchestrator) VulnerabilityDocument (class in src.llm.embedding_rag) VulnerabilityExample (class in src.ml.fine_tuning.dataset_generator) vulnerable_code (src.llm.embedding_rag.VulnerabilityDocument attribute) (src.ml.fine_tuning.dataset_generator.VulnerabilityExample attribute) VULNERABLE_FUNCTION_PATTERNS (src.detectors.smartbugs_detectors.ShortAddressDetector attribute) VYPER_REENTRANCY (src.ml.classic_patterns.ClassicVulnType attribute)

W

WakeAgent (class in src.agents.wake_agent) warmup_ratio (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute) warning() (src.core.rich_cli.MIESCRichCLI method)

WARNING_PATTERNS (src.adapters.hardhat_adapter.HardhatAdapter attribute) WEAK_RANDOMNESS_PATTERNS (src.detectors.smartbugs_detectors.BadRandomnessDetector attribute) weakness_categories (src.ml.correlation_engine.ToolProfile attribute) weight_decay (src.ml.fine_tuning.fine_tuning_trainer.TrainingConfig attribute)