A Python Program Analysis Infrastructure to Facilitate Better Data Processing

A powerful Python analysis infrastructure to support the three most popular kinds of analyses: static, dynamic and symbolic, just like LLVM for C/C++ and KLEE for C. This infrastructure will enable many researches across multiple CISE areas such as software engineering, programming languages, machine learning, AI and data science. With Python being the number one language in ML and data science, the infrastructure will stimulate exciting new research in improving data processing effectiveness, reliability, stability, and efficiency.