Add more malleable C program representation

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Add more malleable C program representation #57

Closed MattWindsor91 closed 5 years ago

MattWindsor91 commented 5 years ago

When we come to fuzz C programs, the full C89-ish AST in C.Ast is going to be very difficult to work with. I propose that we have a more semantic, miniature representation that captures exactly the working subset of C act deals with.

This'll need some thought to work out exactly what that subset is, and the best representation to use when fuzzing.

MattWindsor91 commented 5 years ago

This is C.Mini—while it'll need a lot of work to get it into a fuzzable shape, it seems to work ok for things like de-litmusification.