Jori Mäntysalo
2018-12-03 07:30:35 UTC
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.
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
Jori Mäntysalo