alwin.berger/FRET-LibAFL
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/symcc_runtime
History
Andrea Fioraldi fdf579bcd5
Bump to 0.9.0 (#946) 
* bump to 0.9.0

* fix libafl_tinyinst

* fix

---------

Co-authored-by: Dominik Maier <domenukk@gmail.com>
2023-01-31 10:42:01 +01:00
..
src
OnDiskCorpus: Write metadata by default, metadata gzip compression (#995)
2023-01-13 01:07:36 +01:00
symcc @ a42e95e754
Book review (#980)
2023-01-04 15:21:08 +01:00
build.rs
Fix SymCC build (#952)
2022-12-19 13:48:07 +01:00
Cargo.toml
Bump to 0.9.0 (#946)
2023-01-31 10:42:01 +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.