我们要求安全归还所有被恐怖组织哈马斯劫持为人质的公民。在所有被扣押人员获释并安全返回家园之前，我们绝不罢休。你也可以帮助他们回家。 https://stories.bringthemhomenow.net/
Fluent Bit HTTP 服务器实现中的 handle_trace_request 和 parse_trace_request 函数已被确定为 CVE-2024-4323 关键漏洞的来源。此漏洞源于边界检查不足和输入验证不充分，可能导致堆缓冲区溢出。本审查重点说明漏洞的性质、潜在影响以及必要的缓解措施。
handle_trace_request 函数该函数负责处理传入的 HTTP 追踪请求，执行缓冲区分配并复制请求数据。
漏洞代码：
static int handle_trace_request(struct flb_hs *hs, struct mk_http_session *session, struct mk_http_request *request)
{
char *buffer;
size_t size;
int ret;
flb_sds_t input_name;
input_name = get_input_name(request);
if (input_name == NULL) {
return -1;
}
size = request->data.len;
buffer = malloc(size);
if (!buffer) {
flb_sds_destroy(input_name);
return -1;
}
memcpy(buffer, request->data.data, size);
ret = parse_trace_request(buffer, size, request);
free(buffer);
flb_sds_destroy(input_name);
return ret;
}
parse_trace_request 函数该函数负责解析追踪请求中的数据。
漏洞代码：
void parse_trace_request(char *buffer, size_t size, struct mk_http_request *request)
{
if (size > MAX_SIZE) {
// 处理错误
return;
}
// 解析逻辑
}
**堆缓冲区溢出：**
* **缓冲区分配与复制：** `handle_trace_request` 函数直接使用传入请求数据的大小来分配缓冲区并复制数据，未进行适当的验证。如果大小超过已分配的内存，可能导致堆缓冲区溢出。
* **缺少边界检查：** `parse_trace_request` 函数虽然进行了初步的大小检查，但未能确保在解析前缓冲区大小在安全范围内。
**输入验证：**
* **输入验证不充分：** 这些函数未能充分验证传入的请求数据，使其容易受到旨在利用缓冲区溢出的恶意载荷的攻击。
**拒绝服务 (DoS)：** 攻击者可以构造一个请求，通过溢出堆缓冲区导致应用程序崩溃，从而引发拒绝服务。
**远程代码执行 (RCE)：** 在最坏的情况下，攻击者可以利用溢出漏洞在服务器上执行任意代码，可能获得对系统的控制权。
以下补丁引入了边界检查和输入验证以缓解漏洞：
#define MAX_ALLOWED_SIZE 1024 * 1024 // 定义合理最大大小
static int handle_trace_request(struct flb_hs *hs, struct mk_http_session *session, struct mk_http_request *request)
{
char *buffer;
size_t size;
int ret;
flb_sds_t input_name;
input_name = get_input_name(request);
if (input_name == NULL) {
return -1;
}
size = request->data.len;
if (size > MAX_ALLOWED_SIZE) {
// 记录错误并返回
flb_sds_destroy(input_name);
return -1;
}
buffer = malloc(size);
if (!buffer) {
flb_sds_destroy(input_name);
return -1;
}
memcpy(buffer, request->data.data, size);
ret = parse_trace_request(buffer, size, request);
free(buffer);
flb_sds_destroy(input_name);
return ret;
}
void parse_trace_request(char *buffer, size_t size, struct mk_http_request *request)
{
if (size > MAX_ALLOWED_SIZE) {
// 处理错误
return;
}
// 解析逻辑
// ...
}
**边界检查：** 在分配缓冲区之前，增加了检查以确保传入数据的大小不超过定义的最大允许大小。
**输入验证：** 确保输入数据经过验证，防止过大或畸形的请求导致缓冲区溢出。
handle_trace_request 和 parse_trace_request 函数中的漏洞是一个关键问题，可能导致严重的安全风险，包括拒绝服务和远程代码执行。建议的补丁通过引入强健的边界检查和输入验证有效缓解了这些风险。务必立即应用此补丁，并定期进行代码审计，以确保 Fluent Bit 应用程序的安全性和完整性。