SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/symcc_runtime
History
julihoh 7581885d52
prepare concolic support crates for publishing to crates.io (#250) 
* prepare concolic support crates for publishing to crates.io

* provide some bare-bones READMEs
2021-08-06 17:49:57 +02:00
..
src
fix warnings hopefully (#245)
2021-08-05 21:57:47 +02:00
build.rs
Separate symcc crate (#244)
2021-08-05 21:57:39 +02:00
Cargo.toml
prepare concolic support crates for publishing to crates.io (#250)
2021-08-06 17:49:57 +02: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.