Merge pull request #17362 from aschackmull/dataflow/typofix

Dataflow: Fix minor typo.
This commit is contained in:
Anders Schack-Mulligen
2024-09-04 10:39:31 +02:00
committed by GitHub

View File

@@ -298,7 +298,7 @@ signature module InputSig<LocationSig Location> {
/** Extra data-flow steps needed for lambda flow analysis. */ /** Extra data-flow steps needed for lambda flow analysis. */
predicate additionalLambdaFlowStep(Node nodeFrom, Node nodeTo, boolean preservesValue); predicate additionalLambdaFlowStep(Node nodeFrom, Node nodeTo, boolean preservesValue);
predicate knownSourceModel(Node sink, string model); predicate knownSourceModel(Node source, string model);
predicate knownSinkModel(Node sink, string model); predicate knownSinkModel(Node sink, string model);