We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 77ee80f commit b6361cdCopy full SHA for b6361cd
java/ql/src/Security/CWE/CWE-190/ArithmeticCommon.qll renamed to java/ql/lib/semmle/code/java/security/ArithmeticCommon.qll
@@ -1,3 +1,5 @@
1
+/** Provides guards and predicates to reason about arithmetic. */
2
+
3
import semmle.code.java.arithmetic.Overflow
4
import semmle.code.java.controlflow.Guards
5
private import semmle.code.java.dataflow.SSA
0 commit comments