hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2025-12-16 16:53:25 +01:00
Code Issues Packages Projects Releases Wiki Activity

Pull out post-update node logic into predicate

Browse Source
This commit is contained in:
Owen Mansel-Chan
2025-05-05 17:51:25 -04:00
parent d13d7173ed
commit 7a515c101a
1 changed files with 14 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files

26
go/ql/lib/semmle/go/dataflow/internal/DataFlowNodes.qll
View File

@@ -807,22 +807,24 @@ module Public {
abstract Node getPreUpdateNode();
}
predicate hasPostUpdateNode(Node preupd) {
preupd instanceof AddressOperationNode
or
preupd = any(AddressOperationNode addr).getOperand()
or
preupd = any(PointerDereferenceNode deref).getOperand()
or
preupd = getAWrittenNode()
or
preupd = any(ArgumentNode arg).getACorrespondingSyntacticArgument() and
mutableType(preupd.getType())
}
private class DefaultPostUpdateNode extends PostUpdateNode {
Node preupd;
DefaultPostUpdateNode() {
(
preupd instanceof AddressOperationNode
or
preupd = any(AddressOperationNode addr).getOperand()
or
preupd = any(PointerDereferenceNode deref).getOperand()
or
preupd = getAWrittenNode()
or
preupd = any(ArgumentNode arg).getACorrespondingSyntacticArgument() and
mutableType(preupd.getType())
) and
hasPostUpdateNode(preupd) and
(
preupd = this.(SsaNode).getAUse()
or