Skip to content

Navigation Menu

Sign in
Appearance settings

Search code, repositories, users, issues, pull requests...

Provide feedback

We read every piece of feedback, and take your input very seriously.

Saved searches

Use saved searches to filter your results more quickly

Appearance settings

Commit 8154500

Browse filesBrowse files
committed
Data flow: Extend NodeEx.toString to new lambda nodes
1 parent a43b023 commit 8154500
Copy full SHA for 8154500

File tree

1 file changed

+9
-1
lines changed
Filter options

1 file changed

+9
-1
lines changed

‎shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll

Copy file name to clipboardExpand all lines: shared/dataflow/codeql/dataflow/internal/DataFlowImplCommon.qll
+9-1Lines changed: 9 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -876,7 +876,15 @@ module MakeImplCommon<LocationSig Location, InputSig<Location> Lang> {
876876
exists(Node n | this.isImplicitReadNode(n) | result = n.toString() + " [Ext]")
877877
or
878878
result = this.asParamReturnNode().toString() + " [Return]"
879-
//TODO
879+
or
880+
result = this.asLambdaMallocNode().toString() + " [LambdaMalloc]"
881+
or
882+
result = this.asLambdaInstancePostUpdateNode().toString() + " [LambdaPostUpdate]"
883+
or
884+
exists (DataFlowCall synthcall, ArgumentPosition apos, boolean isPost |
885+
this.isLambdaArgNode(synthcall, apos, isPost) |
886+
result = synthcall.toString() + "-" + apos.toString() + "-" + isPost.toString() + " [LambdaArg]"
887+
)
880888
}
881889

882890
Node asNode() { this = TNodeNormal(result) }

0 commit comments

Comments
0 (0)
Morty Proxy This is a proxified and sanitized view of the page, visit original site.