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
yiqiuping1986
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20100406/7b05f769/attachment.html>
