summer_of_code_idea_—_checking_bounds_overflow_bugs

John,

Many thanks for your prompt reply!
You think it a better idea than a new implementation of bounds overflow checking, that integrating previous work such as this:
http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html
into current LLVM.
Yes?

在 2010年3月31日 下午12:11,John Regehr <regehr@cs.utah.edu>写道: