Data flow: Rework lambda flow [DO NOT MERGE] #17975
Conversation
![github-advanced-security[bot]](https://avatars.githubusercontent.com/in/57789?s=60&v=4){kind=small}
| @@ -585,8 +599,7 @@ | |||
|
|
|||
| class LambdaCallKind = Method; // the "apply" method in the functional interface | |||
|
|
|||
| /** Holds if `creation` is an expression that creates a lambda of kind `kind` for `c`. */ | |||
| predicate lambdaCreation(Node creation, LambdaCallKind kind, DataFlowCallable c) { | |||
| predicate lambdaCreationHelper(Node creation, LambdaCallKind kind, DataFlowCallable c) { | |||
Check warning
Code scanning / CodeQL
Candidate predicate not marked as `nomagic` Warning
| n.(PostUpdateNode).getPreUpdateNode().(ExprNode).getControlFlowNode(), | ||
| n.(LocalFunctionCreationPostUpdateNode).getUnderlyingControlFlowNode() | ||
| ] | ||
| [n.(PostUpdateNode).getPreUpdateNode().(ExprNode).getControlFlowNode(),] |
Check warning
Code scanning / CodeQL
Singleton set literal Warning
| TSyntheticFieldContent(SyntheticField s) or | ||
| TLambdaReturnContent(Method m) or | ||
| TLambdaArgumentContent(Method m, ArgumentPosition pos) { | ||
| exists(m.getParameter(pos)) or pos = -1 |
Check warning
Code scanning / CodeQL
Var only used in one side of disjunct. Warning
| TSyntheticFieldApproxContent() or | ||
| TLambdaReturnContentApprox(Method m) or | ||
| TLambdaArgumentApprox(Method m, ArgumentPosition pos) { | ||
| exists(m.getParameter(pos)) or pos = -1 |
Check warning
Code scanning / CodeQL
Var only used in one side of disjunct. Warning
| TNodeLambdaMalloc(Node lambda) { lambdaCreation(lambda, _, _, _) } or | ||
| TNodeLambdaArgs(Node lambda) { lambdaCreation(lambda, _, _, _) } or | ||
| TNodeLambdaArg(DataFlowCall synthCall, ArgumentPosition apos, Boolean ispost) { | ||
| exists(DataFlowCallable c, ParameterNode p, ParameterPosition ppos | |
Check warning
Code scanning / CodeQL
Omittable 'exists' variable Warning
No description provided.