InferSharp未检测C#数组越界及扩展整数溢出检测能力咨询

1. 为何未检测到数组越界访问？ #

InferSharp默认仅启用了Infer的Nullsafe检查器，该模块专门针对空引用解引用问题做优化。而数组越界属于Infer的Bounds Checker检查器的职责范围，InferSharp的官方默认配置并未启用该模块。此外，.NET编译后的IL代码在数组索引的表达方式上，需要InferSharp前端做额外的解析工作，才能将数组长度、索引变量的范围信息传递给Infer后端，这部分逻辑在默认版本中也未实现，因此无法检测到数组越界。

2. 是否可修改InferSharp源码或与Infer的集成以添加数组越界检测？ #

可以实现，核心步骤如下：

• 修改InferSharp的配置逻辑，在调用Infer命令时添加启用Bounds Checker的参数（如--bounds），确保后端检查器被激活。
• 扩展InferSharp的IL解析模块，针对.NET数组的创建、索引访问操作做特殊处理，提取数组的长度信息、索引变量的上下文范围，传递给Infer的分析引擎。
• 调整InferSharp的结果处理逻辑，将Bounds Checker输出的越界告警解析并展示为符合.NET项目习惯的格式。

3. InferSharp是否仅依赖空引用检查器，无数组越界检测？ #

并非如此。Infer本身包含多个功能独立的检查器（如Bounds Checker、Thread Safety Checker、Resource Leak Checker等），但InferSharp的官方默认发行版本仅集成并启用了Nullsafe检查器，未开启数组越界等其他检测模块。也就是说，InferSharp具备扩展支持数组越界检测的基础，只是默认未配置。

4. 能否通过Infer或扩展InferSharp实现整数溢出/下溢检测？ #

可以实现。Infer原生提供了Integer Overflow Checker模块，支持整数运算的溢出/下溢检测。扩展InferSharp的步骤类似数组越界检测：

• 在InferSharp调用Infer的命令参数中添加--integer-overflow，启用该检查器。
• 优化InferSharp的IL解析逻辑，正确识别.NET中的整数运算指令（如add、mul等），并将运算变量的取值范围信息传递给Infer后端。
• 适配结果输出逻辑，将溢出告警映射到.NET项目的代码行，方便定位问题。

内容的提问来源于stack exchange，提问作者ULF21