SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/symcc_runtime
History
Andrea Fioraldi e8d99b9975
Fix capsone mode in LibAFL QEMU (#1136) 
* Use regex feature in libafl_qemu

* wip

* set mode for arm reading pc

* fixes
2023-03-12 23:29:55 +01:00
..
src
OnDiskCorpus: Write metadata by default, metadata gzip compression (#995)
2023-01-13 01:07:36 +01:00
symcc @ 5cccc33456
Fix capsone mode in LibAFL QEMU (#1136)
2023-03-12 23:29:55 +01:00
build.rs
Fix SymCC build (#952)
2022-12-19 13:48:07 +01:00
Cargo.toml
Update deps for libafl (#1042)
2023-02-06 12:24:42 +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.