Thanks to visit codestin.com
Credit goes to github.com

Skip to content

Commit 3abb904

Browse files
MathiasVPMathiasVP
committed
C++: Fix testcase to reveal problematic models.
1 parent 593e223 commit 3abb904

2 files changed

Lines changed: 6 additions & 14 deletions

File tree

‎cpp/ql/test/library-tests/dataflow/taint-tests/atl.cpp‎

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -682,11 +682,11 @@ void test_CPathT() {
682682

683683
CPath p2;
684684
p2 += p;
685-
sink(p.m_strPath); // $ ir
685+
sink(p2.m_strPath); // $ MISSING: ir
686686

687687
CPath p3;
688688
p3 += x;
689-
sink(p.m_strPath); // $ ir
689+
sink(p3.m_strPath); // $ MISSING: ir
690690
}
691691

692692
{

‎cpp/ql/test/library-tests/dataflow/taint-tests/localTaint.expected‎

Lines changed: 4 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -761,28 +761,20 @@ WARNING: module 'TaintTracking' has been deprecated and may be removed in future
761761
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:680:5:680:5 | p | |
762762
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:681:10:681:10 | p | |
763763
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:684:11:684:11 | p | |
764-
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:685:10:685:10 | p | |
765-
| atl.cpp:679:11:679:11 | call to CPathT | atl.cpp:689:10:689:10 | p | |
766764
| atl.cpp:680:5:680:5 | ref arg p | atl.cpp:681:10:681:10 | p | |
767765
| atl.cpp:680:5:680:5 | ref arg p | atl.cpp:684:11:684:11 | p | |
768-
| atl.cpp:680:5:680:5 | ref arg p | atl.cpp:685:10:685:10 | p | |
769-
| atl.cpp:680:5:680:5 | ref arg p | atl.cpp:689:10:689:10 | p | |
770766
| atl.cpp:680:14:680:14 | ref arg x | atl.cpp:688:11:688:11 | x | |
771767
| atl.cpp:680:14:680:14 | ref arg x | atl.cpp:694:15:694:15 | x | |
772768
| atl.cpp:680:14:680:14 | ref arg x | atl.cpp:699:24:699:24 | x | |
773769
| atl.cpp:680:14:680:14 | ref arg x | atl.cpp:705:30:705:30 | x | |
774770
| atl.cpp:681:10:681:10 | p [post update] | atl.cpp:684:11:684:11 | p | |
775-
| atl.cpp:681:10:681:10 | p [post update] | atl.cpp:685:10:685:10 | p | |
776-
| atl.cpp:681:10:681:10 | p [post update] | atl.cpp:689:10:689:10 | p | |
777-
| atl.cpp:681:12:681:20 | ref arg m_strPath | atl.cpp:685:12:685:20 | m_strPath | |
778-
| atl.cpp:681:12:681:20 | ref arg m_strPath | atl.cpp:689:12:689:20 | m_strPath | |
779771
| atl.cpp:683:11:683:12 | call to CPathT | atl.cpp:684:5:684:6 | p2 | |
772+
| atl.cpp:683:11:683:12 | call to CPathT | atl.cpp:685:10:685:11 | p2 | |
773+
| atl.cpp:684:5:684:6 | ref arg p2 | atl.cpp:685:10:685:11 | p2 | |
780774
| atl.cpp:684:11:684:11 | call to operator char *& | atl.cpp:684:8:684:8 | call to operator+= | TAINT |
781-
| atl.cpp:684:11:684:11 | ref arg p | atl.cpp:685:10:685:10 | p | |
782-
| atl.cpp:684:11:684:11 | ref arg p | atl.cpp:689:10:689:10 | p | |
783-
| atl.cpp:685:10:685:10 | p [post update] | atl.cpp:689:10:689:10 | p | |
784-
| atl.cpp:685:12:685:20 | ref arg m_strPath | atl.cpp:689:12:689:20 | m_strPath | |
785775
| atl.cpp:687:11:687:12 | call to CPathT | atl.cpp:688:5:688:6 | p3 | |
776+
| atl.cpp:687:11:687:12 | call to CPathT | atl.cpp:689:10:689:11 | p3 | |
777+
| atl.cpp:688:5:688:6 | ref arg p3 | atl.cpp:689:10:689:11 | p3 | |
786778
| atl.cpp:688:11:688:11 | ref arg x | atl.cpp:694:15:694:15 | x | |
787779
| atl.cpp:688:11:688:11 | ref arg x | atl.cpp:699:24:699:24 | x | |
788780
| atl.cpp:688:11:688:11 | ref arg x | atl.cpp:705:30:705:30 | x | |

0 commit comments

Comments
 (0)