Solve binary inputs symbolically with radare2 break and avoid points.
npx skills add https://github.com/radareorg/radare2-skills --skill radius2
Please help me install this Agent Skill. Skill: radius2 Source: https://github.com/radareorg/radare2-skills/tree/main/radius2/radius2 Command: npx skills add https://github.com/radareorg/radare2-skills --skill radius2
Finding the exact input that drives a binary to a specific “good” behavior (and avoids “bad” behavior) is slow when you only have to try possibilities manually.
Ask the AI to solve your crackme by running radius2 on the target binary, defining the symbolic stdin variable, and using an avoid string to eliminate the failure path (e.g., Incorrect).
High-intent search queries and answers about installing and using this skill.
To symbolically solve binary inputs, you define symbolic variables for stdin or argv, set break targets for desired paths, and let the solver compute exact values that satisfy program conditions. You avoid failure paths by specifying strings or addresses to prune.
Symbolic execution helps solve CTF flag checkers by treating input as symbolic variables and applying path constraints. You constrain expected flag formats like prefixes or printable ranges, and the solver derives the exact input reaching the success condition while avoiding failure paths.
Yes, you can apply byte-level constraints, set registers and memory, and merge states for loop-heavy binaries. This allows you to guide execution with string or address break points and generate test cases for solved symbol values.
The best way to prune undesired execution paths is to use avoid targets. By specifying strings or addresses associated with failure behavior, you guide the symbolic solver to skip those paths and focus only on reaching desired code.
Yes, radius2 requires a radare2-backed execution workflow to perform symbolic execution and binary analysis. It accepts symbolic variables, optional constraints, and produces solved symbol values, optionally in JSON format, for reaching desired code paths.
philo-grovesAutomate binary reverse engineering tasks using radare2 and Python scripts.
alicangnllModify binary code behavior via natural language instructions with IDA Pro or Binary Ninja.
2389-researchAnalyze binary structure and decompile functions with radare2 and Ghidra headless.
ArabelaTsoPerforms symbolic execution analysis on code to detect errors and generate test inputs.
