http://securityevaluators.com/files/papers/CrashAnalysis.pdf