Static analysis tool that detects errors in Python code without importing it.