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

C++: Add MaD model for 'CSimpleArray'.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-11-27 14:29:32 +00:00
parent 029c0134eb
commit 02b88d5dbd
2 changed files with 15 additions and 4 deletions
Download Patch File Download Diff File Expand all files Collapse all files

8
cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp
View File

@@ -734,19 +734,19 @@ void test_CSimpleArray() {
{
CSimpleArray<int> a;
a.Add(x);
sink(a[0]); // $ MISSING: ir
sink(a[0]); // $ ir
a.Add(0);
sink(a[0]); // $ MISSING: ir
sink(a[0]); // $ ir
CSimpleArray<int> a2;
sink(a2[0]);
a2 = a;
sink(a2[0]); // $ MISSING: ir
sink(a2[0]); // $ ir
}
{
CSimpleArray<int> a;
a.Add(x);
sink(a.GetData()); // $ MISSING: ir
sink(a.GetData()); // $ ir
CSimpleArray<int> a2;
int pos = a2.Find(x);