[LLVMbugs] [Bug 16800] New: reference count checking for the Python/C API

[bugzilla-daemon at llvm.org]

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

            Bug ID: 16800
           Summary: reference count checking 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

Progress patch for checker.

Tbe idea behind the checker is to verify the reference count increments and
decrements on Python Objects. 
The checker will check normal objects as well as Py_None.

There is a lot of work that needs to be done here; many of the functions create
or rework dependencies between objects. These actions break any simple symbol
reference tracking.

See
http://docs.python.org/3.1/c-api/intro.html#objects-types-and-reference-counts
for details.

-- 
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/7b77237b/attachment.html>