Thanks to visit codestin.com Credit goes to github.com
We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 3b1feee commit 291027aCopy full SHA for 291027a
1 file changed
cpp/ql/test/library-tests/dataflow/dataflow-tests/test.cpp
@@ -329,21 +329,21 @@ namespace NestedTests {
329
namespace FlowThroughGlobals {
330
int globalVar;
331
332
- int taintGlobal() {
+ void taintGlobal() {
333
globalVar = source();
334
}
335
336
- int f() {
+ void f() {
337
sink(globalVar); // $ ir=333:17 ir=347:17 // tainted or clean? Not sure.
338
taintGlobal();
339
sink(globalVar); // $ ir=333:17 ir=347:17 MISSING: ast
340
341
342
- int calledAfterTaint() {
+ void calledAfterTaint() {
343
344
345
346
- int taintAndCall() {
+ void taintAndCall() {
347
348
calledAfterTaint();
349
sink(globalVar); // $ ast ir=333:17 ir=347:17
0 commit comments