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

Convert post-update logic to IR (part 1)

Browse Source
This commit is contained in:
Owen Mansel-Chan
2025-05-05 18:50:04 -04:00
parent 7a515c101a
commit c8b8e25fbb
1 changed files with 11 additions and 5 deletions
Download Patch File Download Diff File Expand all files Collapse all files

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

@@ -807,12 +807,18 @@ module Public {
abstract Node getPreUpdateNode(); abstract Node getPreUpdateNode();
} }
predicate insnHasPostUpdateNode(IR::Instruction insn) {
exists(Expr e | insn.(IR::EvalInstruction).getExpr() = e |
e instanceof AddressExpr or
e = any(AddressExpr ae).getOperand() or
e = any(StarExpr ae).getBase() or
e = any(DerefExpr ae).getOperand() or
e = any(IR::EvalImplicitDerefInstruction eidi).getOperand()
)
}
predicate hasPostUpdateNode(Node preupd) { predicate hasPostUpdateNode(Node preupd) {
preupd instanceof AddressOperationNode insnHasPostUpdateNode(preupd.asInstruction())
or
preupd = any(AddressOperationNode addr).getOperand()
or
preupd = any(PointerDereferenceNode deref).getOperand()
or or
preupd = getAWrittenNode() preupd = getAWrittenNode()
or or