alwin.berger/FRET-LibAFL
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/test/README.md
julihoh 704830a501
Documentation and Refactors for Concolic (#243) 
* document symcc_runtime

* rename serialization format expressions to be more concise

* authorship notes

* document dump_constraints

* document smoke test

* tests for serialization format and refactoring

* remove unused bswap message

* remove obselete SymExpr::End

* document and refactor serialization format

* fmt

* more missing docs

* typos

* clippy
2021-08-05 15:01:14 +02:00

626 B
Raw Permalink Blame History

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.