ailogic

What problem does it solve?

This skill helps you uncover logic bugs that compilers won’t catch in C code by scrutinizing control flow, state transitions, and unchecked assumptions within radare2 workflows.

Core Features & Use Cases

• Control-flow driven auditing: Disassembles functions and traces every branch to spot missing cases, inverted conditions, early-return cleanup gaps, and fallthrough hazards.
• State and loop integrity checking: Verifies variable initialization/mutation/consumption, detects stale state across calls, and catches off-by-one and non-terminating loop patterns.
• Error-path and assumption validation: Ensures return values and IO/parse outcomes are checked on all paths, and flags silent assumptions (e.g., non-empty lists, NUL-terminated buffers).
• Actionable reporting workflow: Produces an append-only, dated report that structures findings into task blocks with severity and fix guidance.

Quick Start

Use the ailogic skill to audit a suspected radare2 C function by tracing its control flow and state usage, validating all error paths, and outputting an append-only report (default: ailogic-report.md).