alwin.berger/FRET-LibAFL
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/test
History
Marco C. eb2ac10d1e
Libafl workspace internal deps in workspace Cargo.toml (#2691) 
* Add internal deps to workspace

* libafl: use workspace internal deps

* libafl_bolts: use workspace internal deps

* 0.14.0

* use workspace internal deps
2024-11-15 18:13:39 +01:00
..
dump_constraints
Libafl workspace internal deps in workspace Cargo.toml (#2691)
2024-11-15 18:13:39 +01:00
runtime_test
Use version.workspace (#2682)
2024-11-12 15:45:35 +01:00
.gitignore
Concolic Tracing (#160)
2021-08-05 13:22:00 +02:00
expected_constraints.txt
Update and fix concolic support (#901)
2022-11-19 23:05:15 +01:00
if_test_input
Concolic Tracing (#160)
2021-08-05 13:22:00 +02:00
README.md
Documentation and Refactors for Concolic (#243)
2021-08-05 15:01:14 +02:00
smoke_test_ubuntu_deps.sh
Concolic Tracing (#160)
2021-08-05 13:22:00 +02:00
smoke_test.sh
Symcc Update (#2047)
2024-04-23 13:34:46 +02:00

README.md

This folder contains all the code necessary to run a smoke test of the whole concolic tracing setup. This is achieved by

  1. Compiling SymCC. Dependencies are installed via smoke_test_ubuntu_deps.sh.
  2. Compiling a custom runtime with tracing capability (runtime_test).
  3. Compiling a test program using SymCC that instruments using the custom runtime.
  4. Capturing an execution trace of the instrumented target using dump_constraints and a fixed input (if_test_input).
  5. Snapshot-testing the captured trace against our expectation (expected_constraints.txt).

This whole process is orchestrated by smoke_test.sh.