Summer Code of idea

Hi,

I am sorry that just now I give the wrong URL which is a private mood.

The next URLs are right:

Update the SAFCode project to the new LLVM API
http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127038894856

Check bounds overflow bugs in C programs based on LLVM
http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t126993884556

ABCD: Eliminating Array Bounds Checks on Demand
http://socghop.appspot.com/gsoc/student_proposal/show/google/gsoc2010/easyqiu/t127047140930

Best Regards!
Qiuping

2010-04-06