GitHub repository: sfu-rsl/leaf
Primary language: Rust
Created: 2025-01-02T20:42:10Z
Description: Concolic execution for Rust through MIR instrumentation.