Python Program-analysis Resources