c4-project / c4f

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

Fuzzer action: While-false #185

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

Basically a form of dead code generation, and seemingly quite a low-hanging fruit that we haven't yet implemented.

This would insert, literally,

while (randomFalse) { /* dead code */ }