sentri-library 0.2.1

Sentri: Standard library of security invariants for the Sentri multi-chain 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
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61

# sentri-library

Standard library of built-in invariants for the Sentri framework.

Provides 22 pre-configured security checks for EVM (10), Solana (7), and Move (5).

## Usage

```toml
[dependencies]
sentri-library = "0.1.3"
sentri-core = "0.1.3"
```

## Built-in Invariants

Access the full library of invariants programmatically:

```rust
use sentri_library::InvariantLibrary;

let lib = InvariantLibrary::new();
let evm_checks = lib.evm_invariants();
println!("EVM has {} checks", evm_checks.len());
```

## Available Invariants

**EVM** (10):
- Reentrancy (EVM_001)
- Integer Overflow / Underflow (EVM_002, EVM_003)
- Unchecked Return Values (EVM_004)
- Delegatecall Injection (EVM_005)
- Access Control (EVM_006)
- Timestamp Dependence (EVM_007)
- Front-running (EVM_008)
- Uninitialized Pointers (EVM_009)
- Division by Zero (EVM_010)

**Solana** (7):
- Signer Checks (SOL_001)
- Account Validation (SOL_002)
- Integer Overflow (SOL_003)
- Rent Exemption (SOL_004)
- PDA Derivation (SOL_005)
- Lamport Balance (SOL_006)
- Instruction Parsing (SOL_007)

**Move** (5):
- Access Control (MOVE_001)
- Integer Overflow (MOVE_002)
- Resource Leaks (MOVE_003)
- Type Mismatches (MOVE_004)
- Signer Requirements (MOVE_005)

See [Sentri documentation](https://github.com/geekstrancend/Sentri) for detailed descriptions.

## License

MIT