hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-05 05:35:13 +02:00
Code Issues Packages Projects Releases Wiki Activity

Java: Support precondition calls as guards.

Browse Source
This commit is contained in:
Anders Schack-Mulligen
2019-04-02 10:58:46 +02:00
parent 752ca94402
commit b1e364b56a
7 changed files with 137 additions and 6 deletions
Download Patch File Download Diff File Expand all files Collapse all files

17
java/ql/test/library-tests/guards/Logic.java
View File

@@ -30,4 +30,21 @@ public class Logic {
if (o instanceof String) {
}
}
void f2(int i) {
checkTrue(i > 0, "i pos");
checkFalse(g(100), "g");
if (i > 10) {
checkTrue(i > 20, "");
}
int dummy = 0;
}
private static void checkTrue(boolean b, String msg) {
if (!b) throw new Exception(msg);
}
private static void checkFalse(boolean b, String msg) {
checkTrue(!b, msg);
}
}

16
java/ql/test/library-tests/guards/guardslogic.expected
View File

@@ -30,3 +30,19 @@
| Logic.java:29:16:29:19 | g(...) | false | Logic.java:30:30:31:5 | stmt |
| Logic.java:29:16:29:19 | g(...) | true | Logic.java:29:23:29:26 | null |
| Logic.java:30:9:30:27 | ...instanceof... | true | Logic.java:30:30:31:5 | stmt |
| Logic.java:35:5:35:29 | checkTrue(...) | true | Logic.java:36:5:36:28 | stmt |
| Logic.java:35:5:35:29 | checkTrue(...) | true | Logic.java:37:5:37:15 | stmt |
| Logic.java:35:5:35:29 | checkTrue(...) | true | Logic.java:37:17:39:5 | stmt |
| Logic.java:35:5:35:29 | checkTrue(...) | true | Logic.java:40:5:40:18 | stmt |
| Logic.java:35:15:35:19 | ... > ... | true | Logic.java:36:5:36:28 | stmt |
| Logic.java:35:15:35:19 | ... > ... | true | Logic.java:37:5:37:15 | stmt |
| Logic.java:35:15:35:19 | ... > ... | true | Logic.java:37:17:39:5 | stmt |
| Logic.java:35:15:35:19 | ... > ... | true | Logic.java:40:5:40:18 | stmt |
| Logic.java:36:5:36:27 | checkFalse(...) | false | Logic.java:37:5:37:15 | stmt |
| Logic.java:36:5:36:27 | checkFalse(...) | false | Logic.java:37:17:39:5 | stmt |
| Logic.java:36:5:36:27 | checkFalse(...) | false | Logic.java:40:5:40:18 | stmt |
| Logic.java:36:16:36:21 | g(...) | false | Logic.java:37:5:37:15 | stmt |
| Logic.java:36:16:36:21 | g(...) | false | Logic.java:37:17:39:5 | stmt |
| Logic.java:36:16:36:21 | g(...) | false | Logic.java:40:5:40:18 | stmt |
| Logic.java:37:9:37:14 | ... > ... | true | Logic.java:37:17:39:5 | stmt |
| Logic.java:44:10:44:10 | b | false | Logic.java:44:33:44:35 | msg |