File tree Expand file tree Collapse file tree 2 files changed +5
-3
lines changed
cpp/ql/test/library-tests/dataflow/taint-tests Expand file tree Collapse file tree 2 files changed +5
-3
lines changed Original file line number Diff line number Diff line change 6033
6033
| taint.cpp:617:7:617:11 | ref arg dest3 | taint.cpp:618:8:618:12 | dest3 | |
6034
6034
| taint.cpp:618:8:618:12 | dest3 | taint.cpp:618:7:618:12 | * ... | TAINT |
6035
6035
| taint.cpp:625:33:625:38 | source | taint.cpp:628:17:628:22 | source | |
6036
- | taint.cpp:628:7:628:15 | call to _strnextc | taint.cpp:628:3:628:23 | ... = ... | |
6036
+ | taint.cpp:628:7:628:15 | call to _strnextc | taint.cpp:628:3:628:25 | ... = ... | |
6037
6037
| taint.cpp:628:7:628:15 | call to _strnextc | taint.cpp:629:8:629:8 | c | |
6038
6038
| taint.cpp:628:7:628:15 | call to _strnextc | taint.cpp:630:10:630:10 | c | |
6039
- | taint.cpp:628:17:628:22 | source | taint.cpp:628:7:628:15 | call to _strnextc | TAINT |
6039
+ | taint.cpp:628:17:628:22 | source | taint.cpp:628:17:628:24 | ... ++ | |
6040
+ | taint.cpp:628:17:628:24 | ... ++ | taint.cpp:628:7:628:15 | call to _strnextc | TAINT |
6041
+ | taint.cpp:628:17:628:24 | ... ++ | taint.cpp:628:17:628:22 | source | TAINT |
6040
6042
| taint.cpp:631:6:631:14 | call to _strnextc | taint.cpp:631:2:631:18 | ... = ... | |
6041
6043
| taint.cpp:631:6:631:14 | call to _strnextc | taint.cpp:632:7:632:7 | c | |
6042
6044
| taint.cpp:631:16:631:17 | | taint.cpp:631:6:631:14 | call to _strnextc | TAINT |
Original file line number Diff line number Diff line change @@ -625,7 +625,7 @@ unsigned int _strnextc(const char*);
625
625
void test__strnextc (const char * source) {
626
626
unsigned c = 0 ;
627
627
do {
628
- c = _strnextc (source);
628
+ c = _strnextc (source++ );
629
629
sink (c); // $ ast,ir
630
630
} while (c != ' \0 ' );
631
631
c = _strnextc (" " );
You can’t perform that action at this time.
0 commit comments