We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 8128d23 commit 87c59e0Copy full SHA for 87c59e0
cpp/ql/src/semmle/code/cpp/ir/dataflow/DefaultTaintTracking.qll
@@ -28,6 +28,8 @@ private predicate userInputInstruction(Instruction instr) {
28
or
29
userInputReturned(instr.getConvertedResultExpression())
30
31
+ isUserInput(instr.getConvertedResultExpression(), _)
32
+ or
33
instr.getConvertedResultExpression() instanceof EnvironmentRead
34
35
instr
0 commit comments