hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-24 04:36:35 +01:00
Code Issues Packages Projects Releases Wiki Activity

add test for the .Call token

Browse Source
This commit is contained in:
Erik Krogh Kristensen
2022-04-28 10:00:44 +02:00
parent 9c3d45a16a
commit 6c67e51ec3
1 changed files with 2 additions and 3 deletions
Download Patch File Download Diff File Expand all files Collapse all files

5
python/ql/test/library-tests/frameworks/data/test.ql
View File

@@ -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) {