From 04eeeda2c9fe99ebee7ba23fe198703ca8ce30cf Mon Sep 17 00:00:00 2001 From: Anders Schack-Mulligen Date: Thu, 18 Feb 2021 11:23:49 +0100 Subject: [PATCH] Java: Add documentation for the final column. --- java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll b/java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll index a7d8d47b8e5..0df58641ad6 100644 --- a/java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll +++ b/java/ql/src/semmle/code/java/dataflow/ExternalFlow.qll @@ -53,6 +53,11 @@ * - "Parameter[n]": Similar to "Parameter" but restricted to a specific * numbered parameter (zero-indexed, and `-1` specifies the value of `this`). * - "ReturnValue": Selects the return value of a call to the selected element. + * 8. The `kind` column is a tag that can be referenced from QL to determine to + * which classes the interpreted elements should be added. For example, for + * sources "remote" indicates a default remote flow source, and for summaries + * "taint" indicates a default additional taint step and "value" indicates a + * globally applicable value-preserving step. */ import java