hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-05-02 04:05:14 +02:00
Code Issues Packages Projects Releases Wiki Activity

C++: We *could* support .Argument with no index, but I'm not convinced we can do so efficiently, so lets not.

Browse Source
This commit is contained in:
Geoffrey White
2024-03-25 17:08:15 +00:00
parent 0a33a6e79b
commit 58737b1d7e
3 changed files with 4 additions and 8 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
cpp/ql/test/library-tests/dataflow/models-as-data/testModels.qll
View File

@@ -78,7 +78,7 @@ private class TestSummaries extends SummaryModelCsv {
";;false;madArg0ToArg1Indirect;;;Argument[0];Argument[*1];taint",
";;false;madArg0IndirectToArg1Indirect;;;Argument[*0];Argument[*1];taint",
";;false;madArgsComplex;;;Argument[*0..1,2];ReturnValue;taint",
";;false;madArgsAny;;;Argument;ReturnValue;taint",
";;false;madArgsAny;;;Argument;ReturnValue;taint", // (syntax not supported)
";;false;madArg0FieldToReturn;;;Argument[0].value;ReturnValue;taint",
";;false;madArg0IndirectFieldToReturn;;;Argument[*0].value;ReturnValue;taint",
";;false;madArg0FieldIndirectToReturn;;;Argument[0].ptr[*];ReturnValue;taint",

6
cpp/ql/test/library-tests/dataflow/models-as-data/tests.cpp
View File

@@ -186,9 +186,9 @@ void test_summaries() {
sink(madArgsComplex(0, 0, 0, source()));
sink(madArgsAny(0, 0));
sink(madArgsAny(source(), 0)); // $ MISSING: ir
sink(madArgsAny(0, sourcePtr())); // $ MISSING: ir
sink(madArgsAny(0, sourceIndirect())); // $ MISSING: ir
sink(madArgsAny(source(), 0)); // (syntax not supported)
sink(madArgsAny(0, sourcePtr())); // (syntax not supported)
sink(madArgsAny(0, sourceIndirect())); // (syntax not supported)
// test summaries involving structs / fields