On Thursday, 14 April 2016 at 01:49:03 UTC, Walter Bright wrote:
I'd be interested if you can give an overview of the existing tools/techniques for dealing with this.
A combination of time-consuming boring manual reviews (over and over again) and time-consuming calls to QAC++. There may be more I'm not yet aware of or have forgotten :)
