Static Analysis

• While Python has runtime type checking, PyChecker examines type without executing a program

• PyChecker can infer type based on assignments, then check consistency of use

• PyChecker can find problems in code that rarely gets executed (e.g., error handling code)

Notes: