File tree Expand file tree Collapse file tree 1 file changed +12
-6
lines changed
java/ql/lib/semmle/code/java/dataflow/internal Expand file tree Collapse file tree 1 file changed +12
-6
lines changed Original file line number Diff line number Diff line change @@ -150,14 +150,20 @@ class CapturedParameter = CaptureInput::CapturedParameter;
150150module CaptureFlow = VariableCapture:: Flow< CaptureInput > ;
151151
152152private CaptureFlow:: ClosureNode asClosureNode ( Node n ) {
153- result = n .( CaptureNode ) .getSynthesizedCaptureNode ( ) or
154- result .( CaptureFlow:: ExprNode ) .getExpr ( ) = n .asExpr ( ) or
153+ result = n .( CaptureNode ) .getSynthesizedCaptureNode ( )
154+ or
155+ result .( CaptureFlow:: ExprNode ) .getExpr ( ) = n .asExpr ( )
156+ or
155157 result .( CaptureFlow:: ExprPostUpdateNode ) .getExpr ( ) =
156- n .( PostUpdateNode ) .getPreUpdateNode ( ) .asExpr ( ) or
157- result .( CaptureFlow:: ParameterNode ) .getParameter ( ) = n .asParameter ( ) or
158- result .( CaptureFlow:: ThisParameterNode ) .getCallable ( ) = n .( InstanceParameterNode ) .getCallable ( ) or
158+ n .( PostUpdateNode ) .getPreUpdateNode ( ) .asExpr ( )
159+ or
160+ result .( CaptureFlow:: ParameterNode ) .getParameter ( ) = n .asParameter ( )
161+ or
162+ result .( CaptureFlow:: ThisParameterNode ) .getCallable ( ) = n .( InstanceParameterNode ) .getCallable ( )
163+ or
159164 exprNode ( result .( CaptureFlow:: MallocNode ) .getClosureExpr ( ) ) .( PostUpdateNode ) .getPreUpdateNode ( ) =
160- n or
165+ n
166+ or
161167 exists ( CaptureInput:: VariableWrite write |
162168 result .( CaptureFlow:: VariableWriteSourceNode ) .getVariableWrite ( ) = write
163169 |
You can’t perform that action at this time.
0 commit comments