[cfe-dev] GSOC Static Analyzer Proposal

[John Regehr]

> 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.

John