Buffer Overflow Vulnerability Prediction from x86 executables using Static Analysis and ML

最新推荐文章于 2022-11-28 11:29:49 发布
最新推荐文章于 2022-11-28 11:29:49 发布
阅读量448 收藏
点赞数
分类专栏： 论文笔记

题目： Buffer Overflow Vulnerability Prediction from x86 executables using Static Analysis and Machine Learning
作者： Bindu Madhavi Padmanabhuni, Hee Beng Kuan Tan
单位： School of Electrical and Electroinc Engineering, Nanyang Technological University
出版： Computer Software & Application Conference(COMPSAC), 2015

解决的问题

二进制代码的缓冲区溢出问题

所用工具

ida-pro

利用ida-pro商业反汇编器识别局部和全局变量

  • 全局变量在汇编指令中用地址进行访问
  • 局部变量在汇编指令中用栈帧偏移来进行访问
  • 将一个变量视为从已知地址（或偏移）到下一个已知地址（或偏移）

BinAnalysis（在Rose上搭建的二进制分析工具）

提供x86汇编指令的语义，使我们能够抓住帮助常量传播的机器状态，并且识别间接分支和调用，这些可以通过常量传播静态地确定。

VulMiner

作者自己实现的工具，用来从Rose的分析结果中提取下面将要提到的特征。

静态分析过程

反汇编和变量信息

包括函数边界识别和变量信息收集。

  • 利用IDA Pro来识别函数和变量信息
  • 输入BinAnalysis（在Rose上搭建的二进制分析工具），为每个函数构建AST和CFG

控制依赖

利用函数的CFG来计算过程内控制依赖。Rose提供了从CFG构建后向支配关系的API，这被用来找到直接后序支配一个结点z后序支配结点n，即所有从n开始的流向exit结点的路径都经过结点z。

利用函数摘要进行数据依赖的计算

我们利用CFG和变量信息来分析容器级别的过程间数据依赖。容器级别的意思是对于容器数据的访问，我们的工具以整个容器为单位计算数据依赖。对于结构体，当struct信息能够从IDA Pro得知时，我们利用struct的偏移来识别struct中变量的边界。
Rose提供了能够仿真一个x86指令基本块执行的符号语义。每个基本块与一个符号状态相关联。符号状态表示寄存器，内存和标志位的状态。我们对CFG的仿真过程进行增强。我们也利用库函数原型对库函数的调用进行模拟。
通过分配一个新的符号值来处理符号状态的融合。对于有多个返回块的函数，所有返回块的状态融合成一个最终的返回状态。我们利用标准worklist算法来进行过程内数据依赖分析。
为提高效率，我们利用函数摘要来进行过程间分析。函数摘要是用来表示调用效果的，上下文无关的摘要。当函数被调用时，基于调用上下文和合成的函数摘要，控制和数据依赖信息被更新并传回调用函数。调用函数重新开始分析。
为生成函数摘要，函数被符号化执行来记录已知的依赖，以及收集未知的引用。在分析期间，寄存器，标志位，全局变量，参数值和动态分配的变量的定义都被收集，并且函数的最终状态通过聚集全局变量，函数参数值，动态分配变量和返回块的eax，esp等等来生成。
为应用函数摘要，首先被调用函数的摘要被重用，在被调用函数的未知引用与调用函数中对这些引用的定义之间的数据依赖被建立。我们遍历在被调用函数中生成的定义，并且更新它们在调用函数中的入口。状态信息也用类似方法更新。随后便进行调用者下一条指令的分析。

静态代码属性

文章中的一些表示方法

sink k:在二进制反汇编代码中的潜在的有漏洞的程序语句。我们将对C库函数的调用和向缓冲区/容器中写的语句视为sink。
input validation node: 在CFG中，一个谓词结点d被叫做槽k的输入验证结点，当满足以下条件：

  • k和d均是同一个普通输入变量的引用
  • k间接控制依赖于d

input dependent predicate node: CFG中一个谓词结点p被称作槽k的输入依赖谓词结点，当满足以下条件：

  • p是一个输入变量的引用，而k与这个输入变量没有直接或间接的数据依赖关系
  • k间接控制依赖于p

source: 被槽引用的变量
destination: 在槽中定义的变量

输入和源的特征描述

  • Input Count: 统计槽输入的数量
  • Inputs with Limiting: 统计有长度约束的槽输入的数量
  • Environment Dependent Input: 统计独立于环境变量的槽输入的数量
  • Is Source Null Terminated: 源是否以空的终结字符结束

槽的特征描述

不同的槽进行不同的操作，根据操作的类型，可能需要不同形式的边界检查和防御措施。

  • 操作类型：我们将操作类型分为5类
    • 复制：对于进行复制操作的C库函数的调用
    • 连接：对于进行连接操作的C库函数的调用
    • 格式化写
    • 非格式化写
    • 数组写入：其他一切形式的向容器内写入的操作
  • 防御是否有限制：标记是否使用了C库函数的安全版本

目标缓冲区的特征描述

  • 目的是否为空的非终结字符
  • 对目标是否进行多次写
  • 位置：缓冲区的位置，分为全局，局部，混合和堆
  • 源和目标大小是否相同
  • 声明：缓冲区声明，分为静态，动态并依赖于源，动态并与源独立，动态固定大小，混合

控制依赖的特征描述

描述槽结点的控制依赖特征

  • 源字符串长度：统计槽谓词的数量，即是否利用strlen检查源字符串长度
  • 源大小：统计检查源大小的次数
  • 目标字符串长度
  • 目标大小
  • 循环的终止条件是否与源相关：判断槽是否在循环之内，并且循环的终止条件与源大小相关
  • 验证：统计槽验证结点的数量
  • 输入依赖谓词：统计输入依赖的谓词数量
  • 源缓冲区谓词：统计在槽处引用的的谓词数量
  • 目标缓冲区谓词：统计在槽处定义的谓词数量

数据依赖精度特征描述

容器级别的精确度和函数摘要在数据依赖算法中带来了一些不精确性，于是我们将一些抓住了这些不确定性的属性包含到了特征集中。

  • 过程间目标缓冲区访问：目标在过程间是否被访问并写入
  • 目标写入次数：统计除了槽结点外目标被写入的次数
  • 目标缓冲区是否模糊：目标是否是模糊容器
  • 源是否模糊
  • 槽依赖的模糊容器
  • 槽依赖的非模糊容器
  • 与模糊容器相关的谓词
  • 与非模糊容器相关的谓词

实验

数据收集

数据集为MIT Lincoln Laboratories buffer overflow benchmark中的6个程序。

特征提取

利用BinAnalysis识别出槽，并进行数据依赖分析。
利用VulMiner提取特征。

模型与算法

分别利用了5种模型：朴素贝叶斯，多重感知机，逻辑回归，SMO
采用10折交叉验证

评估

评估标准

precision, recall, accuracy, false alarm…

实验结果

SMO展现出了最好的性能，达到75.9%的召回率和84.6%的精确度。

与静态的源码分析工具对比

我们将自己的实验结果与利用Splint，PolySpace，Boon，UNO等源码静态分析工具进行对比。结果显示，我们的方法的效果比这几种静态分析工具的实验效果都好。

局限性

尽管二进制程序的静态代码属性不难被收集，但数据需要一个二进制分析工具进行收集，并且需要足够多的有漏洞的数据来训练模型。我们的数据依赖IDA Pro来进行函数边界的识别，虽然有效，但并非一个简单的工作。我们的数据依赖分析引入了容器级别的精确度，与函数摘要一样，都对精确度有一定的损失。

我爱写报告
关注
专栏目录
(SEED-Lab)Buffer Overflow Vulnerability Lab缓冲区溢出实验
lunan的博客
02-01 7694
(SEED-Lab)Buffer Overflow Vulnerability Lab 欢迎大家访问我的GitHub博客 https://lunan0320.cn 文章目录一、实验目的二、实验步骤与结果2.1 环境初始化2.2 Task1 运行shellcode2.3漏洞程序2.4 Task 22.5 Task 3: ASLR2.6 Task 4: Stack Guard2.7 Task 5：不可执行栈三、参考文献 一、实验目的 理解缓冲区溢出攻击的原理以及如何实施攻击 理解针对缓冲区溢出的防御措施
信息安全 SEED Lab3 Buffer Overflow Vulnerability Lab
crazyliu的博客
04-28 1308
首先在实验的最开始我们把对抗缓冲区溢出攻击的措施关闭，后面再逐一打开。关闭地址随机化的代码如下 sudo sysctl -w kernel.randomize_va_space=0 运行如下: 并且在编译代码时 加上下列参数告诉编译器，前者为禁用栈保护, 后者为可执行栈上代码 -fno-stack-protector -z execstack 再使用下列命令修改默认shell为zsh，zsh不会在effective uid 和 real uid不一致的时候将effective uid改成
计算机安全_Lab 2_Buffer Overflow Vulnerability
Yue的小部落格
04-21 1957
目录 1 实验描述 2 实验内容. 2.1 task 1 ：Exploiting the Vulnerability. 2.2 task 2 ：Protection in /bin/bash. 2.3 task 3 ：Address Randomization. 2.4 task 4 ：Stack Guard. 3 实验总结 1 实验描述 缓冲区溢出定义为程序尝试将数据写...
buffer overflow vulnerability
siuyang的专栏
07-31 511
CVE-2013-4512static ssize_t exitcode_proc_write(struct file *file,const char __user *buffer, size_t count, loff_t *pos){char *end, buf[sizeof("nnnnn\0")];size_t size;int tmp;//buffer overflow occured
Buffer-Overflow_Vulnerability_Lab
Yuhan2001的CSDN博客
12-05 4779
软件安全课程实验，Buffer-Overflow_Vulnerability_Lab； 版本：SeedUbuntu16.04； 课本：计算机安全导论：深度实践；
Buffer Overflow Vulnerability Lab
m0_46616663的博客
11-13 2586
实验四 缓冲区溢出漏洞实验室 1概述 本实验室的学习目标是让学生们将从课堂上学到的有关缓冲区溢出漏洞的知识付诸行动，从而获得有关该漏洞的第一手经验。缓冲区溢出是指程序试图将数据写入预先分配的固定长度缓冲区边界之外的情况。恶意用户可利用此漏洞更改程序的流控制，从而导致恶意代码的执行。 在本实验室中，学生将获得一个具有缓冲区溢出漏洞的程序；他们的任务是开发一个利用漏洞的方案，并最终获得根权限。除攻击外，还将引导学生了解操作系统中实施的几种保护方案，以抵御缓冲区溢出攻击。学生需要评估这些计划是否有效，并解释原因
Buffer-Overflow Vulnerability Lab
qq_39249347的博客
07-06 725
预备环境 Ubuntu16.04 程序stack.c、exploit.py 预备知识 strcpy()这个函数用于复制字符串，遇到字符’\0’时将停止复制，’\0’字符ASCII值为0. 缓冲区溢出攻击的目标在于覆盖函数返回地址，使其指向注入的恶意指令的地址。 开始实验 关闭地址空间随机化 地址空间随机化（ASLR）是针对缓冲区溢出攻击的防御措施之一，ASLR对程序内存中的一些关键数据区域进行随机化，包括栈的位置、堆和库的位置等，目的让攻击者难以猜测所注入的恶意代码在内存中的具体位置。[07/
计算机安全_Lab 2：Buffer Overflow Vulnerability .pdf
06-04
缓冲区溢出定义为程序尝试将数据写入超出预分配的固定长度缓冲区边界的条件。恶意用户可以利用此漏洞来改变程序的流控制，甚至可以执行任意代码。此漏洞由于数据存储（例如缓冲区）和控制存储（例如返回地址）的混合...
Buffer Overflow Vulnerability Lab 网安实验
l4kjih3gfe2dcba1的博客
07-12 1713
Buffer Overflow Vulnerability Lab 2.1 Turning Off Countermeasures 关闭地址随机化 $ sudo sysctl -w kernel.randomize_va_space=0 关闭地址保护（编译时使用） $ gcc -fno-stack-protector example.c 可执行栈（executable stacks） For executable stack: $ gcc -z execstack -o test test.c Fo
CDG-ConstructionAlgorithm:ControlDependenceGraph控制依赖图构造算法
03-18
控制依赖图（CDG）控制依赖图构建算法 注意：该项目依赖 需要提前设置环境变量LLVM_DIR以及SVF_DIR 使用以下命令编译Debug Edition npm i svf-lib cmake . && make 使用以下命令编译发行版 npm i svf-lib cmake -DCMAKE_BUILD_TYPE=Debug . && make 执行以下脚本以生成示例中调试所需要的bc，ll，CFG，ICFG以及PostDominator树 ./examples/print_test_graph.sh
【论文阅读004】：V-Fuzz: Vulnerability Prediction-Assisted Evolutionary Fuzzing for Binary Programs
最新发布
weixin_44614631的博客
11-28 899
这篇文章设计并实现了一种基于图神经网络的脆弱性预测模型，给出预测目标二进制程序各函数块的脆弱概率，从而能够衡量不同测试用例的质量，从而能够选择更有针对性的Seed。这是第一篇将二者结合的论文。
WebGoat实验之Buffer Overflow（缓冲区溢出）- 2016.01.08
baishileily的博客
01-08 2212
Buffer Overflow（缓冲区溢出），这已经是一个老生常谈的话题了，不仅在软件的制作上回出现这样的问题，其实在网络上也存在这样的问题。更准确的说应该是在有用户输入的地方都存在缓冲区溢出的可能性。那么什么是缓冲区溢出呢？百度是这么说的“计算机程序一般都会使用到一些内存，这些内存或是程序内部使用，或是存放用户的输入数据，这样的内存一般称作缓冲区。溢出是指盛放的东西超出容器容量而溢出来了，在计算
技术分享 | MySQL binlog 分析工具 analysis_binlog 的使用介绍
ActionTech的博客
03-31 1365
作者：莫善 某互联网公司资深 DBA。 本文来源：原创投稿 *爱可生开源社区出品，原创内容未经授权不得随意使用，转载请联系小编并注明来源。 目 录 一、概述 二、环境信息 三、环境准备 1、centos1 2、centos2 3、centos3 四、测试 1、准备数据 2、flush binlog 3、MySQL 压测 4、解析 binlog 五、总结 一、概述 作为一个 MySQL DBA，查看分析 binlog 是日常工作的一部分。 不知道你是否遇到过这样的需求：一个时间段，各个表的 dml 统计.
binlog 分析及回滚神器Analysisbinlog
weixin_33674976的博客
08-27 579
Analysisbinlog是我在学习binlog event结构及存储的时候，为了更深入理解写的一个对binlog的分析工具，基于python2.7开发，相较于mysqlbinlog工具显示简化很多，可以分析可以对row数据生成回滚语句，对静态文件分析时可定位组合有下面几个:Thread_idPosition范围时间范围GTIDPosition 范围 + thread_id...
漏洞挖掘——实验6 Buffer Overflow Vulnerability Lab
一半西瓜的博客
04-16 5731
题目 Lab Buffer Overflow Vulnerability Lab Pre 1、阅读Basic Integer Overflows 这篇文章，大概描述整数溢出的原因和危害。http://www.phrack.org/issues.html?issue=60&id=10#article #include <stdio.h> #include <st...
Buffer-Overflow Vulnerability Lab——山东大学网络攻防实验
我有一颗五角星
04-19 9398
实验给出了一个有缓冲区溢出漏洞的程序stack.c，它会从文件中读取数据，并拷贝至自己的缓冲区。我们需要利用这个漏洞获得root权限，通过精心设计exploit.c 攻击程序，使其利用用户程序的漏洞产生badfile 文件，从而使用户程序读取badfile 时，被攻击者控制。 此外，我们将接触在Linux中实施的几种保护方案，并评估其有效性。
漏洞挖掘——实验7 Buffer Overflow Vulnerability Lab（2）
一半西瓜的博客
04-16 2696
题目 Lab Buffer Overflow Vulnerability Lab（2） 1、 /* stackesp.c */ /* This program has a buffer overflow vulnerability. */ /* Our task is to exploit this vulnerability */ /* sudo sysctl -w kernel.r...
【程序分析】数据依赖、控制依赖、程序依赖图PDG、系统依赖图SDG
热门推荐
汪汪杂记
09-09 1万+
转载整理自程序依赖相关知识点(PDG,SDG).供自己学习 1. 预备知识:可达性的定义 存在变量 v 定义d：对变量v的赋值语句称为变量v的定义 使用：在某个表达式中引用变量v的值 kill:变量v被再次赋值时，上一次赋值对变量v的定义d就被kill掉了 d可以到达p:定义d到点p之间存在一条路径，且在路径中定义d没有被kill掉 下图为转载文章中截的图 d可以通过path2到达u但是不能通过path1到达u，因为k这条语句kill掉了定义d 因为d到u之间存在着没有被kill的路径pat.
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值