typ3c：全程序约束型指针类型推断
typ3c作为基于约束的全程序静态分析工具，其工作流程分为两个关键阶段：
可检查指针筛选：识别可安全转换的指针（排除涉及不安全类型转换或复杂预处理器使用的指针）
指针类型确定：根据指针使用模式进行精确分类（如进行下标访问或递增操作的指针将被标记为数组指针类型）
该算法创新性地引入"局部野指针隔离"机制：当函数内部存在不安全指针使用时，typ3c会为其分配Checked C互操作类型，防止污染其他安全代码。这种设计带来三大优势：
开发者只需重构问题函数本身，无需级联修改其调用链
通过根本原因排序指导重构优先级，最大化每次修改的收益
采用多阶段约束求解算法，特别优化了库函数的处理效果