find_constraints
Extract comparisons, conditional branches, and string references from a function to identify success/fail paths, simplifying crackme and CTF challenge analysis.
Instructions
Extract comparisons, conditional branches, string references, and success/fail paths from a function — ideal for crackme and CTF challenge analysis.
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| address | No | Hex address of the function (e.g. "0x08048000") | |
| binary_path | Yes | Absolute path to the binary file | |
| scan_callees | No | Also scan functions called from this function for constraints | |
| function_name | No | Name of the function to analyze (e.g. "main") |