Delitmusifier isn't handling global indirections correctly

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Delitmusifier isn't handling global indirections correctly #64

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

The delitmusifier seemingly knows how to translate foo to &foo, but not *foo to foo, causing it to emit invalid code when the litmus test references global variables by pointer.