symcc_runtime
| Crates.io | symcc_runtime |
| lib.rs | symcc_runtime |
| version | 0.15.3 |
| created_at | 2021-08-20 07:50:14.67181+00 |
| updated_at | 2025-05-29 16:52:30.170052+00 |
| description | Build Concolic Tracing tools based on SymCC in Rust |
| homepage | |
| repository | https://github.com/AFLplusplus/LibAFL/ |
| max_upload_size | |
| id | 439900 |
| size | 90,530 |
AFLplusplus (aflpp)
documentation
https://docs.rs/symcc_runtime
README
SymCC Concolic Tracing Runtime Rust Bindings
This crate allows you to build custom runtimes for SymCC. See the documentation for details.