PV2 ⊧ Typpeteinfers type annotations for Python programs

Automatically infers Python 3 type annotations

Application domain/field

• Type inference
• Type annotations

Type of tool

Type inferer

Expected input

Program

Format:

(large subset of) Python 3

Expected output

Program with type annotations, a type error, or an error indicating use of unsupported language features.

Internals

Typpete automatically infers sound (non-gradual) type annotations for Python 3 programs. It can be used as a preprocessor for other analysis or verification tools. Uses Z3.