3 ms·
This makes zero sense to me. Where would this be beneficial? Why not just fuzz inputs if this is your goal?
by ZoF 11y ago
This makes zero sense to me. Where would this be beneficial?
Why not just fuzz inputs if this is your goal?
- tacostakohashi 11y agoThat's what this is, keeping in mind that the compiler's implementation of undefined behavior is an input that should be fuzzed. Think of, say, integer overflow. The problem is that typical compilers have a consistent (but non-standard) implementation, so it can't be fuzzed without some compiler help.
- deleted 11y ago[deleted]
- ufo 11y agoTests can show the presence of bugs but not their absence. The idea here is to create a compiler for C (or perhaps a C dialect) so that nasty undefined behavior is guaranteed to not occur.