search

c4-project / c4f

The C4 Concurrent C Fuzzer
MIT License
14 stars 1 forks source link

(New pathing) Dead stores aren’t constructing properly #193

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

Since the new pathing code was added, some fuzzer runs are crashing because the store-dead action is activating but unable to construct paths into dead code to use.

This suggests the path producer or consumer isn't applying block metadata properly.

Needs a bit more exploration to work out precisely what is going on here.

MattWindsor91 commented 4 years ago

This seems to be working ok now, but it might just be silently failing 🙃