Static Type Analysis of Python Programs: A Type Abstract Domain for Python


Python is an increasingly popular dynamic programming language, which is particularly used in the scientific community, and well-known for its powerful and permissive high-level syntax. The goal of this PhD is to develop static analyses for Python, i.e. to detect automatically uncaught exceptions in programs without running them. The current focus is to detect type and attribute errors using a type analysis.

Porto, Portugal