Code quality improvements.

This commit is contained in:
Michael Nebel
2024-07-19 09:36:17 +02:00
parent 0bf1ed1d96
commit 2796597d1a
4 changed files with 4 additions and 6 deletions

View File

@@ -1,7 +1,6 @@
private import java
private import DataFlowPrivate
private import DataFlowUtil
private import semmle.code.java.dataflow.ExternalFlow as ExternalFlow
private import semmle.code.java.dataflow.InstanceAccess
private import semmle.code.java.dataflow.internal.FlowSummaryImpl as Impl
private import semmle.code.java.dispatch.VirtualDispatch as VirtualDispatch

View File

@@ -21,8 +21,7 @@ public class Sinks {
// neutral=p;Sinks;sink2;(Object);summary;df-generated
public void sink2(Object o) {}
// Defined as sink neutral file in the model file next to the
// neutral test.
// Defined as sink neutral in the file next to the neutral summary test.
// neutral=p;Sinks;nosink;(Object);summary;df-generated
public void nosink(Object o) {}