Clang's scan-build re-implementation in python