Fuzzer action: random labels/dead gotos

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

13 stars 1 forks source link

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 4 years ago

A two parter: it'd be nice to have:

[ ] support in the fuzzer state for tracking which functions have which labels and what their names are;
[ ] an action that inserts random labels into a thread, registering them with the above state;
[ ] an action that inserts dead-code gotos to random labels collected above.

MattWindsor91 commented 4 years ago

This is done now.