From a484aff76dca5fb9158fbd0a7eae73a1db35afbd Mon Sep 17 00:00:00 2001 From: Arthur Baars Date: Mon, 13 Jul 2020 11:09:05 +0200 Subject: [PATCH] Java: improve comments --- .../src/semmle/code/java/dataflow/internal/ContainerFlow.qll | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll b/java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll index af8b44d5df8..687b2406f6a 100644 --- a/java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll +++ b/java/ql/src/semmle/code/java/dataflow/internal/ContainerFlow.qll @@ -130,6 +130,7 @@ private predicate taintPreservingQualifierToMethod(Method m) { m.(CollectionMethod).hasName(["peek", "pop"]) or // java.util.Queue + // covered by Stack: peek() m.(CollectionMethod).hasName(["element", "poll"]) or m.(CollectionMethod).hasName("remove") and m.getNumberOfParameters() = 0 @@ -254,7 +255,7 @@ private predicate taintPreservingArgumentToQualifier(Method method, int arg) { // covered by Deque: offerFirst(E, long, TimeUnit), offerLast(E, long, TimeUnit) method.(CollectionMethod).hasName(["putFirst", "putLast"]) and arg = 0 or - //java.util.Dictionary + // java.util.Dictionary method .getDeclaringType() .getSourceDeclaration()