-
-
[原创]angr简单使用和解android等ctf简单题
-
发表于:
2020-6-1 14:46
11485
-
[原创]angr简单使用和解android等ctf简单题
CLE是angr加载二进制文件的组建,在加载二进制文件的时候会分析病读取binary的信息
angr用VEX IR将指令转化为中间语言IR,分析IR并且模拟
angr的求解引擎叫Claripy (z3的封装)
SimulatorManager是angr模拟执行的控制中心,提供了.run , .explore, .step 等不同类型的执行选项
SimulateState是angr的最小分析单元,对应每个step都有一个state
Java层 checkFirst 判断code
1、长度16
2、字符是1-8的数字
Native层
checkfirst要求注册码以12345678开头
checkAgain要求注册码为12345678数字的某种排列
check_first
check_again
x86版本参考:https://www.jianshu.com/p/508febd24921
相关资料参考:
微笑老弟的Angr基础笔记 https://bbs.pediy.com/thread-251278.htm
angr官方examples https://github.com/angr/angr-doc/tree/master/examples
[招生]科锐逆向工程师培训(2024年11月15日实地,远程教学同时开班, 第51期)