boun3c：上下文敏感的边界推断

boun3c作为首个能基于作用域变量和常量推断指针边界的分析工具，其工作原理包括：

1. 边界种子注入：

   • 静态数组声明int x[10]自动获得count(10)边界

   • 动态分配malloc(sizeof(int)*n)关联count(n)边界

2. 跨作用域传播：

   • 通过数据流分析保持边界一致性

   • 函数调用和结构体处理采用上下文敏感分析

   • 对缺失种子边界的情况应用启发式规则

精度与实用性的平衡

• typ3c保证类型推断的可靠性（以Checked C编译器接受为标准）

• boun3c在确保已推断边界正确的前提下，允许部分边界缺失

• 这种设计显著降低了移植工作量，实现效率与安全性的最佳平衡