sentri-analyzer-move 0.3.0

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

#![deny(unsafe_code)]
#![allow(missing_docs)]

//! Move (Aptos/Sui) program analyzer.

pub mod analyzer;
/// Vulnerability detectors for Move modules
pub mod detectors;
pub mod move_resource_destruction;
pub mod move_type_safety_violation;

pub use analyzer::MoveAnalyzer;
pub use detectors::*;
pub use move_resource_destruction::detect_move_resource_destruction;
pub use move_type_safety_violation::detect_move_type_safety_violation;