sentri-core 0.2.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
29
30
31
32
33
34
35
36
37
38
39
40
41

# sentri-core

Core types, configuration, and error handling for the Sentri invariant checking framework.

This crate provides the fundamental types and utilities you need to build tools within the Sentri ecosystem.

## Usage

As a library dependency:

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

## Key Types

- `Invariant` — represents a security invariant specification
- `Violation` — a detected invariant violation
- `Config` — project and analysis configuration
- `SeverityLevel` — violation severity (Critical, High, Medium, Low, Info)

## Example

```rust
use sentri_core::{Invariant, Violation, SeverityLevel};

let violation = Violation {
    id: "EVM_001".to_string(),
    severity: SeverityLevel::Critical,
    title: "Reentrancy Vulnerability".to_string(),
    message: "External call before state change detected".to_string(),
};
```

See [Sentri documentation](https://github.com/geekstrancend/Sentri) for more examples.

## License

MIT