[cfe-dev] GSOC Static Analyzer Proposal
regehr at cs.utah.edu
Fri Apr 12 14:09:11 PDT 2013
> One reasonable heuristic for detecting issues here would be to provide a mechanism to randomize the
> evaluation order (subject to the sequencing rules and with a seed for debugability), and then either
> (a) just run the tests for the program, or (b) run the program in parallel with multiple different
> orders and check that the "observable behavior" (library IO calls, etc) is the same.
This isn't hard and should definitely be done.
There are most likely other unspecified behaviors where some optional
randomization would be easy and useful.
More information about the cfe-dev