Merge pull request #2634 from MathiasVP/overrideable-taint-sources

C++: Overrideable taint sources in DefaultTaintTracking
This commit is contained in:
Jonas Jensen
2020-01-17 13:01:03 +01:00
committed by GitHub

View File

@@ -28,6 +28,8 @@ private predicate userInputInstruction(Instruction instr) {
or
userInputReturned(instr.getConvertedResultExpression())
or
isUserInput(instr.getConvertedResultExpression(), _)
or
instr.getConvertedResultExpression() instanceof EnvironmentRead
or
instr