Expand description
Invar Core: Base abstractions for multi-chain invariant analysis This module defines the core traits and types that are chain-agnostic and form the foundation for all analyzers and generators.
Re-exports§
pub use account_abstraction::AAContext;pub use account_abstraction::AALayer;pub use account_abstraction::AccountState;pub use account_abstraction::CrossLayerCheckResult;pub use account_abstraction::EntryPointState;pub use account_abstraction::PaymasterState;pub use account_abstraction::UserOpData;pub use analysis_context::AnalysisContext;pub use analysis_context::AnalysisWarning;pub use attack_patterns::AttackPatternDB;pub use changelog::generate_v0_3_0_changelog;pub use changelog::APIDocGenerator;pub use changelog::ChangelogGenerator;pub use changelog::ReleaseVersion;pub use config::AlertConfig;pub use config::ChainConfig;pub use config::Config;pub use config::ConfigError;pub use config::InvariantConfig;pub use error::InvarError;pub use error::Result;pub use evaluator::EvalResult;pub use evaluator::EvaluationError;pub use evaluator::Evaluator;pub use evaluator::ExecutionContext;pub use evaluator::Value;pub use finding::Finding;pub use finding::Severity;pub use fuzzer::CodeFuzzer;pub use generated::get_invariant;pub use generated::invariant_count;pub use generated::invariants_for_chain;pub use generated::CompiledInvariant;pub use integration_testing::ExploitTestCase;pub use integration_testing::IntegrationTestResults;pub use integration_testing::IntegrationTestSuite;pub use model::FunctionModel;pub use model::Invariant;pub use model::ProgramModel;pub use model::StateVar;pub use oz_integration::EnrichedFinding;pub use oz_integration::OZMappingRegistry;pub use oz_integration::OZVulnerabilityType;pub use registry::Exploit;pub use registry::ExploitRegistry;pub use registry::EXPLOIT_REGISTRY;pub use security_validator::IssueSeverity;pub use security_validator::SecurityIssue;pub use security_validator::SecurityReport;pub use security_validator::SecurityValidator;pub use test_infrastructure::DetectorTestCase;pub use test_infrastructure::DetectorTestResult;pub use test_infrastructure::DetectorTestSuite;pub use threat_model::DSLSandbox;pub use threat_model::InjectionVerifier;pub use threat_model::SimulationIsolation;pub use threat_model::StrictModeAnalyzer;pub use threat_model::TamperDetector;pub use threat_model::ThreatModelConfig;pub use threat_model::ThreatModelError;pub use threat_model::ThreatResult;pub use traits::ChainAnalyzer;pub use traits::CodeGenerator;pub use traits::Simulator;pub use type_checker::TypeChecker;pub use types::Type;pub use types::TypeError;pub use types::TypeResult;pub use types::TypedExpr;pub use types::TypedValue;
Modules§
- account_
abstraction - Account Abstraction cross-layer invariant support.
- analysis_
context - Analysis context tracking.
- attack_
patterns - Known attack patterns and corresponding defensive invariants.
- changelog
- config
- Configuration management for Sentri.
- dvn_
fuzzer - error
- Error types for Sentri core operations.
- evaluator
- Deterministic invariant expression evaluation engine.
- finding
- Unified finding type for all detectors across all chains.
- fuzzer
- generated
- Generated invariants from .sinv DSL files.
- health_
check_ fuzzer - integration_
testing - merkle_
root_ fuzzer - model
- Core domain models for invariant analysis.
- oz_
integration - registry
- Exploit registry: Historical DeFi hacks mapped to Sentri invariants.
- security_
validator - Pre-build security validation using attack pattern detection.
- synthetic_
mint_ fuzzer - test_
infrastructure - threat_
model - Threat model defenses for Invar invariant enforcement system.
- traits
- Core traits defining the analyzer/generator/simulator interface.
- type_
checker - Type inference and checking engine.
- types
- Formal type system for Sentri DSL.