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

Fix treatment of void method calls.

Browse Source
This commit is contained in:
Max Schaefer
2024-01-16 17:13:57 +00:00
parent 18e44b6f5c
commit 1ebd0747a8
2 changed files with 8 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

4
java/ql/automodel/test/AutomodelApplicationModeExtraction/Test.java
View File

@@ -18,7 +18,7 @@ class Test {
AtomicReference<String> reference = new AtomicReference<>(); // uninteresting (parameterless constructor)
reference.set( // $ sinkModel=set(Object):Argument[this]
args[0] // not a sink candidate (modeled as a flow step)
); // $ sourceModel=set(Object):ReturnValue
); // not a source candidate (return type is void)
}
public static void callSupplier(Supplier<String> supplier) {
@@ -92,7 +92,7 @@ class MoreTests {
Files.delete(
p // $ sinkModel=delete(Path):Argument[0]
); // $ SPURIOUS: sourceModel=delete(Path):ReturnValue
); // not a source candidate (return type is void)
Files.deleteIfExists(
p // $ sinkModel=deleteIfExists(Path):Argument[0]