sentri-analyzer-move 0.2.1

Sentri: Move language analyzer with static analysis and invariant checking for Aptos and other Move-based networks.
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

# sentri-analyzer-move

Move language analyzer for the Sentri framework.

Performs static analysis on Move modules and transactions to detect security invariant violations and unsafe patterns.

## Usage

```toml
[dependencies]
sentri-analyzer-move = "0.1.3"
sentri-core = "0.1.3"
sentri-ir = "0.1.3"
```

## Key Components

- `MoveAnalyzer`: Main analysis engine for Move bytecode
- `TypeChecker`: Validates Move type system compliance
- `AccessControl`: Analyzes visibility and access patterns
- `ResourceAnalyzer`: Tracks resource creation and movement

## Example

```rust
use sentri_analyzer_move::MoveAnalyzer;
use sentri_core::Target;

let mut analyzer = MoveAnalyzer::new();
let module_data = vec![0x00, 0x01]; // Move compiled module

let violations = analyzer.analyze(&module_data, Target::Move)?;
println!("Found {} violations", violations.len());
```

## Supported Platforms

- Aptos
- Movement
- Other Move-compatible networks

## Analysis Capabilities

- Move module bytecode inspection
- Type safety verification
- Resource leak detection
- Access control validation
- Integer overflow checking

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

## License

MIT