Summer Code of idea

[yiqiuping1986]

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://socghop.appspot.com/gsoc/student_proposal/private/google/gsoc2010/easyqiu/t127038894856

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

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

2010-04-06

[me22]

As suggested by the word "private" in the links, I can't open them,
and I suspect others can't either.