sentri-core 0.3.0

Sentri: Core types and utilities for the Sentri multi-chain smart contract security analyzer.
Documentation 
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28

// Empty invariant registry (no .sinv files found)
use once_cell::sync::Lazy;
use serde::{Deserialize, Serialize};
use std::collections::BTreeMap;

#[derive(Debug, Clone, Serialize, Deserialize)]
pub struct CompiledInvariant {
    pub id: &'static str,
    pub severity: &'static str,
    pub chain: &'static str,
    pub description: &'static str,
    pub message: &'static str,
}

pub static INVARIANT_REGISTRY: Lazy<BTreeMap<&'static str, CompiledInvariant>> = 
    Lazy::new(BTreeMap::new);

pub fn get_invariant(id: &str) -> Option<&'static CompiledInvariant> {
    INVARIANT_REGISTRY.get(id)
}

pub fn invariants_for_chain(_chain: &str) -> Vec<&'static CompiledInvariant> {
    vec![]
}

pub fn invariant_count() -> usize {
    0
}