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 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 model::FunctionModel;pub use model::Invariant;pub use model::ProgramModel;pub use model::StateVar;pub use security_validator::IssueSeverity;pub use security_validator::SecurityIssue;pub use security_validator::SecurityReport;pub use security_validator::SecurityValidator;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.
- config
- Configuration management for Sentri.
- error
- Error types for Sentri core operations.
- evaluator
- Deterministic invariant expression evaluation engine.
- model
- Core domain models for invariant analysis.
- security_
validator - Pre-build security validation using attack pattern detection.
- 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.