问题描述:
在Linux系统中对以下代码进行控制劫持流攻击,即执行win函数
#include<stdlib.h>
#include<unistd.h>
#include<stdio.h>
#include<string.h>
void win()
{
printf("code flow successfully changed\n");
}
int main()
{
volatile int (*fp)();
char buffer[64];
fp=0;
gets(buffer);
if(fp)
{
printf("calling function pointer,jumping to 0x%08x\n",fp);
fp();
}
}
分析步骤
(1)由于在本程序中存在gets函数,而gets函数是一个不安全的函数,它是从缓冲区中读取字符串并且直到文件尾标识符或是换行符才结束,所以只要使得缓冲区的字符数大于原有变量的规定数字那么通过构造特定的字符就可以实现覆盖原有程序中的信息,比如变量值。
(2)在本程序中还存在volatile,该保留字是关于编译器优化的,由于在编译器中有一项技术是数据流分析,用于分析程序中变量在哪里赋值或是在哪里使用等,其结果通常用于常量合并或常量传播,但有时这些优化并不是程序所需要的,于是就用volatile来禁止这些优化,使得程序总能从内存中读取变量。
(3)在Linux系统中编写此程序,如下图所示。