mirsa-domains-0.2.0

docs.rs

Rust

mirsa-domains 0.2.0

Abstract interpretation domains for mirsa

Crate
Source
Builds
Feature flags

..
abstract_value.rs
condition_path.rs
engine.rs
mod.rs
sign.toml
state.rs
transfer.rs

# Sign analysis engine config
max_paths = 10
max_iterations = none