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
- 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
- evaluator::Evaluator
- evaluator::ExecutionContext
- model::FunctionModel
- model::GenerationOutput
- model::Invariant
- model::ProgramModel
- model::SimulationReport
- model::StateVar
- security_validator::SecurityIssue
- security_validator::SecurityReport
- security_validator::SecurityValidator
- 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
- model::BinaryOp
- model::Expression
- model::LogicalOp
- security_validator::IssueSeverity
- threat_model::ThreatModelError
- types::Type
- types::TypeError