2 ms·
CSmith is carefully designed to only generate fully defined programs. That obviously limits the scope of bugs it covers quite a lot, but it still managed to unc
by recursivecaveat 7y ago
CSmith is carefully designed to only generate fully defined programs. That obviously limits the scope of bugs it covers quite a lot, but it still managed to uncover quite a few. Its biggest weakness is the difficulty of minimizing and root-causing bugs.
- zellyn 7y agoregehr's posts on program minimization are quite fascinating in their own right: https://blog.regehr.org/archives/1679 https://blog.regehr.org/archives/1679