Share irrelevant statement cleanup between sanitiser and explainer

c4-project / c4f

The C4 Concurrent C Fuzzer

MIT License

14 stars 1 forks source link

Share irrelevant statement cleanup between sanitiser and explainer #13

Closed MattWindsor91 closed 6 years ago

MattWindsor91 commented 6 years ago

Sometimes it's quite hard to see what the explainer is doing, since its output contains a lot of directives, dead code, etc. from the original assembly. It might be nice to export a subset of the sanitiser passes for use on the explainer, so it can trim down the result.

MattWindsor91 commented 6 years ago

Fixed in 84182ec82495d0fe5a2a750e2c1da2c01e9df500.