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 c415b4d5f6
0.13.0 (#2253) 
* 0.13

* z3

* capstone

* fixer

---------

Co-authored-by: Dominik Maier <domenukk@gmail.com>
2024-06-13 23:35:35 +02:00
..
src
Fix cfg uses across codebase (#2154)
2024-05-08 14:31:10 +02:00
build.rs
Move Clippy to extra CI steps (#1370)
2024-01-04 21:50:14 +01:00
Cargo.toml
0.13.0 (#2253)
2024-06-13 23:35:35 +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.