rapx 0.6.252

A static analysis platform for use-after-free, memory leakage detection, etc
Documentation 
1
2
3

pub mod abstract_state;
pub mod property;
// pub mod state_lattice;