Summer code of idea

Hi,

Here are my submitted proposals, and they are still in progress.
Wellcome your comments, if you have some interest in the topics.

Update the SAFCode project to the new LLVM API
http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453367.aspx

Check bounds overflow bugs in C programs based on LLVM
http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453368.aspx

ABCD: Eliminating Array Bounds Checks on Demand
http://blog.csdn.net/yiqiuping/archive/2010/04/06/5453348.aspx

2010-04-06