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;
150
150
module CaptureFlow = VariableCapture:: Flow< CaptureInput > ;
151
151
152
152
private 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
155
157
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
159
164
exprNode ( result .( CaptureFlow:: MallocNode ) .getClosureExpr ( ) ) .( PostUpdateNode ) .getPreUpdateNode ( ) =
160
- n or
165
+ n
166
+ or
161
167
exists ( CaptureInput:: VariableWrite write |
162
168
result .( CaptureFlow:: VariableWriteSourceNode ) .getVariableWrite ( ) = write
163
169
|
You can’t perform that action at this time.
0 commit comments