Python static analyzer