Analyze C control flow and state transitions with radare2 to identify logic defects.
npx skills add https://github.com/radareorg/radare2-skills --skill ailogic
Please help me install this Agent Skill. Skill: ailogic Source: https://github.com/radareorg/radare2-skills/tree/main/dev/ailogic Command: npx skills add https://github.com/radareorg/radare2-skills --skill ailogic
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.
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).
High-intent search queries and answers about installing and using this skill.
You can find logic bugs in C code by using radare2-driven static inspection to scrutinize control flow, state transitions, and unchecked assumptions. This approach traces every branch and validates error paths to uncover silent defects that compilers typically miss.
Auditing error handling in radare2 C functions involves validating return values and IO or parse outcomes across all execution paths. The analysis flags silent assumptions like unchecked non-empty lists and NUL-terminated buffers to ensure proper boundary handling.
Yes, radare2 can detect off-by-one errors and loop integrity issues by verifying variable mutation and consumption. It analyzes state transitions across calls to catch non-terminating loop patterns and stale state within C code.
Vulnerability triage in C code is best performed through control-flow driven auditing that disassembles functions and traces branches. This identifies missing cases, inverted conditions, and fallthrough hazards backed by reproducer-oriented reasoning and code evidence.
Yes, this approach generates an append-only, dated report that structures C code auditing findings into task blocks. Each finding includes severity gating and fix guidance, providing an actionable workflow for identified logic defects.
2389-researchAnalyze binary structure and decompile functions with radare2 and Ghidra headless.
Objective-ArtsReview source code with Gemini AI and report issues by severity.
not-matthiasAnalyze binary code with Rizin and Radare2 to reveal functions, CFGs, and disassembly.
Chang-Shih-YungAggregate type checker, linter, and test results into a 0-10 composite score.
