Skip to content

Commit 8154500

Browse files
committed
Data flow: Extend NodeEx.toString to new lambda nodes
1 parent a43b023 commit 8154500

File tree

1 file changed

+9
-1
lines changed

1 file changed

+9
-1
lines changed

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

Lines 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)