List of all items

Structs

• account_abstraction::AAContext
• account_abstraction::AccountState
• account_abstraction::CrossLayerCheckResult
• account_abstraction::EntryPointState
• account_abstraction::PaymasterState
• account_abstraction::UserOpData
• analysis_context::AnalysisContext
• analysis_context::AnalysisWarning
• attack_patterns::AttackPattern
• attack_patterns::AttackPatternDB
• changelog::APIDocGenerator
• changelog::ChangelogGenerator
• changelog::ExportDoc
• changelog::ModuleDoc
• changelog::ReleaseVersion
• config::AlertConfig
• config::AlertSink
• config::ChainConfig
• config::Config
• config::ConfigError
• config::DaemonConfig
• config::EvaluationConfig
• config::InvariantConfig
• config::LoggingConfig
• config::Metadata
• config::MetricsConfig
• config::PerformanceConfig
• config::PoolConfig
• config::RetryConfig
• config::SecurityConfig
• dvn_fuzzer::DVNSinglePointFuzzer
• dvn_fuzzer::FuzzResult
• evaluator::Evaluator
• evaluator::ExecutionContext
• finding::Finding
• fuzzer::CodeFuzzer
• generated::CompiledInvariant
• health_check_fuzzer::FuzzResult
• health_check_fuzzer::HealthCheckFuzzer
• integration_testing::ExploitTestCase
• integration_testing::IntegrationTestResult
• integration_testing::IntegrationTestResults
• integration_testing::IntegrationTestSuite
• merkle_root_fuzzer::FuzzResult
• merkle_root_fuzzer::MerkleRootFuzzer
• model::FunctionModel
• model::GenerationOutput
• model::Invariant
• model::ProgramModel
• model::SimulationReport
• model::StateVar
• oz_integration::EnrichedFinding
• oz_integration::OZMappingRegistry
• oz_integration::OZRecommendation
• registry::Exploit
• registry::ExploitRegistry
• security_validator::SecurityIssue
• security_validator::SecurityReport
• security_validator::SecurityValidator
• synthetic_mint_fuzzer::FuzzResult
• synthetic_mint_fuzzer::SyntheticMintFuzzer
• test_infrastructure::DetectorTestCase
• test_infrastructure::DetectorTestResult
• test_infrastructure::DetectorTestSuite
• threat_model::DSLSandbox
• threat_model::InjectionVerifier
• threat_model::SimulationIsolation
• threat_model::StrictModeAnalyzer
• threat_model::TamperDetector
• threat_model::ThreatModelConfig
• type_checker::FunctionSignature
• type_checker::TypeChecker
• types::TypedExpr
• types::TypedValue

Enums

• account_abstraction::AALayer
• account_abstraction::ExecutionPhase
• error::InvarError
• evaluator::EvaluationError
• evaluator::Value
• finding::Severity
• model::BinaryOp
• model::Expression
• model::LogicalOp
• oz_integration::OZVulnerabilityType
• security_validator::IssueSeverity
• threat_model::ThreatModelError
• types::Type
• types::TypeError

Traits

• traits::ChainAnalyzer
• traits::CodeGenerator
• traits::Simulator

Functions

• changelog::generate_v0_3_0_changelog
• generated::get_invariant
• generated::invariant_count
• generated::invariants_for_chain
• test_infrastructure::utils::extract_code_context
• test_infrastructure::utils::findings_match
• test_infrastructure::utils::generate_variant

Type Aliases

• error::Result
• evaluator::EvalFunction
• evaluator::EvalResult
• threat_model::ThreatResult
• types::TypeResult

Statics

• generated::INVARIANT_REGISTRY
• registry::EXPLOIT_REGISTRY