SYS-OSS/FRET-LibAFL
4
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/symcc_runtime
History
Dongjia Zhang eac7307c5a
0.8.1 (#732)
2022-08-18 10:23:57 +02:00
..
src
Clippy for Cargo (#532)
2022-02-11 14:34:01 +01:00
symcc @ 5cccc33456
SymCC update (#656)
2022-05-28 01:41:43 +02:00
build.rs
Builder for CommandExecutor & Tokens Refactoring (#508)
2022-02-01 10:10:47 +01:00
Cargo.toml
0.8.1 (#732)
2022-08-18 10:23:57 +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.