eurecom-s3 / symqemu

SymQEMU: Compilation-based symbolic execution for binaries

http://www.s3.eurecom.fr/tools/symbolic_execution/symqemu.html

eurecom-s3/symqemu Issues

Support for target riscv64-linux-user
Updated 5 months ago4
[Feature] ARM full-system mode
Updated 5 months ago5
symqemu can not run normally on program which call mmap to read file
Updated 10 months ago
Segmentation fault when commenting a tcgv_i64_expr_num
Updated a year ago
make error
Updated a year ago
Setcond handling
Updated a year ago3
PC/eip is not updated within a basic block
Updated a year ago
Muluh symbolic value is concretized
Updated a year ago1
Symbolization of QEMU helpers with SymCC
Updated a year ago1
sym_load_guest_internal does not distinguish signed and unsigned values
Updated a year ago1
Wrong site_id in notify BB
Updated a year ago1
Concretize the result of CLZ and CTZ
Updated a year ago
Compilation fails
Closed a year ago2
the file where you integrate Symbolic execution
Updated a year ago1
nil pointer of _sym_expr
Closed 2 years ago1
recipe for target 'tcg/tcg.o' failed
Closed 2 years ago2
The idv/idiv instruction is not handled correctly
Updated 3 years ago
Missing arithmetic operations in constraints
Updated 3 years ago
wrong symbolic branch address used in backend
Updated 3 years ago
wrong basic block address used in backend
Updated 3 years ago
build failed
Updated 3 years ago2
please provide a Dockerfile
Closed 3 years ago4
atoi() is not solved
Updated 3 years ago1
[INFO] syncConstraints: Incorrect constraints are inserted
Updated 3 years ago2
Using LD_LIBRARY_PATH
Updated 3 years ago3
Cannot compile with gcc-10/9
Updated 3 years ago5
GPL-v3-or-later license on new files is incompatible with GPL-v2-only license of some existing QEMU files
Closed 3 years ago1