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

C++: Fix testcase to reveal problematic models.

Browse Source
This commit is contained in:
Mathias Vorreiter Pedersen
2024-12-03 19:06:20 +00:00
parent 593e2233f8
commit 3abb9049bb
2 changed files with 6 additions and 14 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -682,11 +682,11 @@ void test_CPathT() {
CPath p2;
p2 += p;
sink(p.m_strPath); // $ ir
sink(p2.m_strPath); // $ MISSING: ir
CPath p3;
p3 += x;
sink(p.m_strPath); // $ ir
sink(p3.m_strPath); // $ MISSING: ir
}
{

16
cpp/ql/test/library-tests/dataflow/taint-tests/localTaint.expected
View File

@@ -761,28 +761,20 @@ WARNING: module 'TaintTracking' has been deprecated and may be removed in future
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:680:5:680:5 | p | |
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:681:10:681:10 | p | |
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:684:11:684:11 | p | |
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:685:10:685:10 | p | |
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:689:10:689:10 | p | |
| atl.cpp:680:5:680:5 | ref arg p | atl.cpp:681:10:681:10 | p | |
| atl.cpp:680:5:680:5 | ref arg p | atl.cpp:684:11:684:11 | p | |
| atl.cpp:680:5:680:5 | ref arg p | atl.cpp:685:10:685:10 | p | |
| atl.cpp:680:5:680:5 | ref arg p | atl.cpp:689:10:689:10 | p | |
| atl.cpp:680:14:680:14 | ref arg x | atl.cpp:688:11:688:11 | x | |
| atl.cpp:680:14:680:14 | ref arg x | atl.cpp:694:15:694:15 | x | |
| atl.cpp:680:14:680:14 | ref arg x | atl.cpp:699:24:699:24 | x | |
| atl.cpp:680:14:680:14 | ref arg x | atl.cpp:705:30:705:30 | x | |
| atl.cpp:681:10:681:10 | p [post update] | atl.cpp:684:11:684:11 | p | |
| atl.cpp:681:10:681:10 | p [post update] | atl.cpp:685:10:685:10 | p | |
| atl.cpp:681:10:681:10 | p [post update] | atl.cpp:689:10:689:10 | p | |
| atl.cpp:681:12:681:20 | ref arg m_strPath | atl.cpp:685:12:685:20 | m_strPath | |
| atl.cpp:681:12:681:20 | ref arg m_strPath | atl.cpp:689:12:689:20 | m_strPath | |
| atl.cpp:683:11:683:12 | call to CPathT | atl.cpp:684:5:684:6 | p2 | |
| atl.cpp:683:11:683:12 | call to CPathT | atl.cpp:685:10:685:11 | p2 | |
| atl.cpp:684:5:684:6 | ref arg p2 | atl.cpp:685:10:685:11 | p2 | |
| atl.cpp:684:11:684:11 | call to operator char *& | atl.cpp:684:8:684:8 | call to operator+= | TAINT |
| atl.cpp:684:11:684:11 | ref arg p | atl.cpp:685:10:685:10 | p | |
| atl.cpp:684:11:684:11 | ref arg p | atl.cpp:689:10:689:10 | p | |
| atl.cpp:685:10:685:10 | p [post update] | atl.cpp:689:10:689:10 | p | |
| atl.cpp:685:12:685:20 | ref arg m_strPath | atl.cpp:689:12:689:20 | m_strPath | |
| atl.cpp:687:11:687:12 | call to CPathT | atl.cpp:688:5:688:6 | p3 | |
| atl.cpp:687:11:687:12 | call to CPathT | atl.cpp:689:10:689:11 | p3 | |
| atl.cpp:688:5:688:6 | ref arg p3 | atl.cpp:689:10:689:11 | p3 | |
| atl.cpp:688:11:688:11 | ref arg x | atl.cpp:694:15:694:15 | x | |
| atl.cpp:688:11:688:11 | ref arg x | atl.cpp:699:24:699:24 | x | |
| atl.cpp:688:11:688:11 | ref arg x | atl.cpp:705:30:705:30 | x | |