Python trace analyzer for ISSTA