-
-
[原创]angr简单使用和解android等ctf简单题
-
发表于:
2020-6-1 14:46
11760
-
[原创]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版本参考:1daK9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6%4N6%4N6Q4x3X3g2B7K9h3q4F1M7$3S2#2i4K6u0W2j5$3!0E0i4K6u0r3M7q4)9J5c8U0f1H3z5r3k6W2j5X3b7J5y4o6V1J5x3b7`.`.
相关资料参考:
微笑老弟的Angr基础笔记 https://bbs.pediy.com/thread-251278.htm
angr官方examples 939K9s2c8@1M7s2y4Q4x3@1q4Q4x3V1k6Q4x3V1k6Y4K9i4c8Z5N6h3u0Q4x3X3g2U0L8$3#2Q4x3V1k6S2L8X3N6J5i4K6u0r3j5h3&6Y4M7W2)9J5k6r3c8G2j5#2)9J5c8Y4c8J5k6h3g2Q4x3V1k6E0j5i4y4@1k6i4u0Q4x3V1k6W2P5r3q4E0M7r3I4W2M7H3`.`.
[培训]内核驱动高级班,冲击BAT一流互联网大厂工作,每周日13:00-18:00直播授课