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

Merge pull request #6917 from JLLeitschuh/feat/JLL/jdk_lambda_collections_model_tracking

Browse Source 
[Java] JDK Collection lambda models
This commit is contained in:
Tony Torralba
2021-10-22 10:26:50 +02:00
committed by GitHub
parent 562a57b75b d4b18fe6a3
commit 1333f67a69
3 changed files with 65 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

52
java/ql/test/library-tests/dataflow/collections/Test.java
View File

@@ -25,5 +25,57 @@ public class Test {
Iterator<String> it = m.values().iterator();
String x5 = it.next();
sink(x5); // Flow
it.forEachRemaining(x6 -> {
sink(x6); // Flow
});
m.forEach((x7_k, x8_v) -> {
sink(x7_k); // No flow
sink(x8_v); // Flow
});
m.entrySet().forEach(entry -> {
String x9 = entry.getKey();
String x10 = entry.getValue();
sink(x9); // No flow
sink(x10); // Flow
});
}
public void run2() {
HashMap<String, String> m = new HashMap<>();
m.put(tainted, tainted);
m.forEach((x11_k, x12_v) -> {
sink(x11_k); // Flow
sink(x12_v); // Flow
});
m.entrySet().forEach(entry -> {
String x13 = entry.getKey();
String x14 = entry.getValue();
sink(x13); // Flow
sink(x14); // Flow
});
}
public void run3() {
Set<String> s = new HashSet<>();
String x15 = s.iterator().next();
sink(x15); // No flow
s.forEach(x16 -> {
sink(x16); // No flow
});
s.add(tainted);
String x17 = s.iterator().next();
sink(x17); // Flow
s.forEach(x18 -> {
sink(x18); // Flow
});
}
}

9
java/ql/test/library-tests/dataflow/collections/flow.expected
View File

@@ -2,3 +2,12 @@
| Test.java:13:18:13:24 | tainted | Test.java:18:10:18:11 | x3 |
| Test.java:13:18:13:24 | tainted | Test.java:22:12:22:13 | x4 |
| Test.java:13:18:13:24 | tainted | Test.java:27:10:27:11 | x5 |
| Test.java:13:18:13:24 | tainted | Test.java:30:12:30:13 | x6 |
| Test.java:13:18:13:24 | tainted | Test.java:35:12:35:15 | x8_v |
| Test.java:13:18:13:24 | tainted | Test.java:42:12:42:14 | x10 |
| Test.java:49:11:49:17 | tainted | Test.java:52:12:52:16 | x11_k |
| Test.java:49:11:49:17 | tainted | Test.java:59:12:59:14 | x13 |
| Test.java:49:20:49:26 | tainted | Test.java:53:12:53:16 | x12_v |
| Test.java:49:20:49:26 | tainted | Test.java:60:12:60:14 | x14 |
| Test.java:73:11:73:17 | tainted | Test.java:75:10:75:12 | x17 |
| Test.java:73:11:73:17 | tainted | Test.java:78:12:78:14 | x18 |