BinaryAnalysisPlatform/bap

Bugs found on recipes

anzosasuke opened this issue · 0 comments

I tried two different recipe on this binary. primus-checks and use-after-free.
xz_s.zip

I got the error as this:

[00:00:00]  disassemble: 100% (5/5)
[00:02:08]  primus-greedy:  99% (820/825)
[00:02:09]  primus-mark-visited:  17% (1292/7304)
[00:02:13]  run:   0% (0/1)
[00:02:08]   multi-task-job:  13% (144/1095)
The pass "run" failed with:
Bitvector.extract: len 0 is negative


log file
log.zip