Java: update to reflect changes in VariableCapture.qll

This commit is contained in:
Asger F 2023-08-24 13:12:43 +02:00
Родитель cd7c851d64
Коммит f17518ace2
1 изменённых файлов: 5 добавлений и 4 удалений

Просмотреть файл

@ -114,9 +114,9 @@ private module CaptureInput implements VariableCapture::InputSig {
CapturedVariable getVariable() { result = v }
Expr getSource() {
result = this.(VariableAssign).getSource() or
result = this.(AssignOp)
Node getSource() {
result.asExpr() = this.(VariableAssign).getSource() or
result.asExpr() = this.(AssignOp)
}
}
@ -162,7 +162,8 @@ private CaptureFlow::ClosureNode asClosureNode(Node n) {
result.(CaptureFlow::ParameterNode).getParameter() = n.asParameter() or
result.(CaptureFlow::ThisParameterNode).getCallable() = n.(InstanceParameterNode).getCallable() or
exprNode(result.(CaptureFlow::MallocNode).getClosureExpr()).(PostUpdateNode).getPreUpdateNode() =
n
n or
result.(CaptureFlow::VariableWriteSourceNode).getVariableWrite().getSource() = n
}
private predicate captureStoreStep(Node node1, CapturedVariableContent c, Node node2) {