Skip to content

Commit 612c241

Browse files
asgerfCopilot
andcommitted
Update isEscape predicate to include incoming values
Co-authored-by: Copilot Autofix powered by AI <175728472+Copilot@users.noreply.github.com>
1 parent 1cc99d5 commit 612c241

1 file changed

Lines changed: 2 additions & 0 deletions

File tree

‎unified/ql/lib/codeql/unified/internal/dataflow/CaptureSsa.qll‎

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -93,6 +93,8 @@ module CaptureSsaInput implements InputSig<Location, BasicBlock> {
9393
private predicate isEscape(BuilderNode node) {
9494
node.isResultValue(any(Argument arg).getValue())
9595
or
96+
node.isIncomingValue(any(DataFlowCall call).asSetterCall())
97+
or
9698
node.isImplicitArgument(_, _, _)
9799
or
98100
exists(U::Expr e |

0 commit comments

Comments
 (0)