Skip to content

Commit baee4ce

Browse files
michaelnebeljcogs33
andcommitted
Apply suggestions from code review
Co-authored-by: Jami <[email protected]>
1 parent efa2bd8 commit baee4ce

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

java/ql/lib/semmle/code/java/dataflow/ExternalFlow.qll

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -13,7 +13,7 @@
1313
* `package; type; subtypes; name; signature; ext; input; output; kind; provenance`
1414
* - Neutrals:
1515
* `package; type; name; signature; kind; provenance`
16-
* A neutral is used to indicate that there is no flow via a callable.
16+
* 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).
1717
*
1818
* The interpretation of a row is similar to API-graphs with a left-to-right
1919
* reading.
@@ -166,7 +166,7 @@ predicate summaryModel(
166166
.summaryModel(package, type, subtypes, name, signature, ext, input, output, kind, provenance)
167167
}
168168

169-
/** Holds if a neutral model exists indicating there is no flow for the given parameters. */
169+
/** Holds if a neutral model exists for the given parameters. */
170170
predicate neutralModel = Extensions::neutralModel/6;
171171

172172
private predicate relevantPackage(string package) {

0 commit comments

Comments
 (0)