klee 检测漏洞-四个实例

看了网上的一个klee教程，来源于：https://adalogics.com/blog/symbolic-execution-with-klee

在此记录。

global-buffer-overflow

测试代码：

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
int global_arr[10] = {0,1,2,3,4,5,6,7,8,9};
int test1(char * buf)
{int i = 5;if (strcmp(buf,"BUG!") == 0){i += 20;}return global_arr[i];
}
int main(int argc,char ** argv)
{char arr[10];klee_make_symbolic(arr,10,"arr");klee_assume(arr[9]=='\0');test1(arr);
}

clang编译字节码

clang -c -g -emit-llvm uaf.c

klee符号执行

klee --libc=uclibc uaf.bc

显示结果

查看测试样例，可以看到触发了指针越界的是测试样例3，然后查看测试样例3的内容，可以看到触发漏洞的输入为BUG!开头的字符串。

DF

测试代码：

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
int test4(char * buf)
{char * var = malloc(10);if(strcmp(buf,"bug!")==0){free(var);}free(var);return 1;
}
int main(int argc,char ** argv)
{char arr[10];klee_make_symbolic(arr,10,"arr");klee_assume(arr[9]=='\0');test4(arr);
}

clang编译字节码

clang -c -g -emit-llvm uaf.c

klee符号执行

klee --libc=uclibc uaf.bc

显示结果

查看触发漏洞的样例，可以发现触发的输入是bug!开头的字符串。

ktest-tool test000003.ktest

还有两个例子的结果也差不多。

就简单列下漏洞代码。

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
int global_arr[10] = {0,1,2,3,4,5,6,7,8,9};
int test2(char * buf)
{int * dyn_mem_arr = malloc(sizeof(int)*10);int i =5;dyn_mem_arr[0] = 0;dyn_mem_arr[1] = 1;dyn_mem_arr[2] = 2;dyn_mem_arr[3] = 3;dyn_mem_arr[4] = 4;dyn_mem_arr[5] = 5;dyn_mem_arr[6] = 6;dyn_mem_arr[7] = 7;dyn_mem_arr[8] = 8;dyn_mem_arr[9] = 9;if (strcmp(buf,"BUG!") == 0){i += 20;}int return_value = dyn_mem_arr[i];free(dyn_mem_arr);return return_value;
}
int main(int argc,char ** argv)
{char arr[10];klee_make_symbolic(arr,10,"arr");klee_assume(arr[9]=='\0');test2(arr);
}

另一个空指针解引用的例子：

#include<stdio.h>
#include<stdlib.h>
#include<string.h>
int *global_string[] = {"string1","string2","string3",NULL
};
int test3(char * buf)
{int i = 1;if (strcmp(buf,"BUG!") == 0){i = 3;}char c = *(global_string[i]);if(c=='s')return 0;return 1;
}
int main(int argc,char ** argv)
{char arr[10];klee_make_symbolic(arr,10,"arr");klee_assume(arr[9]=='\0');test3(arr);
}

klee 检测漏洞-四个实例相关推荐

Vue3官网-可复用组合式API（十四）实例 property（\$slots，\$attrs）、渲染函数render(虚拟节点VNode，h() 参数，使用JavaScript代替模板功能)，插件
Vue3官网-可复用&组合式API(十四)实例 property($slots,$attrs).渲染函数render(虚拟节点VNode,h() 参数,使用JavaScript代替模板功能), ...
使用PyTorch从零开始实现YOLO-V3目标检测算法 (四)
原文:https://blog.csdn.net/u011520516/article/details/80228130 点击查看博客原文这是从零开始实现YOLO v3检测器的教程的第4部分,在上一 ...
微信公众平台开发教程（四）实例入门：机器人(附源码)
微信公众平台开发教程(四) 实例入门:机器人(附源码) 上一篇文章,写了基本框架,可能很多人会觉得晕头转向,这里提供一个简单的例子来予以说明,希望能帮你解开谜团. 一.功能介绍通过微信公众平台实现在 ...
OpenCV使用Harris-Stephens方法检测角点的实例(附完整代码)
OpenCV使用Harris-Stephens方法检测角点的实例 OpenCV使用Harris-Stephens方法检测角点的实例 OpenCV使用Harris-Stephens方法检测角点的实例 # ...
OpenCV方形检测Square Detection的实例(附完整代码)
OpenCV方形检测Square Detection的实例 OpenCV方形检测Square Detection的实例 OpenCV方形检测Square Detection的实例 #include & ...
OpenCV在相机或图像中检测QR码的实例(附完整代码)
OpenCV在相机或图像中检测QR码的实例 OpenCV在相机或图像中检测QR码的实例 OpenCV在相机或图像中检测QR码的实例 #include "opencv2/objdetect.h ...
OpenCV使用MSER检测末端区域的实例(附完整代码)
OpenCV使用MSER检测末端区域的实例 OpenCV使用MSER检测末端区域的实例 OpenCV使用MSER检测末端区域的实例 #include <opencv2/core.hpp> ...
使用SQLmap检测漏洞
使用sqlmap检测漏洞(经典用法) 1.sqlmap的安装 zip版:https://github.com/sqlmapproject/sqlmap/zipball/master tar.gz版:h ...
图像处理之前景检测（四）之自组织背景检测（SOBS）（转载）
图像处理之前景检测(四)之自组织背景检测(SOBS)(转载) 一种基于自组织神经网络(self-Organizing through artificial neural networks ...

klee 检测漏洞-四个实例

global-buffer-overflow

DF

klee 检测漏洞-四个实例相关推荐

最新文章

热门文章