当前位置 : 主页 > 编程语言 > 其它开发 >

CTF竞赛题解之stm32逆向入门

来源:互联网 收集:自由互联 发布时间:2022-07-05
题目附件给出了一个Intel hex文件,并且给出了芯片信息我们可以确定程序的内存布局和外设寄存器与内存的对应。而逆向的关键就是读懂程序代码的含义,接下来我们将逐步分析这个
题目附件给出了一个Intel hex文件,并且给出了芯片信息我们可以确定程序的内存布局和外设寄存器与内存的对应。而逆向的关键就是读懂程序代码的含义,接下来我们将逐步分析这个hex文件。 固件安全 一、前言

本日学习记录

二、复现 1、SCTF 2020 Password Lock

参考链接:https://xuanxuanblingbling.github.io/iot/2020/07/08/stm32/

题目描述

这是一个STM32F103C8T6 MCU密码锁它具有4个按键,分别为1, 2, 3, 4. 分别对应GPIO_PA1, GPIO_PA2, GPIO_PA3, GPIO_PA4flag1格式为SCTF{正确的按键密码}输入正确的密码, 它将通过串口(PA9–TX)发送flag2

解题思路

题目附件给出了一个Intel hex文件,并且给出了芯片信息我们可以确定程序的内存布局和外设寄存器与内存的对应。而逆向的关键就是读懂程序代码的含义,接下来我们将逐步分析这个hex文件。

1. hex文件结构

Intel hex文件格式由纯文本构成,其中包含了程序的加载地址和程序入口地址等信息,读懂这些信息可以帮助我们快速定位程序的起始入口而不用在ida中进行配置。

  • 读懂Intel hex文件

我们可以使用文本编辑器打开题目附件,其中关键信息如下所示:

:020000040800F2
...
...
:04000005080000ED02
:00000001FF
  • 程序加载地址为0x08000000

  • 程序入口地址为0x080000ED

  • 程序以:00000001FF结尾

  • 其余全是文件数据

2、内存布局

查找芯片手册的网站:https://www.alldatasheet.com/在里面我们可以找到STM32F103C8T6的手册,第一页发现我们需要的一些信息

image-20220624100006124.png

  • Flash memory:32-to-128 Kbytes

  • SRAM:6-to-20 Kbytes

31页的Memory Map可以让我们更加直观的了解到内存的详细布局

image-20220624101716982.png

综上所述我们得到了程序的完整内存布局信息:

  • Flash Memory: 0x8000000 ~ 0x801FFFF (128K)

  • SRAM: 0x20000000 ~ 0x20004FFF (20K)

  • Peripherals: 0x40000000 ~ 0x40023400

3、IDA分析

经过刚才的分析我们了解了程序的内存布局,其中Flash段除了包含代码,还有中断向量表。Periphers段中的寄存器是我们在逆向过程中需要对齐有大体了解。而对于hex文件的分析我们了解到除了加载地址和入口地址,其他的所有内容都不在hex文件中,所以我们需要手动配置这些内存布局信息来告诉IDA怎么识别。​ 打开ida工具,根据刚才的手册中我们可以查到芯片是arm32 Armv7-M架构,如下图所示进行配置选择然后单击ok

image-20220624104558252.png

 

【----帮助网安学习,以下所有学习资料免费领!加vx:yj009991,备注 “自由互联” 获取!】

 ① 网安学习成长路径思维导图
 ② 60+网安经典常用工具包
 ③ 100+SRC漏洞分析报告
 ④ 150+网安攻防实战技术电子书
 ⑤ 最权威CISSP 认证考试指南+题库
 ⑥ 超1800页CTF实战技巧手册
 ⑦ 最新网安大厂面试题合集(含答案)
 ⑧ APP客户端安全检测指南(安卓+IOS)

可以看到已经能识别出一部分函数,其中start函数的地址与我们分析hex文件结构时找到的程序入口地址相同。

image-20220624105001577.png

如果hex文件中没有给出入口地址信息我们也可以通过寻找RESET中断处理函数来确定程序入口函数。其中RESET中断函数的地址可以在STM32中文参考手册V10.pdf中找到相关信息

image-20220624112037579.png

参考 STM32 中断向量表的位置 、重定向 中我们可以了解到在中断向量表中RESET的地址0x8000004的地址是固定的,而可变的是程序的加载地址。我们跳转到0x8000004这个地址上,按键盘D键将上面的数据分成4字节形式找到reset的地址为0x8000101

image-20220624112917850.png

跳转到RESET中断处理函数,存在两次跳转。第一次跳转到nullsub_1上并将下一条指令地址放入LR寄存器,nullsub_1函数的作用是跳回LR寄存器中的地址,所以第一跳没有意义。第二次跳转就是我们的start地址,所以完全可以利用此方式定位到程序的入口地址。

image-20220624113048671.png

一直跟着入口地址走就能找到这个程序的main函数所在,但是进来之后可以发现左边这一大片红色的标记,观察这些红色区域其实就是IDA没有识别的地址,也就是我们之前分析内存布局需要添加的内存段。

image-20220624114736957.png

我们在IDA中新建Segment,如下图所示:

image-20220624114955104.png

image-20220624115248295.png

这时只要我们再次点击F5即可让这些红色的标识变成正常识别的内存了

image-20220624115523580.png

4、修复中断向量表

使用IDApython恢复程序入口地址之前的信息

for i in range(0x8000000,0x80000eb,1): 
del_items(i)
for i in range(0x8000000,0x80000eb,4):
create_dword(i)

修复完成后我们观察这里面的地址,会发现有很多重复的地址0x800016D,跟进去会发现这些地址中没有定义函数功能。继续查看中断向量表会发现下面几个不同的内存地址

image-20220624115855037.png

参考 STM32中文参考手册V10.pdf中的内容我们可以查找到这些就是EXTI的中断处理函数地址

image-20220624115950690.png

  • stm32-EXTI

跟进这些函数地址会发现IDA并没有将其识别为函数,所以我们先在函数起始地址处按P键,然后进行反汇编即可看到这些中断处理函数,这里我以EXTI_4的中断处理函数为例来简单介绍一下这些中断处理函数的功能。

int EXTI_4()
{
int result; // r0

EXTI_LINE = 16;
switch ( sum )
{
  case 1:
    unk_20000006 = 116;
    return sum++ + 1;
  case 2:
    unk_20000010 = 95;
    return sum++ + 1;
  case 4:
    unk_2000000E = unk_20000001;
    return sum++ + 1;
  default:
    result = 0;
    sum = 0;
    break;
}
return result;
}

程序一开始先设置了中断/事件线,EXTI_4的中断/事件线为0x10,然后使用一块内存(这里记作sum)来作为累加数的保存位置。我们可以看到当sum中的值为1、2、4时sum的值会+1,如果不是的话则会重新开始。所以我们可以判断出1、2、4就是EXTI_4出现在密码中的位数,同理其他的三个按钮也是一样的,通过这些顺序我们可以得到最终的flag为flag{1442413},并且我们可以发现在main函数中程序先模拟输入了一次密码,通过将上面的值与EXTI_LINE进行对应也能得到flag值。

2、2021 HWS 入营赛-STM32

经过了上一题的入门接下来我们再来一道题目练习一下,打开IDA类型选择小段arm32,架构选择ARMv7-M架构。

 

接下来设置程序的加载地址和读取地址设置为0x8000000,加载地址是指IDA加载的分析地址是多少,而Input File是指固件要从什么位置开始加载,设置好以后我们点击OK完成设置。

image-20220624145507157.png

进入以后会发现IDA没有识别出任何函数,不用担心我们可以通过定位reset的中断处理来找到main函数的位置。将0x8000004地址处的字节变成4字节,得到reset中断处理函数地址0x8000101

image-20220624150919677.png

可以发现地址的结尾是奇数位,在arm中这代表了thumb模式。我们可以在0x8000101地址按下C键即可生成代码

image-20220624152124358.png

一直跟着程序流走我们就能找到main函数所在位置sub_80003C0,并且在其中发现了需要逆向的函数sub_8000314

_BYTE *sub_8000314()
{
_BYTE *v0; // r4
char *v1; // r5
int v2; // r6
char v3; // t1

v0 = (_BYTE *)sub_80003F0(48);
v1 = &byte_8000344;
v2 = 0;
while ( v2++ != 0 )
{
  v3 = *v1++;
  *v0++ = (v3 ^ 0x1E) + 3;
  sub_8000124(v1);
}
return v0;
}

image-20220624153108657.png

写出解题脚本即可获得flag值

li = [0x7D, 0x77, 0x40, 0x7A, 0x66, 0x30, 0x2A, 0x2F, 0x28, 0x40, 0x7E, 0x30, 0x33, 0x34, 0x2C, 0x2E, 0x2B, 0x28, 0x34, 0x30, 0x30, 0x7C, 0x41, 0x34, 0x28, 0x33, 0x7E, 0x30, 0x34, 0x33, 0x33, 0x30, 0x7E, 0x2F, 0x31, 0x2A, 0x41, 0x7F, 0x2F, 0x28, 0x2E, 0x64]
print(''.join(chr((i ^ 0x1E) + 3) for i in li))

 更多靶场实验练习、网安学习资料,请点击这里>>

搜索

复制

合天智汇:合天网络靶场、网安实战虚拟环境 【文章原创作者:华为云代理 http://www.558idc.com/hw.html处的文章,转载请说明出处】
上一篇:数据库锁表?别慌,本文教你如何解决
下一篇:没有了
网友评论