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

[John Regehr]

Qiuping,

Have you looked at what has already been done?  I would expect that taking 
previous work such as this:

   http://llvm.org/pubs/2006-05-24-SAFECode-BoundsCheck.html

and integrating into current LLVM would be a better idea than starting 
over.

John


On Tue, 30 Mar 2010, ??? wrote:

> 
> Hi,
> 
> Some days ago I am interested in detecting undefined behaviors
> 
> in C programs based on Clang. After several days? investigation, I think
> 
> checking bounds overflow bugs is more interesting, because bounds
> 
> overflow is one of the most frequently encountered errors in C programs.
> 
> For example, performing pointer arithmetic without checking bounds
> 
> can cause bounds overflow. To increase the accuracy of finding bugs,
> 
> I want to write several passes, based on slicing, inline and summary
> function
> 
> / (partial) transition function, to implement intre-procedural analysis.
> 
> Does some person have interest in the project? I need a mentor,
> 
> and wait for your reply.
> 
>  
> 
> Best Reagards!
> 
>  
> 
> Qiuping Yi
> 
> 
>