alwin.berger/FRET-LibAFL
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/test
History
Dominik Maier e8b3d33bf4
Update dependencies, removed unused deps, CI fixes (#839) 
* update clap, remove unused deps

* update grammartek

* update pyo3

* update pyo3

* undid clap update

* not changing nyx

* updated deps

* Update more deps, fixes

* not needed clippy

* fix windows

* try to enable deprecated pyproto for pyo3

* unused

* moving some things to clap4 after all

* initial move to clap 4

* fix clap

* more clap4, removed accidental file

* fixes, fmt

* fix

* all fix no play

* fix
2022-10-18 20:36:43 +02:00
..
dump_constraints
Update dependencies, removed unused deps, CI fixes (#839)
2022-10-18 20:36:43 +02:00
runtime_test
Clippy for Cargo (#532)
2022-02-11 14:34:01 +01:00
.gitignore
Concolic Tracing (#160)
2021-08-05 13:22:00 +02:00
expected_constraints.txt
add ability to trace location information in concolic tracer (#322)
2021-10-11 13:31:16 +02: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
Fixing CI from #559 (#580)
2022-03-29 14:57:38 +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.