alwin.berger/FRET-LibAFL
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/symcc_runtime
History
Dongjia "toka" Zhang 78060ea308
0.11.2 (#1735)
2023-12-18 14:33:14 +01:00
..
src
Update LibAFL concolic (#1634)
2023-10-22 13:44:01 +02:00
build.rs
Remove dependencies, add doc.rs metadata (#1450)
2023-08-24 11:34:38 +02:00
Cargo.toml
0.11.2 (#1735)
2023-12-18 14:33:14 +01:00
README.md
prepare concolic support crates for publishing to crates.io (#250)
2021-08-06 17:49:57 +02:00

README.md

SymCC Concolic Tracing Runtime Rust Bindings

This crate allows you to build custom runtimes for SymCC. See the documentation for details.