用angr解二进制题目1
来源:互联网 发布:java代码生成uml类图 编辑:程序博客网 时间:2024/06/01 17:36
上图是程序的流程,大概说一下,int main(int argc,char *argv[],char *env[])
先判断argc是不是2,如果不是直接打印You need to enter the secret key!
如果是2,就一个文件名,和一个secret key字符串。接着调用verify函数来检查secret key 是否合法。
这是可执行文件的下载地址:http://pan.baidu.com/s/1pLe8hb9
接下来就用angr来符号化执行这个程序,直到有正确的key出现.
angr是一个python的库,可以去百度下载安装,很快就可以安装好
import angrdef main(): p = angr.Project("./ais3_crackme")#建立一个工程 argv1 = angr.claripy.BVS("argv1",100*8)#设置第二个参数也就是key的为800个字节长,因为开始不知道长度,其实在后面的verify函数里面可以确定是24. inital_state = p.factory.path(args=["./crackme1",argv1])#设置程序执行的初始条件 pg = p.factory.path_group(inital_state)#set the inital state#这是执行流对象 pg.explore(find=0x400602)#start to run the program 直到执行到0x400602的时候结束,0x400602是: mov edi, offset aCorrectThatIsT ; "Correct! that is the secret key!"的地址,执行到这里就代表找到了正确的key found = pg.found[0]#返回一个found对象,也就是一条正确的执行路径 solution = found.state.se.any_str(argv1)#提取输入的key print solution[:solution.find('\00')]#去掉后面的0,因为我们假设有800个字节if __name__=="__main__": main()
阅读全文
0 0
- 用angr解二进制题目1
- 二进制分析框架angr基本信息
- 二进制分析框架angr基本信息
- (逆向)angr 执行二进制函数
- 利用angr进行二进制静态分析
- 二进制符号执行分析框架angr的Windows安装教程
- angr:基于python的二进制分析框架 安装与使用
- 使用angr和Radare解决CMU的二进制炸弹
- Angr:一个具有动态符号执行和静态分析的二进制分析工具
- Angr:一个具有动态符号执行和静态分析的二进制分析工具
- 题目1513:二进制中1的个数
- 题目1513:二进制中1的个数
- 题目1513:二进制中1的个数
- 题目1513:二进制中1的个数
- 题目1513:二进制中1的个数
- 题目1513:二进制中1的个数
- 题目1513:二进制中1的个数
- 题目1513:二进制中1的个数
- 牛客网 PAT(甲级) 1012Kuchiguse (20)
- Reactor 模式 通俗版解释
- 大数据中:Hadoop云计算以及Nosql与BI商业智能之间的关系
- AndroidStudio的使用
- hdoj 1008
- 用angr解二进制题目1
- B树
- Java NIO网络编程
- 1.输入一个整数输出去除第一位的剩下的数
- C语言结构体复习
- Android7.0 安装apk更新包的适配
- java TCP/IP Socket编程-----NIO--Buffer-----笔记10
- git使用总结
- 63_常用类_包装类_Integer_Number_JDK源码分析