File tree Expand file tree Collapse file tree 1 file changed +5
-5
lines changed
cpp/ql/test/library-tests/dataflow/taint-tests Expand file tree Collapse file tree 1 file changed +5
-5
lines changed Original file line number Diff line number Diff line change @@ -5,18 +5,18 @@ void sink(...);
55class MyValue
66{
77public:
8- MyValue (int _x) : x(_x) {}; // taint flows directly from _x to x
9- MyValue (int _x, bool ex) : MyValue(_x) {}; // taint flows indirectly from _x to x
10- MyValue (int _x, int _y) : MyValue(_x + _y) {}; // taint flows indirectly from _x to x
11- MyValue (int _x, bool ex1, bool ex2) : MyValue(0 ) {}; // taint doesn't flow to _x
8+ MyValue (int _x) : x(_x) {}; // taint flows from parameter `_x` to member variable `x`
9+ MyValue (int _x, bool ex) : MyValue(_x) {}; // taint flows from parameter `_x` to member variable `x`
10+ MyValue (int _x, int _y) : MyValue(_x + _y) {}; // taint flows from parameters `_x` and `_y` to member variable `x`
11+ MyValue (int _x, bool ex1, bool ex2) : MyValue(0 ) {}; // taint doesn't flow from parameter `_x`
1212
1313 int x;
1414};
1515
1616class MyDerivedValue : public MyValue
1717{
1818public:
19- MyDerivedValue (bool ex, int _x) : MyValue(_x) {}; // taint flows indirectly from _x to x
19+ MyDerivedValue (bool ex, int _x) : MyValue(_x) {}; // taint flows from parameter `_x` to member variable `x`
2020};
2121
2222void test_inits ()
You can’t perform that action at this time.
0 commit comments