gcc安全特性之FORTIFY

gcc安全特性之FORTIFY_SOURCE

GCC 4.0引入了FORTIFY_SOURCE特性，旨在加强程序的安全性，特别是对于字符串和内存操作函数的使用。下面是对FORTIFY_SOURCE机制的深入分析：

1. 功能

FORTIFY_SOURCE旨在检测和防止缓冲区溢出，格式化字符串漏洞以及其他与内存操作相关的潜在安全问题。它对于一些常见的标准库函数（如strcpy，strcat，sprintf等）进行了增强，并在编译时自动插入一些运行时检查。

2. 原理

FORTIFY_SOURCE通过在编译时静态分析源代码来检测潜在的安全问题，并替换标准库函数调用为带有额外检查的安全版本。这些安全版本在进行某些操作之前会执行一些额外的检查，以确保操作的边界和输入的有效性。

3. 检查类型

FORTIFY_SOURCE主要提供了以下三种类型的检查：
- 缓冲区溢出检查：在进行字符串复制或连接操作时，会检查源字符串的长度是否超过了目标缓冲区的大小。
- 格式化字符串检查：在使用格式化字符串函数（如printf，sprintf）时，会检查格式字符串的参数是否与格式化字符串中的占位符匹配。
- 内存操作检查：在进行内存操作时（如memcpy，memset），会检查源和目标内存块的大小是否匹配。

4. 编译选项

可以通过在使用GCC编译代码时，指定编译选项"-D_FORTIFY_SOURCE=1"或"-O2"来启用FORTIFY_SOURCE机制。这些选项会在编译过程中插入额外的代码和运行时检查。

5. 异常处理

FORTIFY_SOURCE在检测到潜在的安全问题时，会触发异常处理机制。默认情况下，这些异常将导致程序终止执行，但也可以通过设置相关环境变量（如FORTIFY_SOURCE_ERRORS）来修改异常处理行为。

下面是一个示例的C代码：

```c
#include <stdio.h>
#include <string.h>

void foo(char* input) {
char buffer[10];
strcpy(buffer, input);
printf("Copy: %s\n", buffer);
}

int main() {
char input[20];
printf("Enter a string: ");
fgets(input, sizeof(input), stdin);
foo(input);
return 0;
}
```

在没有启用FORTIFY_SOURCE的情况下，如果输入的字符串超过了`buffer`数组的大小，`strcpy`函数将会发生缓冲区溢出，导致内存越界访问。这可能会被攻击者利用来执行恶意代码或篡改程序的执行流。

但是，当启用FORTIFY_SOURCE机制并使用合适的编译选项时（如`-O2 -D_FORTIFY_SOURCE=2`），GCC将确保上述代码的安全性，通过以下方式进行优化：

1. 缓冲区溢出检测

GCC会在编译时对`strcpy`函数进行静态分析，并插入额外的代码来检查目标缓冲区的边界。如果检测到将要发生溢出，编译器会自动替换为安全版本的函数，以确保拷贝操作不会导致缓冲区溢出。