$ loading_
通过 Triton 对二进制代码进行符号执行、污点分析与约束求解。
复制安装指令,让 AI 自动完成配置 · 推荐新手
"re-triton" 暂无可直接复制的安装信息,请查看页面文档或源码仓库。
请使用 re-triton 对这个二进制函数做符号执行,找出哪些输入条件会通过校验,并列出对应的路径约束。
返回可通过校验的输入条件、关键分支路径与约束表达式。
请用 re-triton 将用户输入标记为污点,分析它在二进制程序中的传播过程,并指出是否影响敏感函数参数。
给出污点传播链路、受影响寄存器或内存位置,以及潜在风险点。
请使用 re-triton 对该二进制中的目标分支进行约束求解,生成一组可以触发该分支的示例输入。
输出满足目标分支条件的示例输入及其求解依据。
帮助开发者进行 TrinityCore 机器人开发、游戏数据查询、代码审查与性能分析。