C++: handle namespace vars in DefautlTaintTracking

This commit is contained in:
Robert Marsh
2019-12-04 13:16:12 -08:00
parent d99a90bfea
commit 420a0bb74c

View File

@@ -206,7 +206,7 @@ predicate taintedIncludingGlobalVars(Expr source, Element tainted, string global
accessesVariable(load.asInstruction(), global) and
fromCfg.hasFlow(load, sink) and
tainted = adjustedSink(sink) and
globalVar = global.toString()
global = globalVarFromId(globalVar)
)
}