sentri_core/
lib.rs

1#![warn(missing_docs)]
2#![deny(unsafe_code)]
3
4//! Invar Core: Base abstractions for multi-chain invariant analysis.
5//!
6//! This module defines the core traits and types that are chain-agnostic
7//! and form the foundation for all analyzers and generators.
8
9pub mod account_abstraction;
10pub mod analysis_context;
11pub mod attack_patterns;
12pub mod config;
13pub mod error;
14pub mod evaluator;
15pub mod model;
16pub mod security_validator;
17pub mod threat_model;
18pub mod traits;
19pub mod type_checker;
20pub mod types;
21
22pub use account_abstraction::{
23    AAContext, AALayer, AccountState, CrossLayerCheckResult, EntryPointState, PaymasterState,
24    UserOpData,
25};
26pub use analysis_context::{AnalysisContext, AnalysisWarning};
27pub use attack_patterns::AttackPatternDB;
28pub use config::{AlertConfig, ChainConfig, Config, ConfigError, InvariantConfig};
29pub use error::{InvarError, Result};
30pub use evaluator::{EvalResult, EvaluationError, Evaluator, ExecutionContext, Value};
31pub use model::{FunctionModel, Invariant, ProgramModel, StateVar};
32pub use security_validator::{IssueSeverity, SecurityIssue, SecurityReport, SecurityValidator};
33pub use threat_model::{
34    DSLSandbox, InjectionVerifier, SimulationIsolation, StrictModeAnalyzer, TamperDetector,
35    ThreatModelConfig, ThreatModelError, ThreatResult,
36};
37pub use traits::{ChainAnalyzer, CodeGenerator, Simulator};
38pub use type_checker::TypeChecker;
39pub use types::{Type, TypeError, TypeResult, TypedExpr, TypedValue};
sentri_core/lib.rs

sentri_core/
lib.rs
