diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll index 18a263918a9..1f57626840b 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlow.qll @@ -13,7 +13,7 @@ * `namespace; type; subtypes; name; signature; ext; input; output; kind; provenance` * - Neutrals: * `namespace; type; name; signature; kind; provenance` - * A neutral is used to indicate that there is no flow via a callable. + * A neutral is used to indicate that a callable is neutral with respect to flow (no summary), source (is not a source) or sink (is not a sink). * * The interpretation of a row is similar to API-graphs with a left-to-right * reading. @@ -105,7 +105,7 @@ predicate sinkModel = Extensions::sinkModel/9; /** Holds if a summary model exists for the given parameters. */ predicate summaryModel = Extensions::summaryModel/10; -/** Holds if a model exists indicating there is no flow for the given parameters. */ +/** Holds if a neutral model exists for the given parameters. */ predicate neutralModel = Extensions::neutralModel/6; private predicate relevantNamespace(string namespace) { diff --git a/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlowExtensions.qll b/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlowExtensions.qll index 7d251b11f86..3d1f6de268a 100644 --- a/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlowExtensions.qll +++ b/csharp/ql/lib/semmle/code/csharp/dataflow/ExternalFlowExtensions.qll @@ -27,7 +27,7 @@ extensible predicate summaryModel( ); /** - * Holds if a model exists indicating there is no flow for the given parameters. + * Holds if a neutral model exists for the given parameters. */ extensible predicate neutralModel( string namespace, string type, string name, string signature, string kind, string provenance diff --git a/java/ql/lib/semmle/code/java/dataflow/ExternalFlowExtensions.qll b/java/ql/lib/semmle/code/java/dataflow/ExternalFlowExtensions.qll index 904b3ff96f3..d057c58a127 100644 --- a/java/ql/lib/semmle/code/java/dataflow/ExternalFlowExtensions.qll +++ b/java/ql/lib/semmle/code/java/dataflow/ExternalFlowExtensions.qll @@ -27,7 +27,7 @@ extensible predicate summaryModel( ); /** - * Holds if a neutral model exists indicating there is no flow for the given parameters. + * Holds if a neutral model exists for the given parameters. */ extensible predicate neutralModel( string package, string type, string name, string signature, string kind, string provenance