secrust 0.1.0-alpha.3

A Rust crate for source-level verification using Weakest Precondition calculus.
Documentation
1
2
3
4
5
6
7
8
9
10
11
pub mod builder;
mod find_paths;
mod handle_call;
mod handle_condition;
mod handle_loops;
mod handle_macros;
mod handle_return;
pub mod node;

pub use builder::CfgBuilder;
pub use node::*;