Dataflow: Fix minor typo.

This commit is contained in:
Anders Schack-Mulligen
2024-09-03 14:26:02 +02:00
parent ee6c255a7c
commit a0f0854fdb

View File

@@ -298,7 +298,7 @@ signature module InputSig<LocationSig Location> {
/** Extra data-flow steps needed for lambda flow analysis. */
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);