本文介绍如何使用CodeQL编写查询，检测Java循环中因整数溢出导致非终止的比较。通过示例说明int与long比较可能溢出，并逐步构建查询：先查找int与long的小于表达式，再限定循环条件并排除常量，最后泛化为比较窄类型与宽类型的溢出风险，涵盖<、<=、>、>=等运算符。