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>写道：