invariant-hunter-go

What problem does it solve?

Audit Go code for weak invariants — unchecked errors, nil pointer risks, ignored context cancellation, unsafe type assertions, zero-value traps, panic/recover misuse, and missing validation at construction boundaries.

Core Features & Use Cases

• Detect unchecked errors and discarded results to ensure every error is handled or justified.
• Validate nil-safety across constructors, API boundaries, and data flows to prevent nil dereference panics.
• Enforce construction-boundary validation so defaults and invariants are established early in object lifecycles.
• Identify risky type assertions and improper context cancellation in long-running or I/O-heavy paths.
• Document and guide remediation with actionable findings to raise overall safety discipline.

Quick Start

Run a targeted Go code audit to surface invariant violations and unsafe error handling, then prioritize fixes across constructors and boundaries.