[LLVMdev] summer of code idea— checking boun ds overflow bugs
Adve, Vikram Sadanand
vadve at illinois.edu
Thu Apr 1 12:33:42 PDT 2010
On Mar 31, 2010, at 7:56 PM, yiqiuping1986 wrote:
Did you mean implementing a new static array bouns checking algorithm
with SAFECode is a better idea than that with LLVM?
I am not sure whether it's feasible to finish it within a summer, under the
condition that I have little knowledge of SAFECode project.
SAFECode is built as a set of LLVM passes, so there is no difference. E.g., Dinakar's earlier work that John mentioned is an LLVM pass used by SAFECode.
Associate Professor, Computer Science
University of Illinois at Urbana-Champaign
More information about the llvm-dev