Skip to content

Commit 509b7fe

Browse files
committed
Java: Add tests for supported framework methods
1 parent 6adbc40 commit 509b7fe

File tree

3 files changed

+44
-0
lines changed

3 files changed

+44
-0
lines changed

java/ql/test/utils/modeleditor/FrameworkModeEndpoints.expected

Lines changed: 4 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,10 @@
11
| com/github/codeql/test/PublicClass.java:7:15:7:19 | stuff | com.github.codeql.test.PublicClass#stuff(String) | false | supported | test | library | | type | unknown | classification |
22
| com/github/codeql/test/PublicClass.java:11:22:11:32 | staticStuff | com.github.codeql.test.PublicClass#staticStuff(String) | false | supported | test | library | | type | unknown | classification |
33
| com/github/codeql/test/PublicClass.java:15:18:15:31 | protectedStuff | com.github.codeql.test.PublicClass#protectedStuff(String) | false | supported | test | library | | type | unknown | classification |
4+
| com/github/codeql/test/PublicClass.java:27:17:27:28 | summaryStuff | com.github.codeql.test.PublicClass#summaryStuff(String) | true | supported | test | library | summary | type | unknown | classification |
5+
| com/github/codeql/test/PublicClass.java:31:17:31:27 | sourceStuff | com.github.codeql.test.PublicClass#sourceStuff() | true | supported | test | library | source | type | unknown | classification |
6+
| com/github/codeql/test/PublicClass.java:35:15:35:23 | sinkStuff | com.github.codeql.test.PublicClass#sinkStuff(String) | true | supported | test | library | sink | type | unknown | classification |
7+
| com/github/codeql/test/PublicClass.java:39:15:39:26 | neutralStuff | com.github.codeql.test.PublicClass#neutralStuff(String) | true | supported | test | library | neutral | type | unknown | classification |
48
| com/github/codeql/test/PublicGenericClass.java:6:15:6:19 | stuff | com.github.codeql.test.PublicGenericClass#stuff(Object) | false | supported | test | library | | type | unknown | classification |
59
| com/github/codeql/test/PublicGenericClass.java:10:20:10:25 | stuff2 | com.github.codeql.test.PublicGenericClass#stuff2(Object) | false | supported | test | library | | type | unknown | classification |
610
| com/github/codeql/test/PublicGenericInterface.java:4:17:4:21 | stuff | com.github.codeql.test.PublicGenericInterface#stuff(Object) | false | supported | test | library | | type | unknown | classification |
Lines changed: 24 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,24 @@
1+
extensions:
2+
- addsTo:
3+
pack: codeql/java-all
4+
extensible: sourceModel
5+
data:
6+
- ["com.github.codeql.test","PublicClass",true,"sourceStuff","()","","ReturnValue","remote","manual"]
7+
8+
- addsTo:
9+
pack: codeql/java-all
10+
extensible: sinkModel
11+
data:
12+
- ["com.github.codeql.test","PublicClass",true,"sinkStuff","(String)","","Argument[0]","sql-injection","manual"]
13+
14+
- addsTo:
15+
pack: codeql/java-all
16+
extensible: summaryModel
17+
data:
18+
- ["com.github.codeql.test","PublicClass",true,"summaryStuff","(String)","","Argument[0]","ReturnValue","taint","manual"]
19+
20+
- addsTo:
21+
pack: codeql/java-all
22+
extensible: neutralModel
23+
data:
24+
- ["com.github.codeql.test","PublicClass","neutralStuff","(String)","summary","manual"]

java/ql/test/utils/modeleditor/com/github/codeql/test/PublicClass.java

Lines changed: 16 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -23,4 +23,20 @@ private void privateStuff(String arg) {
2323
void packagePrivateStuff(String arg) {
2424
System.out.println(arg);
2525
}
26+
27+
public String summaryStuff(String arg) {
28+
return arg;
29+
}
30+
31+
public String sourceStuff() {
32+
return "stuff";
33+
}
34+
35+
public void sinkStuff(String arg) {
36+
// do nothing
37+
}
38+
39+
public void neutralStuff(String arg) {
40+
// do nothing
41+
}
2642
}

0 commit comments

Comments
 (0)