qq_39642801的博客

项目介绍Use angr in the IDA Pro debugger generating a state from the current debug session.其实就是将angr做了一个可视化处理项目地址：https://github.com/andreafioraldi/IDAngr插件安装首先找到IDApython所在的位置（可以通过IDA最下方的python交互框）:import osos.path到达python27/script.文件夹下，运用该目录下的pip安装

找了好久，发现国内没有相关的资料，于是在这里说明一下：文档地址：https://sourceware.org/gdb/current/onlinedocs/gdb/Output-Styling.html格式：set style textType attr valuetextType :要设置颜色的字符类型，如源码(source),地址(address)所有的type如下：address filename function sources variableattr: 颜色位置，共有三

先用GDB运行一下，运行到用户输入后用bt指令查看堆栈情况，得知main函数位置用IDA打开main函数，从中可以大致得知变量所代表的含义用个带行号的文本编辑器进行填充，发现flag中只有一部分是以明文形式给出（X,Y代表字符相同）pctf{s4d_cXXYY4_nXXzXz}直接暴力求解...