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

Java: update cast and delete tests

Browse Source
This commit is contained in:
Jami Cogswell
2023-03-14 22:01:42 -04:00
parent db545e4981
commit a7da6c8029
1 changed files with 2 additions and 2 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/test/ext/TestModels/Test.java
View File

@@ -171,7 +171,7 @@ public class Test {
AssertionError assertErr = new AssertionError(source());
sink((String)assertErr.getMessage()); // $hasValueFlow
sink(Test.class.cast(source())); // $hasTaintFlow
sink(Test.class.cast(source())); // $hasValueFlow
Exception excep1 = new Exception((String)source(), (Throwable)source());
sink((String)excep1.getMessage()); // $hasValueFlow
@@ -181,7 +181,7 @@ public class Test {
sink((String)excep2.getMessage()); // $hasValueFlow
StringBuilder sb = (StringBuilder)source();
sink(sb.delete(0, 1)); // $hasTaintFlow
sink(sb.delete(0, 1)); // $hasValueFlow
Thread thread1 = new Thread((Runnable)source());
sink(thread1); // $hasTaintFlow