C++: Fix two bugs found by @rdmarsh2

Co-Authored-By: Robert Marsh <rdmarsh2@gmail.com>
This commit is contained in:
Jonas Jensen
2020-04-04 15:14:24 +02:00
parent 5822cd7b84
commit 108d5177b8
2 changed files with 2 additions and 2 deletions

View File

@@ -34,6 +34,6 @@ where
not taintedWithoutGlobals(arg) and
taintedWithPath(userValue, arg, sourceNode, sinkNode) and
isUserInput(userValue, cause)
select arg,
select arg, sourceNode, sinkNode,
"The value of this argument may come from $@ and is being used as a formatting argument to " +
printfFunction, userValue, cause

View File

@@ -489,7 +489,7 @@ module TaintedWithPath {
}
}
private class WrapPathNode extends PathNode, TPathNode {
private class WrapPathNode extends PathNode, TWrapPathNode {
DataFlow3::PathNode inner() { this = TWrapPathNode(result) }
override string toString() { result = this.inner().toString() }