enlighten5

[INFO] syncConstraints: Incorrect constraints are inserted

2

Hi! I noticed that when running SymQEMU, the following error shows up in the log. `[INFO] syncConstraints: Incorrect constraints are inserted` Any idea about what's the reason and how to...

The program stops at "successfully loaded images"

7

the program stops there and exits, could you please tell me what's wrong and how to fix it? THX!

Missing "address-of" operator & in arm_reg_ptr function.

2

It looks to me that the arm_reg_ptr function is getting the reference of arm registers, but the reference operator & is missing when handling registers from R0 to R12 and...

fix symbolic helper for sextract_i64

1

It looks to me that this symbolic handler should be gen_helper_sextract_i64.

QEMU does not update the pc within a basic block at runtime. Specifically, 1. Instructions in one basic block will have the same pc as the first instruction. 3. Blocks...

Questions about the results in incidents_profile.txt

1

Hi, This is a very interesting work! I tried some simple binaries with it and have some questions about interpreting the results. I was wondering what do s2, s3, and...