Fuzzer generates C identifiers that shadow Litmus harness macros

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Fuzzer generates C identifiers that shadow Litmus harness macros #139

Closed MattWindsor91 closed 4 years ago

MattWindsor91 commented 5 years ago

The most obvious example is N.

My intended fix for this is to change the generator used by the fuzzer to produce names generated by combining a pool of words or syllables. This'll both ensure that the names are distinct enough to stop the shadowing, and make them more amenable to human discussion 'that variable frondleburger is causing issues'.

MattWindsor91 commented 5 years ago

This has come up again!

MattWindsor91 commented 4 years ago

N strikes again! At this stage, I really should fix this.