From 6c67e51ec3fa9df0c4bb6577c194bd264a9dff55 Mon Sep 17 00:00:00 2001 From: Erik Krogh Kristensen Date: Thu, 28 Apr 2022 10:00:44 +0200 Subject: [PATCH] add test for the .Call token --- python/ql/test/library-tests/frameworks/data/test.ql | 5 ++--- 1 file changed, 2 insertions(+), 3 deletions(-) diff --git a/python/ql/test/library-tests/frameworks/data/test.ql b/python/ql/test/library-tests/frameworks/data/test.ql index d5a74a93371..d694837b253 100644 --- a/python/ql/test/library-tests/frameworks/data/test.ql +++ b/python/ql/test/library-tests/frameworks/data/test.ql @@ -10,10 +10,10 @@ class Steps extends ModelInput::SummaryModelCsv { // package;type;path;input;output;kind row = [ - "testlib;;Member[Steps].Member[preserveTaint];Argument[0];ReturnValue;taint", + "testlib;;Member[Steps].Member[preserveTaint].Call;Argument[0];ReturnValue;taint", "testlib;;Member[Steps].Member[taintIntoCallback];Argument[0];Argument[1..2].Parameter[0];taint", "testlib;;Member[Steps].Member[preserveArgZeroAndTwo];Argument[0,2];ReturnValue;taint", - "testlib;;Member[Steps].Member[preserveAllButFirstArgument];Argument[1..];ReturnValue;taint", + "testlib;;Member[Steps].Member[preserveAllButFirstArgument].Call;Argument[1..];ReturnValue;taint", ] } } @@ -52,7 +52,6 @@ class Sinks extends ModelInput::SinkModelCsv { } } -// TODO: Test taint steps (include that the base path may end with ".Call") class Sources extends ModelInput::SourceModelCsv { // package;type;path;kind override predicate row(string row) {