PyFlow: An Inter-procedural Static Analysis Framework for Python

Zinan Gu, Haoxiang Yan, Peisen Yao

Static program analysis infers program properties automatically. Yet precise interprocedural analysis remains challenging, and dynamically typed languages amplify the difficulty. P…