IoT设备常见Web Server漏洞挖掘思路分析：BOA篇,从零基础到精通，收藏这篇就够了！

Python_chichi

于 2025-03-06 16:24:13 发布

阅读量931

点赞数 7

分类专栏：渗透测试 python 数据分析科技文章标签：前端人工智能大数据

本文链接：https://blog.csdn.net/Javachichi/article/details/146073763

版权

科技同时被 3 个专栏收录

425 篇文章

订阅专栏

渗透测试

282 篇文章

订阅专栏

python 数据分析

54 篇文章

订阅专栏

目

录

一、什么是BOA

二、BOA源码分析（TL;DR）

三、从漏洞挖掘角度看BOA

四、真实漏洞分析

五、总结

BOA是IoT小设备上常见的HTTPD之一。本文将从源码分析、漏洞挖掘、真实漏洞分析三个部分总结BOA的相关特性。其中，源码分析部分涉及到Linux网络编程，漏洞挖掘部分主要关注于如何快速恢复请求结构体、了解数据包处理逻辑以及CGI如何传递数据，真实漏洞分析部分则是分析了三个典型的BOA认证前漏洞，其中两个能够导致认证前任意代码执行，一个认证前信息泄漏。

一

什么是BOA

BOA是一个单任务的HTTPD，简单说，BOA不像常见的HTTPD，为每一个连接使用fork创建子进程进行处理，也不会提前创建一个进程池、线程池用于同时处理多个连接。它在内部采用了多路复用和请求链表来处理所有来自客户端的连接，并且仅仅针对CGI程序、自动目录生成和自动文件压缩采用fork子进程的形式进行处理。简而言之，BOA是一个轻量级的HTTP服务器，主要设计用于嵌入式系统，以高效的性能和小巧的代码体积著称，通常被应用于资源受限的设备，例如路由器、智能家居或者其他的嵌入式环境。

BOA具有如下的一些特点：

单线程架构：BOA采用了单线程、事件驱动的架构来处理多个HTTP请求。传统的WEB服务器会为每一个请求使用fork创建子进程进行处理，每次请求都会造成进程创建的开销。BOA的架构避免了这种操作，从而节省了系统资源。但是，只能说BOA适合嵌入式这种请求速度慢、并发少的情景。
资源占用低：BOA的代码体积非常小，内存和CPU的使用效率高，适用于资源受限的嵌入式设备。
配置简单：BOA的配置文件简单明了，容易调整和优化，可以快速进行部署。
快速响应：单线程事件驱动模型使得在轻负载情况下响应迅速，适用于处理少量并发连接。

BOA的源码和官方文档可以在Boa Webserver找到。

二

BOA源码分析（TL;DR）

本章节从源码分析BOA，主要从常规分析HTTPD源码的角度，例如信号量处理、socket从创建到复用、CGI数据传递等，帮助更好理解BOA的运行特性。该部分篇幅过长，对Linux网络编程已经较为熟悉的师傅可以跳过到2.4节BOA的请求结构体说明部分和2.5节状态机处理数据包示意图部分。

信号量处理

HTTPD服务器会处理一些常见的信号量，以免HTTPD发生异常终止。在BOA中也是如此，main函数中调用函数init_signals，收到指定的信号时，执行预先设定的处理函数。

信号量的处理一般是如下流程：

创建信号量处理相关的结构体变量。
初始化清空信号量集合。
将需要关注的信号量以及对应信号量的处理函数加入到信号量集合中。
当HTTPD接收到相应的信号量时，执行预先设定的处理函数。

BOA源码中，对信号量的处理也是满足如上的流程。

screenshot (1).png

从细节来看，对于一些常见的信号量例如SIGSEGV、SIGBUS、SIGINT、SIGUSR1都是采取打印日志消息，然后调用函数abort直接终止掉自身。需要注意的信号量例如SIGTERM、SIGHUP、SIGCHLD、SIGPIPE，在下面会额外详细说明。

SIGTERM信号

SIGTERM是终止信号，该信号不同于SIGKILL，可以被捕获和处理，允许程序在终止前执行一些清理操作，例如释放资源、保存或关闭文件状态等等。在BOA的信号处理中，对于SIGTERM信号设置了函数sigterm，当接收到该信号时，设置全局变量lame_duck_mode值。该变量标志着BOA进入了停止接受新连接，但是继续处理已经接受过的连接的状态。

screenshot (2).png

SIGHUP信号

当挂起进程的控制终端时，SIGHUP信号就会被触发。对于HTTPD此类没有控制终端的后台程序，通常会利用SIGHUP信号来强制重新读取配置文件。

在BOA源码中，当SIGHUP信号被触发，设置全局变量sighup_flag=1。在函数main的while循环中，检测到该变量被设置，则调用函数sighup_run释放请求队列中的所有就绪请求，重新加载、读取配置文件。

screenshot (3).png

SIGCHLD信号

当进程的子进程状态发生变化，例如退出或暂停，该信号量会被触发。SIGCHLD信号量的作用一般是用于防止僵尸进程的产生或者使子进程的僵尸状态结束。僵尸态指的是子进程处于结束之后、但是父进程还没有读取退出状态；或者是父进程退出，子进程还没退出。

BOA的架构决定了，只有在CGI的时候才会使用fork+exec创建子进程，SIGCHLD信号也主要是对于CGI子进程。当SIGCHLD信号产生，设置变量sigchld_flag=1。在函数main的while循环中，同样会检测该变量是否被设置，如果设置则调用函数sigchld_run，其中调用函数waitpid读取子进程返回状态。

screenshot (4).png

SIGPIPE信号

当进程向一个已经关闭的管道或者已经关闭的socket写入数据时，会触发SIGPIPE信号。这种情况在HTTPD中是可能发生的，例如来自客户端的连接从客户端直接关闭了，或者是和CGI使用管道通信，但是CGI关闭了相应的管道。

在BOA代码中，将SIGPIPE信号的处理函数设置成SIG_IGN，也就是忽略SIGPIPE信号。通过忽略该信号，可以防止BOA因为意外的写入操作而奔溃终止。

screenshot (5).png

socket相关

BOA中负责创建、设置、监听socket的逻辑都在函数main中。main函数的while死循环，调用函数get_request，函数get_request调用accept接受来自客户端的连接。accept接受的连接存放在请求结构体的成员request->fd中，后续接受来自客户端的数据、发送处理完毕的数据都使用request->fd。

在这个部分主要关注BOA是如何对socket进行编程的，不会具体涉及其他具体的代码。

代码符合Linux网络编程的一般逻辑的，稍微需要注意的一些技术点包括：

设置socket为非阻塞
使用select设置多路复用
使用setsockopt设置较大的发送缓冲区
设置TCP_NODELAY禁用Nagle算法，减少数据传输延迟

以下是在函数main中和socket相关的代码片段：

1. 创建socket

screenshot (6).png

2. 将socket设置成非阻塞

screenshot (7).png

3. 设置端口复用

screenshot (8).png

使用bind命名socket，将socket与socket地址绑定

screenshot (9).png

使用listen监听socket

screenshot (10).png

6. 使用accept接受来自客户端的连接请求在函数main的while死循环中，调用函数get_request，在该函数中使用accept接受来自客户端的连接请求，并且初始化conn结构体，加入到就绪队列中。

screenshot (11).png

使用select实现I/O复用

在HTTPD中通常需要同时处理监听socket和连接socket，这就是I/O复用的一种应用场景：同时监听多个文件描述符。I/O复用虽然能够同时监听多个文件描述符，但是是阻塞的，而且如果有多个文件描述符同时就绪的话，不采取额外的措施（例如多进程、多线程）的话，只能串行依次处理。Linux中能够实现I/O复用的系统调用主要有select、poll和epoll。

BOA仅仅单纯使用了select来实现I/O复用。变量block_read_fdset可以读取的文件描述符集合，block_write_fdset可以写入的文件描述符集合。如下的代码位于函数main的while循环中，能够一直监控可读写的文件描述符集合。并且通过宏FD_ISSET判断文件描述符是否处于可读写的状态，如果满足则进行相应的读写，在如下的代码中，能够判断监听socket：server_s是否可读，如果可读，则调用函数get_request读取来自客户端的请求。

screenshot (12).png

总体来说，BOA的I/O复用还是比较简单，没有采用多进程、多线程机制来对客户端连接进行并发处理，而是使用在函数main中通过while轮询，监听可读写的socket。可读的情况一般是客户端发起了新的连接和数据，可写的状态则是可以往客户端写入数据或者写入到CGI数据等等。

CGI可控数据源

BOA在执行CGI时会使用fork + exec创建执行CGI子进程，其中，通过设置环境变量数组和通过标准输入传递请求体的方式将数据给CGI，CGI处理完毕数据之后，通过标准输出再传递到BOA以发送给客户端。

CGI所需的环境变量数组，在函数create_common_env中被初始化。这个函数在实际的设备中可能会根据需求添加一些额外的环境变量键值对。

screenshot (13).png

随后，在函数create_env中会继承全局变量common_cgi_env中的环境变量键值对，并且额外添加一些真正可控的环境变量键值对，例如：

SCRIPT_NAME
QUERY_STRING
PATH_INFO
…

screenshot (14).png

CGI中可控的数据源大概就是如上的环境变量键值对和请求体转换而成的标准输入了。

BOA的数据结构及其含义

screenshot (15).png

BOA的状态机

一个简单的HTTP请求格式大概如下，主要分成4个部分：

请求行：包括请求方法、请求URI、HTTP版本。
请求头：包含多个头部字段，由冒号分隔的键值对组成。
空行：用于分隔请求头和请求体。。
请求体：如果是POST请求包含请求头。

screenshot (16).png

BOA使用了有限状态机（finite state machine）来处理HTTP协议请求，笔者根据源码把状态机分成了三个部分来理解：

第一个部分是解析请求行和请求头。这个部分比较简单，实现的原理就是逐个字符处理HTTP请求，如果发现第一个\r\n，说明已经出现了请求行，后续出现\r\n则是每个请求头字段的键值对，如果出现\r\n\r\n则是说明到请求体了。
第二个部分是CGI部分。BOA和CGI之间的数据是通过传递环境变量数组和管道来进行数据交互的，在状态机中主要是BOA通过管道传递待处理数据到CGI的标准输入，待CGI处理完毕之后通过标准输入再到管道传递到BOA中，最后再发送到客户端。
第三个部分是非CGI部分。实际业务中，需要将BOA的GET/POST请求处理部分源码进行扩展，BOA源码中，仅仅是将POST请求保存到临时文件，以及，读取并返回GET请求的文件。

[点击查看高清图片](https://mp.weixin.qq.com/s/yasSA6tdVrGB43kyXFUsRA)

三

从漏洞挖掘角度看BOA

该部分对BOA架构的设备进行漏洞挖掘提出了一些建议，主要是如何快速从获取到BOA版本、提供了一些价值较高的函数可以辅助快速恢复请求结构体、根据数据包处理特性指出了大概率会根据业务二次开发（可能存在认证前漏洞）的几个重要函数，以及分析了三个较为典型的认证前漏洞。

结构体恢复

在BOA的二进制程序中，可以通过搜索字符串``SERVER_SOFTWARE``或者直接搜索``boa``，定位到引用函数``create_common_env``进而快速定位到BOA版本。同时在这个函数中还可以恢复环境变量数组``common_cgi_env``。

image (1).png

定位到BOA版本之后，就可以下载对应的源码，进而恢复二进程中的重要结构体和函数。BOA是单线程模型，在对HTTP请求进行处理的过程中，会将具体的请求转换成请求结构体``request``，并且后续的数据包请求函数都会接受该结构体指针作为传参。

恢复结构体``request``可以更好帮助我们理解相关的处理逻辑，那么如何更快、更好根据源码恢复该结构体的内容呢？一个浅显的原则就是去找到那些满足如下条件的函数，在二进制中定位到这些函数后，然后结构源码创建、恢复结构体。

条件1：尽可能更多使用到该结构体成员。
条件2：和业务代码关联不大，避免业务代码逻辑干扰恢复。
条件3：在源码中不大可能被大篇幅修改到。
条件4：有尽可能多的字符串辅助恢复。

经过筛选，挑出了如下的一些比较合适的函数：

`函数名`	`功能`	`原则`
`create_env`	`执行CGI之前，初始化环境变量数组`	`涉及到环境变量键值对赋值，有字符串辅助`
`complete_env`	`将请求中的Header处理添加到环境变量数组`	`在处理cgi和form的时候调用，可以恢复请求中的重要Header内容，尤其是CGI传递环境变量`
`free_request`	`释放已经处理完毕的请求`	`使用到挺多结构体成员，但是基本没有字符串辅助`
`process_logline`	`处理请求行`	`请求类型、方法、版本等其他信息，有字符串辅助`
`process_option_line`	`处理请求头字段`	`请求头字段，有字符串辅`
`translate_uri`	`将请求的URI转换成服务器文件系统路径`	`可以通过代码逻辑，恢复相关的结构体成员`

以上四个函数，恢复结构体``request``基本上已经够用了，因为该结构体组成基本上是线性的，而且没有涉及到复杂的条件编译，基本上定位到重要的一些结构体成员后，就可以将上下相邻的成员也恢复。但是成员相对位置不绝对，可能在编译优化的时候导致偏移发生变化，还是需要根据二进制中的位置结合源码，才能完全确定。除此之外，可能开发者会对结构体中的成员进行扩展，例如某些SDK会对BOA进行了额外的开发。

实际上通过函数``complete_env``、函数``process_logline``、函数``process_option_line``，基本上可以恢复绝大部分的结构体成员，包括二次开发添加的一些成员。还有一些重要的结构体成员可以通过指定的函数恢复，例如``prev``和``next``可以通过函数``dequeue``和函数``enqueue``恢复。这两个函数用于维护结构体``request``组织成的双链结构，在请求、释放请求的时候被相应调用。

数据包处理

数据包处理主要发生在函数main的while循环，调用函数process_requests处理接收到的请求数据。函数process_requests由调用了如下的几个重要函数：

函数read_header：处理请求头
process_option_line：处理请求头中的字段，可能形成一些可控的环境变量。
process_logline：处理请求行，一般不大可能会更改额外代码。
process_header_end：请求头处理完毕之后继续处理数据，在这个函数中可能存在鉴权。例如reltek sdk的BOA有在这个函数中使用函数auth_authorize进行鉴权。
函数webs*Define：常见的二次开发的BOA版本，使用该函数注册API的回调函数进一步处理客户端的请求，其中包含了许多业务相关的代码，存在漏洞的概率较高。

四

真实漏洞分析

案例一：vivotek认证前栈溢出

这个案例虽然没有找到具体的CVE编号，但是涉及的漏洞是个典型，漏洞发生在Vivotek多个设备型号中，是程序BOA的一个认证前缓冲区溢出漏洞，攻击效果可以达到认证前RCE。

该漏洞的典型在于，一是漏洞发生在认证前，是strncpy导致的，比较具有代表性；二是BOA没有符号，连函数符号都没有，只能根据关键字符串从源码对应着去恢复相关函数、相关结构体。漏洞的相关资源都在如下：

漏洞信息：Vivotek IP Cameras - Remote Stack Overflow (PoC) - Multiple remote Exploit
固件下载：CC8160-VVTK-0100d.flash.zip

首先是先定位到版本号，然后下载源码以辅助恢复符号。通过搜索字符串：SERVER_SOFTWARE，可以得到版本0.94.14rc21，并从git下载源码，checkout到相应的分支。

image (2).png

根据漏洞信息搜索字符串Content-Length定位到漏洞。经过函数恢复和请求结构体恢复之后，可以知道漏洞调用链从近到远依次是：

read_header：处理请求首行、请求头字段
process_requests：按照状态机，对请求进行处理
loop：main函数中的死循环，一直监听来自客户端的连接，如果有就绪的则调用函数process_request处理

如下是反编译代码，参考源码，此时的数据包处理状态，应该是解析完毕了请求首行，但是还没有到该处理请求体的状态，也就是位于该处理请求头字段的时候。漏洞触发条件是：

判断请求方式是POST或PUT，req->client_stream存储的是整个数据包，指针haystack和client_stream_post用来辅助遍历该数据包。
然后通过strstr找是否包含Content-Length字段。按照正常逻辑来说，冒号和回车之间的值就是该字段的值。
最后将值复制到该函数栈上的变量dest，值的大小是回车和冒号之间的字节大小。

image (3).png

image (4).png

函数strncpy中，最后一个传参没有对数据长度进行校验，导致缓冲区溢出，甚至可以达到任意代码执行的效果。参数PoC：

screenshot (17).png

案例小结：漏洞发生在状态机处理请求头的时候，在函数read_header厂商自定义的代码中，由于对Content-Length请求头字段的数据没有校验，导致缓冲区溢出，进而可以达到任意命令执行的效果。

案例二：CVE-2019-19822 敏感信息泄漏漏洞

CVE-2019-19822是发生在以Realtek SDK开发的路由器设备中的敏感信息泄漏漏洞，此处以设备TOTOLINK A3002RU，固件版本2.0.0为例，分析该漏洞。

漏洞信息：Full Disclosure: Multiple vulnerabilities in TOTOLINK and other Realtek SDK based routers
固件下载：A3002RU-V2.0.0-B20190227.zip

Realtek SDK中的BOA经过了二次开发，加入了较多的业务代码，无法通过之前说的环境变量SERVER_SOFTWARE获取到版本，但是可以通过搜索字符串boa获取到版本，然后找到源码，再根据关键的字符串，大体可以恢复出来请求结构体辅助理解反编译代码。

image (5).png

漏洞的PoC是直接访问config.dat文件。这个漏洞的触发逻辑稍微复杂一点，笔者原本计划尝试通过仿真搭建环境，但是失败了，本文就直接结合源码和反编译代码进行分析。

screenshot (18).png

在BOA的状态机中，当处理完请求头之后，就会执行函数process_header_end。这个函数的主要作用是为执行cgi或GET请求做准备工作，例如转换URI、获取文件真实路径等工作。在二次开发中，经常将鉴权相关的逻辑集成到这个函数中，因此很多师傅对BOA进行漏挖的时候会直接定位到这个函数。此次分析的BOA就是这种情况。

该BOA相对源码新增了用于认证的字段req->user、req->pass、req->auth_flag，如果请求中的账号、密码与本地保存的账号、密码一致，则设置认证通过标志auth_flag。

image (6).png

如果认证未通过，会进入认证前的URI判定，指定用户认证前可以访问的资源。但是在判断的时候，能够触发的return是白名单的机制，只有特定的几种情形才会导致函数结束，例如：

大前提条件是：URI包含.html、.asp、是POST请求
URI中包含字符串login、forget.asp、Login

剩余的场景则会继续执行后续的代码。

image (7).png

接下来就是根据请求方式，如果是GET请求，如果URI中不包含.htm、.asp、.navigation.js、.cgi，cgi_type就会是初始的req->cgi_type，该字段在函数translate_uri中被赋值，赋值是根据请求PATH的类型判断的，感兴趣的师傅可以进一步到函数get_mime_type中查看。在函数translate_uri中仅仅当PATH中包含CGI，才会被赋值，除此之外默认是值0。

image (8).png

函数init_get负责将请求的资源读取，并返回给客户端。

案例小结：那么该认证前信息泄漏的成因就很显然了，在处理完毕请求头后，执行函数process_header_end时，认证失败后的可访问资源判定采用了白名单退出机制，导致可绕过，获取到配置文件。

案例三：CVE-2018-20056 Dlink认证前栈溢出

漏洞CVE-2018-20056是发生在设备D-LINK DIR-605L 300M wireless cloud routing 和 DIR-619L 300M wireless cloud routing中的缓冲区溢出漏洞。漏洞成因是在程序/bin/boa的formLanguageChange接口存在sprintf导致缓冲区溢出漏洞，攻击者可以通过参数currTime构造数据包，可以导致任意代码执行。

漏洞信息：CVE-2018-20056
固件下载：DIR-619L_REVB_FIRMWARE_PATCH_2.06.B01_WW.ZIP

这个BOA也是典型的二次开发的BOA，使用了函数wabAspInit用来解析、处理Form表单逻辑和ASP请求。如下通过函数websFormDefine来定义form接口和处理用到的回调函数；通过函数websAspDefine来定义asp接口和处理用到的回调函数。

image (9).png

在函数websFormDefine中，维持一个全局的链表用于保存API和API对应的回调函数。如下，每次调用该函数，都会在全局链表root_form中插入一个新的节点，节点中有三个字段分别是：API、API对应的回调函数、指向的下一个节点。插入节点采用的是尾插法。

image (10).png

注册的回调函数会在函数form_handler中被调用，该函数又被函数init_form<-函数write_body调用。在BOA的源码中，函数write_body的调用时机是向客户端写入BODY内容的时候。也就是说，该程序BOA是在向客户端写入BODY内容的时候，根据请求时的API，执行相应的回调函数，并且将回调函数的结果也写入到BODY中。

image (11).png

对此类自定义BOA开展漏洞挖掘，如果是找认证后漏洞则是直接去审计这个函数里面注册的回调函数，并查看其中的数据源是否可控、是否可导致漏洞。如果是找认证前漏洞则是去分析鉴权逻辑，通常来说，鉴权逻辑发生在函数process_header_end中。该函数发生在状态机处理数据包时，已经处理完请求行和请求头的阶段。

继续回到漏洞，接口formLanguageChange对应的回调函数formLanguageChang中，通过函数websGetVar获取到用户提交的参数，然后使用函数sprintf拼接，拼接的过程中没有对参数长度进行检查，导致栈上的缓冲区溢出。

那么接下来就是分析，该接口为什么可以认证前被触发，触发PoC如下：

screenshot (19).png

该BOA包含了函数符号，因此可以直接定位到函数process_header_end中的鉴权处理逻辑。在该函数中一共包含三次路径判定，在第三次会判定失败，进入正常的POST请求处理，在向客户端写入BODY结果的时候调用到form回调函数，进而触发漏洞。

漏洞分析如下：

1. req_uri_type=0恒成立，因为POC的URI中不包含如下的字符串：

image (12).png

2. 进入第二次关键if判定和第三次关键if判断。其中第二次关键if判定会通过，和变量is_initialized无关。第三次关键if判定会不通过，在与逻辑判定处URL中包含字符串formLanguageChange。随后，程序进入正常的处理POST请求的逻辑。

image (13).png

3. 进入正常的POST请求处理逻辑，随后会进入到BODY_WRITE状态（向客户端写入BODY结果）调用函数write_body->函数init_form，再执行到formLanguageChange的回调函数，导致漏洞触发。

image (14).png

案例小结：处理完毕请求头之后，执行函数process_header_end，由于接口formLanguageChange对应的回调函数存在漏洞，且可以认证前访问，导致漏洞触发。漏洞触发的时机是在向客户端写入BODY结果。

五

总结

BOA是IoT小设备中常见的HTTPD，从状态机理解数据包处理流程、分析请求数据结构能够帮助安全研究人员快速理解业务逻辑，进而定位到可能发生漏洞的地方。本文的主要贡献是从源码小结了BOA的状态机，结合经验和源码提出了快速恢复BOA请求结构体的方法，以及结合三个典型的BOA认证前漏洞，提供了对BOA进行漏洞挖掘的一般方法，文中给出了案例的固件下载链接，感兴趣的师傅可以尝试交流。

【版权说明】

本作品著作权归OneShell所有

未经作者同意，不得转载

头像.png