[LLVMbugs] [Bug 16798] New: checking format strings for the Python/C API

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16798
           Summary: checking format strings for the Python/C API
           Product: clang
           Version: unspecified
          Hardware: PC
                OS: All
            Status: NEW
          Severity: enhancement
          Priority: P
         Component: Static Analyzer
          Assignee: kremenek at apple.com
          Reporter: nowacki724 at gmail.com
                CC: llvmbugs at cs.uiuc.edu
    Classification: Unclassified

Created attachment 10987
  --> http://llvm.org/bugs/attachment.cgi?id=10987&action=edit
Proposed implementation

Progress patch for checker

The checker should be able to check that the format string is well formed
(matching parens, no unexpected characters, etc.), and should check that the
arguments given fit the type specified in the format string.

At this time, there is no way to check the types for a variable argument list.

-- 
You are receiving this mail because:
You are on the CC list for the bug.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/llvm-bugs/attachments/20130805/ed887e93/attachment.html>