摘要：
符号执行最大的问题就是路径爆炸，当一个程序存在循环结构时，即使逻辑十分简单也可能会产生规模十分巨大的执行路径，本文记录三种处理路径爆炸的方法： 1.避免进入循环结果，手动添加约束条件 循环结果如下 该循环结构在程序中比较两个字符串是否相等，每次循环都会有if语句生成两个不同的分支，路径成指数级增长， 阅读全文
摘要：
angr基本使用步骤、find参数探索到达某个地址的输入 阅读全文
摘要：
一、对称加密 1.RC4 之前blog以做过学习，最典型的特征为加密的两个部分：初始化部分、加密部分 初始化部分工作为根据密钥完成S表的初始化话 加密部分是根据S表完成异或运算 典型特征为swap()过程 def rc4_init(): for i in range(0,256): s[i]=i t 阅读全文
摘要：
总耗时两周成功搭建OLLVM，越坑无数，记录一下过程。 主要参考： 跟着铁头干混淆2 ubuntu20.04 编译 ollvm4.0 - 移动安全王铁头 - 博客园 (cnblogs.com) LLVM初探 - 先知社区 (aliyun.com) 能找到的资料中，对OLLVM的搭建大多依赖于NDK去 阅读全文
摘要：
初识LLVM+数独部分算法解析+IDA指针引用+align n伪指令解释 阅读全文
摘要：
异或逆向+RC4加密算法+apk逆向基础 阅读全文
摘要：
python内置函数学习+浮点数存储格式学习 阅读全文
摘要：
upx加壳防脱 阅读全文
摘要：
pyc混淆实现与反混淆解题 阅读全文