[LLVMbugs] [Bug 11123] New: Add John Regehr and Peng Li's Integer Overflow Checker (IOC) to CLang

[bugzilla-daemon at llvm.org]

http://llvm.org/bugs/show_bug.cgi?id=11123

           Summary: Add John Regehr and Peng Li's Integer Overflow Checker
                    (IOC) to CLang
           Product: clang
           Version: 2.9
          Platform: PC
        OS/Version: Linux
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Frontend
        AssignedTo: unassignedclangbugs at nondot.org
        ReportedBy: noloader at gmail.com
                CC: llvmbugs at cs.uiuc.edu


Hi All,

John Regehr and Peng Li have a nice extension for Clang called Integer Overflow
Checker (IOC). The IOC page is http://embed.cs.utah.edu/ioc/.

Its a handy utility, and pinpointed the cause of a self test failure in the
Crypto++ library.

Please consider adding IOC to Clang.

Jeffrey Walton
Baltimore, MD, US

(My apologies for mis-classification of the component if its not frontend)

-- 
Configure bugmail: http://llvm.org/bugs/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.