ret2dir

sym_load_guest_internal does not distinguish signed and unsigned values

1

We found that the `movsx` assembly instruction is not correctly translated by syqemu. More specifically, the `movsx` istruction copies the contents of the source operand to the destination operand with...

We found a possible bug while using symqemu to execute following program: ```C #include #include "csmith.h" /* --- GLOBAL VARIABLES --- */ static uint16_t g_5[4] = {2,2,6,2}; static int16_t g_81...

Hi, we tried to execute a simple program with symqemu: ```C++ #include #include static int8_t g_36 = 0; static uint16_t g_431 = 3; static int16_t func_20(); static int32_t func_1() {...

PR for issue #85

Dear developers, Recently, when I ran symcc on the following program, trying to explore the two paths given the input `g_617 = 32`, symcc cannot successfully finds the case where...

PR for issue https://github.com/eurecom-s3/symcc/issues/83

Symcc fails to generate new inputs when there is a xor operation

2

Dear developers, I've learned that Symcc will instrument function `_sym_push_path_constraint` before each branch to capture the concrete execution state and further negate current constraints to generate new inputs. The second...