[PATCH] Adding new checker idea to clang-analyzer www

Todd Nowacki nowacki724 at gmail.com
Tue Jul 30 13:39:44 PDT 2013


I added a checker idea to the "Possible Future Checkers".

The checkers would check various aspects of the Python/C API. see
http://docs.python.org/3.1/c-api/index.html

One checker would ensure that the format string given to the functions for
parsing arguments and building values (Py_BuildValue, PyArg_ParseTuple,
etc.)
is not malformed and matches the arguments given.

The other would check that objects are freed objects are not used and that
objects are freed when no longer in use. It would also ensure that correct
use of Py_INCREF, Py_DECREF, Py_XINCREF, and Py_XDECREF in various
circumstances.

-Todd Nowacki
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130730/23be0860/attachment.html>
-------------- next part --------------
A non-text attachment was scrubbed...
Name: checkerIdea.patch
Type: application/octet-stream
Size: 2485 bytes
Desc: not available
URL: <http://lists.llvm.org/pipermail/cfe-commits/attachments/20130730/23be0860/attachment.obj>


More information about the cfe-commits mailing list