e9e9c457d6
* sort memebers * Building bolts * fixing python, feature flags * Cleanup bolts Cargo.toml * Fix tests * cleanup libafl * removed duplicate examples * Info text * reenable agpl CI * fix impl_serdeany * new fmt * Moved bolts * fix some builds * fix * fix more fixes * serdeany * no_std * Dependency cleanup * Fix docs * Docker * add python bolts bindings * no_std test fix * merge fail * typo fix * add bolts dependency to fuzzers * tiny fixes * merge fun * clippy * link no longer exists * make sure python gets rebuilt * fix pybind * doc fix * remove bolts ref * LibAFL bolts * More info * deprecation notice for launcher * fix python * cargo fmt * fix concolic * fix * clippy * fix libafl_cc * fix tutorial, clippy * fix concolic fuzzer * fix push_stage_harness fuzzer * prelude * fix testcase post-merge * mute clippy
This folder contains all the code necessary to run a smoke test of the whole concolic tracing setup. This is achieved by
- Compiling SymCC. Dependencies are installed via
smoke_test_ubuntu_deps.sh. - Compiling a custom runtime with tracing capability (
runtime_test). - Compiling a test program using SymCC that instruments using the custom runtime.
- Capturing an execution trace of the instrumented target using
dump_constraintsand a fixed input (if_test_input). - Snapshot-testing the captured trace against our expectation (
expected_constraints.txt).
This whole process is orchestrated by smoke_test.sh.