Java: Update ThreadResourceAbuse specific models with provenance information.

michaelnebel · michaelnebel · commit 733fc16902ed · 2022-06-20T16:20:02.000+02:00
diff --git a/java/ql/src/experimental/Security/CWE/CWE-400/ThreadResourceAbuse.qll b/java/ql/src/experimental/Security/CWE/CWE-400/ThreadResourceAbuse.qll
@@ -21,8 +21,8 @@ private class PauseThreadDataModel extends SinkModelCsv {
   override predicate row(string row) {
     row =
       [
-        "java.lang;Thread;true;sleep;;;Argument[0];thread-pause",
-        "java.util.concurrent;TimeUnit;true;sleep;;;Argument[0];thread-pause"
+        "java.lang;Thread;true;sleep;;;Argument[0];thread-pause;manual",
+        "java.util.concurrent;TimeUnit;true;sleep;;;Argument[0];thread-pause;manual"
       ]
   }
 }

Original file line number	Diff line number	Diff line change
`@@ -21,8 +21,8 @@ private class PauseThreadDataModel extends SinkModelCsv {`
`21`	`21`	`override predicate row(string row) {`
`22`	`22`	`row =`
`23`	`23`	`[`
`24`		`- "java.lang;Thread;true;sleep;;;Argument[0];thread-pause",`
`25`		`- "java.util.concurrent;TimeUnit;true;sleep;;;Argument[0];thread-pause"`
	`24`	`+ "java.lang;Thread;true;sleep;;;Argument[0];thread-pause;manual",`
	`25`	`+ "java.util.concurrent;TimeUnit;true;sleep;;;Argument[0];thread-pause;manual"`
`26`	`26`	`]`
`27`	`27`	`}`
`28`	`28`	`}`