Semantic Bug Detector

Detect semantic bugs that pass compilation and linting but produce incorrect behavior at runtime. This skill covers logic flow analysis, type confusion detection, off-by-one error detection, null safety analysis, race condition identification, and invariant violation detection.

When to Use This Skill

Use this skill when you need to:

• Review code for logic errors that compilers and linters cannot catch
• Identify off-by-one errors in loops, array accesses, and boundary conditions
• Detect null/undefined safety issues before they cause runtime crashes
• Find type confusion bugs where values are silently coerced or misinterpreted
• Identify race conditions and concurrency bugs in multi-threaded or async code
• Verify that code invariants (preconditions, postconditions, loop invariants) are maintained
• Audit code for incorrect assumptions about data formats, ranges, or ordering

Trigger phrases: "check for logic errors", "find semantic bugs", "detect off-by-one", "null safety review", "race condition detection", "find logic flaws", "check invariants", "semantic analysis", "detect concurrency bugs"

What This Skill Does