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 95d87bd7d8
0.14.1 (#2698) 
* 0.14.1

* fixer

* don't build nyx

---------

Co-authored-by: Dominik Maier <domenukk@gmail.com>
2024-12-02 21:06:29 +01:00
..
src
Centralize clippy lints in workspace (#2606)
2024-10-15 13:31:01 +02:00
build.rs
Move Clippy to extra CI steps (#1370)
2024-01-04 21:50:14 +01:00
Cargo.toml
0.14.1 (#2698)
2024-12-02 21:06:29 +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.