rapx 0.7.35

A static analysis platform for Rust program analysis and verification
1
2
3
4
5
6

mod call_visit;
pub mod types;
mod visitor;

pub use types::{BackwardItem, ForgetReason, KeepReason, RelevantMirItems};
pub use visitor::BackwardSlicer;