Closed cube0x8 closed 4 months ago
it looks good thanks
can you mark you changes between the begin and end libafl code markers? like here https://github.com/AFLplusplus/qemu-libafl-bridge/blob/fd6a2f3cce4b0de2ad48703f7c93f9813c96b12c/linux-user/elfload.c#L3316
Yes, there are also other modifications that need to be pushed. I will push them soon
First coarse attempt at resolving #52. It fixes the bug for me, no more infinite loop.
I added an additional flag when creating a new edge, which is later checked in
tb_jmp_unlink
to verify if we're unlinking an edge. In case, we calltb_reset_edge
(this can actually be a recursive call attb_jmp_unlink
, but I didn't want to complicate it too much for now) and unlink the edge from its predecessor.@andreafioraldi @rmalmain if you think it makes any sense, I can improve it.