摘要：符号执行最大的问题就是路径爆炸，当一个程序存在循环结构时，即使逻辑十分简单也可能会产生规模十分巨大的执行路径，本文记录三种处理路径爆炸的方法： 1.避免进入循环结果，手动添加约束条件 循环结果如下 该循环结构在程序中比较两个字符串是否相等，每次循环都会有if语句生成两个不同的分支，路径成指数级增长， 阅读全文

摘要：符号化寄存器 阅读全文

摘要：angr基本使用步骤、find参数探索到达某个地址的输入 阅读全文

摘要：一、对称加密 1.RC4 之前blog以做过学习，最典型的特征为加密的两个部分：初始化部分、加密部分 初始化部分工作为根据密钥完成S表的初始化话 加密部分是根据S表完成异或运算 典型特征为swap()过程 def rc4_init(): for i in range(0,256): s[i]=i t 阅读全文