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

Merge remote-tracking branch 'origin/main' into call_ast

Browse Source
This commit is contained in:
Nick Rolfe
2021-01-22 11:48:32 +00:00
parent 2e8d154f2b 08c655e4e3
commit ccd8a2aae6
3 changed files with 1068 additions and 1057 deletions
Download Patch File Download Diff File Expand all files Collapse all files

16
ql/src/codeql_ruby/controlflow/ControlFlowGraph.qll
View File

@@ -1,6 +1,7 @@
/** Provides classes representing the control flow graph. */
private import codeql.Locations
private import codeql_ruby.AST as AST
private import codeql_ruby.ast.internal.TreeSitter::Generated
private import codeql_ruby.controlflow.BasicBlocks
private import SuccessorTypes
@@ -133,9 +134,18 @@ module CfgNodes {
final override AstNode getNode() { result = n }
final override string toString() {
result = "[" + this.getSplitsString() + "] " + n.toString()
or
not exists(this.getSplitsString()) and result = n.toString()
exists(string s |
// TODO: Remove once the SSA implementation is based on the AST layer
s = n.(AST::AstNode).toString() and
s != "AstNode"
or
n.(AST::AstNode).toString() = "AstNode" and
s = n.toString()
|
result = "[" + this.getSplitsString() + "] " + s
or
not exists(this.getSplitsString()) and result = s
)
}
/** Gets a comma-separated list of strings for each split in this node, if any. */