When some workers are STALLED, the value of CurExec is wrong
Open
- Dominant language
- Makefile
- Stars
- 814
- Forks
- 109
- PR merge metrics
- No merged PRs in 30d
Description
There is a problem with kAFL's status update. When a node is displayed as STALLED, CurExec still calculates it. As shown in the figure, the status of worker 1 2 3 is displayed as STALLED. CurExec should be the value of worker 0, not the fixed value of worker 1 2 3 plus the current value of worker 0.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.