c4-project / c4f

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

Fuzzer action: surround loop-safe statements in arbitrary well-behaved loop #213

Closed MattWindsor91 closed 3 years ago

MattWindsor91 commented 4 years ago

Once we have #211, we can do things like inserting:

int i = 0;

for (i = 0; i < 4 /* random small positive int */; i++) {
  // loop-safe statements here
}

This would also serve as a very good way to find fuzzer actions that are not loop-safe :D

MattWindsor91 commented 3 years ago

This is done, but needs some tweaking as it seems to keep triggering run timeouts.