What tools are available for static code analysis in Python/Cython?
For example for every bitset_init(SOMETHING, ...) there must be a bitset_free(SOMETHING). A tool could check the code assuming that every expression in if-clause is either true or false, and look if there is a path where the function ends without bitset_free. I suppose that someone has already done something like that.
-- Jori Mäntysalo