alwin.berger/FRET-LibAFL
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/symcc_libafl
History
Dongjia "toka" Zhang 02cd260af0
Update LibAFL concolic (#1634) 
* concolic upd

* more

* working

* clippy

* rev

* fix

* remove cur_input

* rev

* gitignore
2023-10-22 13:44:01 +02:00
..
src
Update LibAFL concolic (#1634)
2023-10-22 13:44:01 +02:00
Cargo.toml
Introduce document-features feature (#1477)
2023-08-29 12:40:35 +02:00
README.md
Fixing CI from #559 (#580)
2022-03-29 14:57:38 +02:00

README.md

This is a support crate for symcc_runtime. It defines a stable URL and commit hash for the LibAFL fork of SymCC. It also provides convenient methods to clone and build SymCC to be used in build scripts in LibAFL-based fuzzers.

Documentation