Static type checker for Python

allows much flexibility and comfort in writing programs, but at the
price of detecting type errors only at runtime. I present a static
type checker for Python, which aims at type checking Python programs
statically. The approach handles the most commonly used subset of the
language. It is based on abstract interpretation and leads to
accurate results, with a low number of false positives and no false
negatives.