Linux下整数溢出需通过C内置函数（如__builtin_add_overflow）、编译器选项（-ftrapv/-fsanitize=signed-integer-overflow）、固定宽度类型、size_t预检及Shell中awk/bc替代等方式协同防御。
Linux 系统本身不提供运行时整数溢出自动检测，但可通过编程语言层、编译器选项和系统级实践协同防御。关键不是“让 Linux 拦住溢出”，而是让程序在 Linux 上运行时避免或及时捕获溢出。
用带溢出检查的 C 语言运算
标准 C 不检查溢出，但 GCC/Clang 提供内置函数，可在运行时主动判断：
-
加法检测：
__builtin_add_overflow(a, b, &result)返回非零表示会溢出，result不被修改 -
乘法检测：
__builtin_mul_overflow(width, height, &size)—— 特别适合内存分配前校验 -
减法检测：
__builtin_sub_overflow同理，对索引计算、计时差值等场景很实用
这些函数底层利用 CPU 的 OF（溢出标志）或 CF（进位标志），高效且无额外库依赖，是 Linux C 程序最轻量可靠的防线。
启用编译器溢出陷阱
GCC 和 Clang 支持编译期插入运行时检查：
-
gcc -ftrapv：使有符号整数溢出触发SIGABRT（程序立即终止），适合开发/测试环境快速暴露问题 -
gcc -fsanitize=signed-integer-overflow：更细粒度，报错并打印调用栈，不影响其他逻辑继续执行 - 注意：
-ftrapv对无符号数无效（C 标准定义其为回绕行为），需单独用__builtin_*_overflow检测
选对数据类型 + 显式范围约束
预防优于检测。在 Linux 下尤其要注意：
- 避免裸用
int或long：它们在不同架构上宽度不一（如 x86_64 的long是 64 位，而 AArch64 也是 64 位，但某些嵌入式平台仍是 32 位）。改用int32_t、uint64_t等固定宽度类型（需#include <stdint.h>） - 内存分配场景必须用
size_t接收计算结果，且在乘法前做预检：
if (width > SIZE_MAX / height / channels) { /* 溢出风险，拒绝 */ } - 对用户输入或外部数据（如网络包长度字段），始终做上限断言，例如：
if (len > 1024 * 1024) return -EINVAL;
Shell 脚本中规避整数限制
Bash 默认使用有符号 64 位整数（LONG_MAX = 9223372036854775807），但不报错、不提示，静默回绕极易引发逻辑错误：
- 避免用
$((...))做关键计算（如文件大小累加、循环计数）；改用awk：
awk "BEGIN {print $a + $b}"（awk使用双精度浮点，虽非精确整数，但对大数不会回绕） - 真正需要高精度时，调用
bc：
echo "$a + $b" | bc—— 支持任意精度，且返回字符串，可配合[[ $res =~ ^[0-9]+$ ]]验证有效性 - 敏感场景（如配额计算、日志行号统计）直接换 Python/Perl 脚本，利用其原生大整数支持
