[LLVMdev] summer of code idea — checking bounds overflow bugs

[John Regehr]

> SAFECode has both capabilities.  The complete array bounds checking 
> described in the ICSE paper is an option.

Thanks Vikram, this is great to hear.

This would be super useful as a part of mainline LLVM.  I'm happy to help 
with testing and mentoring for any effort to get this integrated.

> pointer checks; but (c) does not use Automatic Pool Allocation, so it 
> does not guarantee the soundness of pointer analysis.

As far as I'm concerned, unsound analysis is only a problem if it may lead 
to erroneous compilation of conforming programs.

John