Overflow-prone comparisons in Java
原文中文，约8700字，阅读约需21分钟。
📝
内容提要
本文介绍了如何使用CodeQL检查Java代码中可能导致溢出的比较，特别是在循环中比较整数和长整数的情况。溢出可能导致循环无法终止，查询能够识别这些潜在问题。通过定义类型宽度的谓词，查询可以泛化到任何窄类型与宽类型之间的比较，帮助开发者避免潜在错误。
🔎
延伸解读
溢出风险的理解
在Java中，整数和长整数的比较可能导致溢出，尤其是在循环中。这种情况可能导致程序非终止，开发者需要特别注意变量的类型和范围，以避免潜在的逻辑错误。
CodeQL的应用
使用CodeQL进行代码检查，可以有效识别出可能导致溢出的比较。这种工具不仅提高了代码的安全性，还能帮助开发者在早期发现问题，减少后期调试的成本。
类型宽度的重要性
在进行比较时，理解不同数据类型的宽度至关重要。窄类型与宽类型之间的比较容易引发溢出，因此在设计程序时应谨慎选择数据类型，以确保逻辑的正确性。
❓
Q&A
如何使用CodeQL检查Java代码中的溢出比较？
可以通过编写查询来检查Java代码中整数和长整数之间的比较，特别是在循环中，这些比较可能导致非终止。
什么情况下Java循环可能会因为溢出而非终止？
当循环中使用的长整数大于int类型的最大值时，循环可能会因为溢出而非终止。
Java中各个基元类型的最大值是多少？
int的最大值为231-1，long的最大值为263-1。
如何定义一个返回类型宽度的谓词？
可以定义一个谓词，返回给定积分类型的宽度，例如int为32位，long为64位。
如何过滤掉常量操作数以识别潜在的溢出比较？
在查询中添加条件，确保比较的操作数不是常量，以减少误报。
什么是OverflowProneComparison类，它的作用是什么？
OverflowProneComparison是一个抽象类，用于模拟溢出式比较，帮助识别窄类型与宽类型之间的比较。
🏷️
