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

Remove local flow step from SSA defn to SSA capture

Browse Source
This commit is contained in:
Owen Mansel-Chan
2025-09-05 14:20:06 +01:00
parent b4743155f6
commit 49b8b0bca3
1 changed files with 0 additions and 10 deletions
Download Patch File Download Diff File Expand all files Collapse all files

10
go/ql/lib/semmle/go/dataflow/internal/DataFlowPrivate.qll
View File

@@ -72,16 +72,6 @@ predicate basicLocalFlowStep(Node nodeFrom, Node nodeTo) {
nodeTo = ssaNode(succ.getVariable()) nodeTo = ssaNode(succ.getVariable())
) )
or or
// SSA defn -> SSA capture
exists(SsaExplicitDefinition pred, SsaVariableCapture succ |
// Check: should these flow from PHIs as well? Perhaps they should be included
// in the use-use graph?
succ.getSourceVariable() = pred.getSourceVariable()
|
nodeFrom = ssaNode(pred.getVariable()) and
nodeTo = ssaNode(succ.getVariable())
)
or
// SSA defn -> first SSA use // SSA defn -> first SSA use
exists(SsaDefinition pred, IR::Instruction succ | succ = pred.getAFirstUse() | exists(SsaDefinition pred, IR::Instruction succ | succ = pred.getAFirstUse() |
(pred instanceof SsaExplicitDefinition or pred instanceof SsaVariableCapture) and (pred instanceof SsaExplicitDefinition or pred instanceof SsaVariableCapture) and