Romain Malmain

Make executor state available to the harness V2

6

Alternative to #1847, without changing `Executor`.

Make executor state available to the harness

18

First attempt to let the possibility to get a mutable reference to some executor-related state in the harness. It seems to work nicely on QEMU fuzzers for now. `libafl_sugar` seems...

Simple attempt to make `Emulator` accessible only by reference. related to #1757.

WIP: QEMU exit handler

2

Proposal to add a standardized exit handler when going out of QEMU. For now, it works for breakpoints and sync exit commands. It should work correctly with usermode and systemmode...

We are working on the separation of the `runtime` subdirectory into a separate repository, [symcc-rt](https://github.com/eurecom-s3/symcc-rt.git). The idea is to decorrelate the compilation of the runtime part of SymCC from SymCC...

Make the string buffer of _sym_expr_to_string externally allocated

1

For now, `_sym_expr_to_string` puts the string in an internal buffer limited to 4096 bytes. This PR proposes to let the user create the buffer and manage its size externally, to...

Fix for #53. There seems to be a linking issue with the unit tests @aurelf, can you have a look? ```bash FAILED: tests/unit/check-sym-runtime cc -m64 -mcx16 -o tests/unit/check-sym-runtime tests/unit/check-sym-runtime.p/check-sym-runtime.c.o -Wl,--as-needed...

Whenever `qemu_launcher` is built with `--enable-debug-tcg`, the CI triggers an assert: ```bash [cargo-make] INFO - Running Task: test + cd /home/runner/work/LibAFL/LibAFL/fuzzers/qemu_launcher + echo Profile: dev Profile: dev + cd injection_test...

Update to QEMU v9.0.0

4

Also, replaced VLAs in vector instructions by dynamic arrays.