static analyzer for python