Skip to content

Commit 4f6311f

Browse files
SummerSecSummerSec
committed
Formulas
1 parent a5877e8 commit 4f6311f

10 files changed

+458
-0
lines changed

‎codeql-custom-queries-java/.cache/data/0d/4b/0d4bcc99c396a51c128c47076bf85aed74232e5f‎

6.21 KB
Binary file not shown.

‎codeql-custom-queries-java/.cache/data/2c/4e/2c4ebe7c0926037d465598bf467b87fa30725225‎

6.22 KB
Binary file not shown.

‎codeql-custom-queries-java/.cache/data/63/8a/638ac291860d929d13583578e2cbfbf977e1e1bb‎

10.5 KB
Binary file not shown.

‎codeql-custom-queries-java/.cache/data/6d/6a/6d6a4b1ab662c8e6fba44f06a3670392ea716a2f‎

360 Bytes
Binary file not shown.

‎codeql-custom-queries-java/.cache/data/6e/76/6e76cddf4e5ca838bb85a4f0389760e1ae551449‎

383 Bytes
Binary file not shown.

‎codeql-custom-queries-java/.cache/data/d6/ca/d6ca1d90f0f6c8849ec573a126a5a90a98bb9e4b‎

1.24 KB
Binary file not shown.

‎codeql-custom-queries-java/.cache/data/e5/a5/e5a5dd8fb96446ff180ef74b00e369bfa921ba74‎

1.24 KB
Binary file not shown.

‎codeql-custom-queries-java/.cache/size‎

0 Bytes
Binary file not shown.

‎codeql-custom-queries-java/Formulas/Formulas.md‎

Lines changed: 451 additions & 0 deletions
Large diffs are not rendered by default.

‎codeql-custom-queries-java/Formulas/Formulas.ql‎

Lines changed: 7 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,7 @@
1+
class SmallInt extends int {
2+
SmallInt() { this = [1 .. 10] }
3+
}
4+
5+
from SmallInt x
6+
where x % 2 = 0 implies x % 4 = 0
7+
select x

0 commit comments

Comments
 (0)