$ loading_
通过 angr 执行符号执行、控制流图与到达定义分析,辅助二进制安全研究。
复制安装指令,让 AI 自动完成配置 · 推荐新手
"re-angr" 暂无可直接复制的安装信息,请查看页面文档或源码仓库。
请用 re-angr 对这个 ELF 可执行文件生成控制流图,标出主要函数、可疑分支和不可达代码,并给出简要分析结论。
返回控制流图分析结果,说明关键函数关系、异常分支与潜在风险点。
请使用 re-angr 对该二进制进行符号执行,尝试找出触发隐藏成功路径或错误分支的输入条件,并解释路径约束。
给出可满足的输入约束、对应执行路径,以及对分支触发逻辑的解释。
请用 re-angr 对目标函数做 reaching-definitions 分析,追踪关键变量的来源、传播路径以及可能受污染的寄存器或内存位置。
输出变量定义与传播链路,帮助定位数据来源、影响范围和潜在安全问题。
在 Ghidra 中辅助逆向分析二进制、理解程序结构并加速安全研究。