File tree Expand file tree Collapse file tree
cpp/ql/src/semmle/code/cpp/ir/dataflow Expand file tree Collapse file tree Original file line number Diff line number Diff line change @@ -19,11 +19,11 @@ private predicate predictableInstruction(Instruction instr) {
1919}
2020
2121private predicate userInputInstruction ( Instruction instr ) {
22- exists ( CallInstruction ci , WriteSideEffectInstruction wsei |
23- userInputArgument ( ci .getConvertedResultExpression ( ) , wsei .getIndex ( ) ) and
24- instr = wsei and
25- wsei .getPrimaryInstruction ( ) = ci
26- )
22+ exists ( CallInstruction ci , WriteSideEffectInstruction wsei |
23+ userInputArgument ( ci .getConvertedResultExpression ( ) , wsei .getIndex ( ) ) and
24+ instr = wsei and
25+ wsei .getPrimaryInstruction ( ) = ci
26+ )
2727 or
2828 userInputReturned ( instr .getConvertedResultExpression ( ) )
2929 or
Original file line number Diff line number Diff line change @@ -202,12 +202,9 @@ class DefinitionByReferenceNode extends Node {
202202 instr .getIndex ( ) = - 1
203203 }
204204
205-
206205 /** Gets the parameter through which this value is assigned. */
207206 Parameter getParameter ( ) {
208- exists ( CallInstruction ci |
209- result = ci .getStaticCallTarget ( ) .getParameter ( instr .getIndex ( ) )
210- )
207+ exists ( CallInstruction ci | result = ci .getStaticCallTarget ( ) .getParameter ( instr .getIndex ( ) ) )
211208 }
212209}
213210
@@ -216,9 +213,7 @@ class DefinitionByReferenceNode extends Node {
216213 */
217214Node instructionNode ( Instruction instr ) { result .asInstruction ( ) = instr }
218215
219- DefinitionByReferenceNode definitionByReferenceNode ( Expr e ) {
220- result .getArgument ( ) = e
221- }
216+ DefinitionByReferenceNode definitionByReferenceNode ( Expr e ) { result .getArgument ( ) = e }
222217
223218/**
224219 * Gets a `Node` corresponding to `e` or any of its conversions. There is no
You can’t perform that action at this time.
0 commit comments