当前位置: 首页 > news >正文

Taint Bug (污点漏洞):

什么是污点漏洞?

脏数据,没净化(污点源):

        用户输入、直接复制的链接、手机APP传入的参数(我觉得恶意广告跳转就是用了这个),这些数据没有经过检查,比如我要float类型的输入,但给的是int类型输入,没经过数据转换,会导致bug;再比如,我要一个四位数据,但输入是一个八位数据,那要是直接把多的四位丢掉,也会报错。总之,输入数据没经过检查,不一定符合要求,可能导致bug

敏感操作(污点汇):

        比如,用输入的数字当数组的索引,可能导致索引和数组元素个数不匹配,索引数字大于元素个数;再比如进行算数运算的时候发生溢出

举例:

1、根据用户输入的索引,打印数组里的内容

int arr[5] = {1,2,3,4,5};
int index;
scanf("%d", &index); // 用户输入index(污点源)
printf("%d", arr[index]); // 直接用index访问数组(污点汇)

输入的&index不是[0,4]之间的整数,就会报错。

用户的输入是没经过检查的脏数据

要经过净化,确保在合规范围内才可以

改正:

int arr[5] = {1,2,3,4,5};
int index;
scanf("%d", &index); // 接收用户输入(污点源)// 关键修复:检查index是否合法(给数据“洗澡”)
if (index < 0 || index >= 5) { printf("输入错误!索引必须在0~4之间"); return 1; // 直接退出,不执行后续危险操作
}printf("%d", arr[index]); // 确认安全后,再访问数组(污点汇)

更通用的“净化逻辑”:

实际开发中,还可以根据场景增加更严格的检查,比如:

限制输入类型:确保用户输入的是数字(而非字母或符号)。

动态获取数组长度:用sizeof(arr)/sizeof(arr[0])代替硬编码的5,避免数组大小变化时漏改检查条件。

// 更健壮的版本
int arr[5] = {1,2,3,4,5};
int index, arr_size = sizeof(arr)/sizeof(arr[0]); // 动态获取数组长度
if (scanf("%d", &index) != 1) { // 检查输入是否为有效数字printf("输入错误!请输入整数");return 1;
}
if (index < 0 || index >= arr_size) { // 用动态长度判断printf("输入错误!索引必须在0~%d之间", arr_size-1);return 1;
}
printf("%d", arr[index]);

2、给num设一个天花板

int clamp_num(int config, int num ){  // 函数:限制数字num的最大值if (config && num > ARR_SIZE)      // 如果“开关打开”且“num超过天花板”num = ARR_SIZE;                  // 就把num强行改成“天花板”的值return num ;                       // 返回限制后的num
}

config是开关,num必须满足num <= ARR_SIZE

3、用户输入直接复制到固定大小缓冲区,未检查长度

#include <stdio.h>
#include <string.h>void vulnerable_function() {char buffer[10];  // 固定大小缓冲区(10字节)char user_input[100];  // 污点变量:存储用户输入(不可信源)printf("请输入姓名:");scanf("%s", user_input);  // 1. 污点源:用户输入(未限制长度)// 2. 未净化:直接将污点变量复制到缓冲区,未检查长度strcpy(buffer, user_input);  // 危险操作:无长度限制的复制printf("欢迎:%s\n", buffer);
}int main() {vulnerable_function();return 0;
}

修复:

// 安全版本:限制输入长度,避免溢出
void safe_function() {char buffer[10];char user_input[100];printf("请输入姓名:");scanf("%9s", user_input);  // 限制输入长度为9字节(留1字节给字符串结束符'\0')strncpy(buffer, user_input, sizeof(buffer)-1);  // 用 strncpy 限制复制长度buffer[sizeof(buffer)-1] = '\0';  // 确保字符串结束符printf("欢迎:%s\n", buffer);
}

怎么判断是不是污点变量?

1、用户输入

// 例:用户输入的字符串(污点变量)
char user_input[100];
scanf("%s", user_input);  // 通过 scanf 接收用户输入 → user_input 为污点变量

2、外部系统输入

// 例:从网络读取的数据(污点变量)
char* network_data = recv_from_socket(sock);  // 网络接收的数据 → network_data 为污点变量

3、且没经过净化

char user_input[100];
scanf("%s", user_input);  // 污点源:用户输入
char* data = user_input;  // 直接赋值,未净化 → data 仍为污点变量

净化后——不是:(AI给的)

char user_input[100];
scanf("%s", user_input);  // 污点源:用户输入// 净化处理:验证输入是否为纯数字(仅保留安全字符)
if (is_all_digits(user_input)) {  // 假设 is_all_digits 检查字符串是否仅含 0-9int num = atoi(user_input);  // 转换为整数(净化后)→ num 不再是污点变量
}

http://www.lryc.cn/news/597188.html

相关文章:

  • GitHub 趋势日报 (2025年07月22日)
  • Docker 基础概念
  • 解决Node 17+版本与Metro、Webpack等兼容性问题(500)
  • 数据结构自学Day13 -- 快速排序--“分而治之”
  • ITIL 4:云计算与微服务对组织架构的影响
  • kotlin基础【1】
  • android studio(NewsApiDemo)100%kotlin
  • 【前端】当前主流的 CSS 预处理器语言Sass / SCSS、Less、Stylus
  • kotlin基础【2】
  • BaaS平台(Supabase)
  • 数据结构自学Day13 -- 快速排序--“前后指针法”
  • 《计算机网络》实验报告六 电子邮件
  • 数据结构(2)顺序表算法题
  • 【数据结构】二叉树的链式结构--用C语言实现
  • 数据结构系列之AVL树
  • Java冒泡排序的不同实现
  • Excel自动分列开票工具推荐
  • 耐达讯自动化EtherCAT转RS232:示波器连接的“开挂秘籍”
  • IDEA如何管理多个Java版本。
  • 图机器学习(16)——图数据与自然语言处理
  • 使用idea 将一个git分支的部分记录合并到git另一个分支
  • idea部署新项目时,用自定义的maven出现的问题解决
  • 【网络编程】二、socket编程
  • Excel 将数据导入到SQLServer数据库
  • Linux文件——Ext2文件系统(3)_软硬链接
  • Encore.ts:下一代高性能 TypeScript 后端框架的崛起
  • Qt(基本组件和基本窗口类)
  • 开源深度学习新宠:Burn框架助您无忧高效建模
  • Django实战:Python代码规范指南
  • 开源 Arkts 鸿蒙应用 开发(九)通讯--tcp客户端