hohn/codeql
1
0
Fork 0
mirror of https://github.com/github/codeql.git synced 2026-02-20 08:53:49 +01:00
Code Issues Packages Projects Releases Wiki Activity

Address comments

Browse Source
This commit is contained in:
Arthur Baars
2021-02-09 13:54:46 +01:00
parent a752491c5f
commit bb89e134c4
6 changed files with 65 additions and 68 deletions
Download Patch File Download Diff File Expand all files Collapse all files

19
ql/src/codeql_ruby/dataflow/internal/DataFlowPrivate.qll
View File

@@ -133,20 +133,23 @@ private module Cached {
nodeFrom.asExpr() = nodeTo.asExpr().(CfgNodes::ExprNodes::CaseExprCfgNode).getBranch(_)
or
exists(CfgNodes::ExprCfgNode exprTo, ExprReturnNode n |
nodeFrom = n and exprTo = nodeTo.asExpr() and n.getKind() instanceof BreakReturnKind
|
nodeFrom = n and
exprTo = nodeTo.asExpr() and
n.getKind() instanceof BreakReturnKind and
exprTo.getNode() instanceof Loop and
nodeTo.asExpr().getAPredecessor(any(SuccessorTypes::BreakSuccessor s)) = n.getExprNode()
)
or
nodeFrom.asExpr() = nodeTo.(ExprReturnNode).getExprNode().getReturnedValueNode()
or
exists(CfgNodes::ExprNodes::ForExprCfgNode for | for = nodeTo.asExpr() |
exists(SuccessorType s, CfgNode n | not s instanceof SuccessorTypes::BreakSuccessor |
for.getAPredecessor(s) = n
) and
nodeFrom.asExpr() = for.getValue()
)
nodeTo.asExpr() =
any(CfgNodes::ExprNodes::ForExprCfgNode for |
exists(SuccessorType s |
not s instanceof SuccessorTypes::BreakSuccessor and
exists(for.getAPredecessor(s))
) and
nodeFrom.asExpr() = for.getValue()
)
}
cached