alwin.berger/FRET-LibAFL
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
FRET-LibAFL/libafl_concolic/test
History
lazymio 0e9dfd62ee
LetForkserverExecutor being Send (#3242) 
* Implement `Send` for `Shm`

it is safe because we take the ownership of the inner map pointer. Only potential
violation is deref the underlying pointer but that’s already unsafe. Therefore,
the properties of Send still hold within the safe world.

* Bump 1.87

* use std::io::pipe so that they are `Send`

* clippy

* upgrade

* Avoid phantomdata to make ForkserverExecutor !Send

* Missing gates

* Fix nostd

* bump in Dockerfile

* use dtolnay/rust-toolchain@stable instead

* setup latest toolchain on non Linux

* Fix typo
2025-05-17 14:45:08 +02:00
..
dump_constraints
Rust 2024 edition (#3022)
2025-02-27 00:12:29 +01:00
runtime_test
LetForkserverExecutor being Send (#3242)
2025-05-17 14:45:08 +02: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.