Stopping Runtime Type Errors with mypy Static Analysis
Stop runtime TypeErrors before they hit production. Learn how to use mypy for static type checking in Python, including gradual typing and CI/CD integration.
ReadMeFeed / Community knowledge
Real questions. Useful conversations. Find the people who know your stack.
Stop runtime TypeErrors before they hit production. Learn how to use mypy for static type checking in Python, including gradual typing and CI/CD integration.
Learn how to turn on C# 8.0 nullable reference types, interpret compiler warnings, and safely suppress or promote them in a real .NET codebase.
Learn how to write a custom ESLint rule that blocks imports from forbidden directories, handles relative paths, TypeScript aliases, and flat config, with example tests and performance tips.
Nullable reference types move null bugs from runtime to build time — but enabling them naively floods legacy code with warnings. Compare the enablement modes and adopt them incrementally.
Qodana's failureConditions in qodana.yaml let you cap problems by severity so the CI job fails and the merge is blocked when limits are exceeded.
Architecture note on IntelliJ IDEA's built-in static analysis: how the daemon engine reuses PSI for incremental in-editor feedback, trust boundaries for profiles and plugins, observable operational metrics, and failure modes that trigger redesign.
GCC's -fanalyzer catches double-free and use-after-free bugs that -Wall misses. A worked example shows how it traces feasible paths across branches, plus practical advice on CI integration, false-positive triage, and combining with AddressSanitizer.
Navigating the landscape of code analysis tools requires distinguishing between static analysis and coverage to avoid tooling ambiguity and warning fatigue.
Learn how to run Qodana in a Docker container, configure severity thresholds in .qodana.yml, generate SARIF reports, and automatically fail CI jobs when critical issues appear.