Static Analysis For Python