QL: Add codeql-ruby sources (236643f)

Author: esbena

repo-tests/codeql-ruby.txt

@@ -0,0 +1 @@
+236643fc43b8ae09e15dfa13e86bfdb61a106668

repo-tests/codeql-ruby/ql/consistency-queries/AstConsistency.ql

@@ -0,0 +1,25 @@
+import codeql.ruby.AST
+import codeql.ruby.ast.internal.Synthesis
+
+query predicate missingParent(AstNode node, string cls) {
+  not exists(node.getParent()) and
+  node.getLocation().getFile().getExtension() != "erb" and
+  not node instanceof Toplevel and
+  cls = node.getPrimaryQlClasses()
+}
+
+pragma[noinline]
+private AstNode parent(AstNode child, int desugarLevel) {
+  result = child.getParent() and
+  desugarLevel = desugarLevel(result)
+}
+
+query predicate multipleParents(AstNode node, AstNode parent, string cls) {
+  parent = node.getParent() and
+  cls = parent.getPrimaryQlClasses() and
+  exists(AstNode one, AstNode two, int desugarLevel |
+    one = parent(node, desugarLevel) and
+    two = parent(node, desugarLevel) and
+    one != two
+  )
+}

repo-tests/codeql-ruby/ql/consistency-queries/CfgConsistency.ql

@@ -0,0 +1 @@
+import codeql.ruby.controlflow.internal.ControlFlowGraphImplShared::Consistency

repo-tests/codeql-ruby/ql/consistency-queries/DataFlowConsistency.ql

@@ -0,0 +1 @@
+import codeql.ruby.dataflow.internal.DataFlowImplConsistency::Consistency

repo-tests/codeql-ruby/ql/consistency-queries/SsaConsistency.ql

@@ -0,0 +1,22 @@
+import ruby
+import codeql.ruby.dataflow.SSA
+import codeql.ruby.controlflow.ControlFlowGraph
+
+query predicate nonUniqueDef(CfgNode read, Ssa::Definition def) {
+  read = def.getARead() and
+  exists(Ssa::Definition other | read = other.getARead() and other != def)
+}
+
+query predicate readWithoutDef(LocalVariableReadAccess read) {
+  exists(CfgNode node |
+    node = read.getAControlFlowNode() and
+    not node = any(Ssa::Definition def).getARead()
+  )
+}
+
+query predicate deadDef(Ssa::Definition def, LocalVariable v) {
+  v = def.getSourceVariable() and
+  not v.isCaptured() and
+  not exists(def.getARead()) and
+  not def = any(Ssa::PhiNode phi).getAnInput()
+}

repo-tests/codeql-ruby/ql/consistency-queries/VariablesConsistency.ql

@@ -0,0 +1,6 @@
+import codeql.ruby.ast.Variable
+
+query predicate ambiguousVariable(VariableAccess access, Variable variable) {
+  access.getVariable() = variable and
+  count(access.getVariable()) > 1
+}

repo-tests/codeql-ruby/ql/consistency-queries/qlpack.yml

@@ -0,0 +1,5 @@
+name: codeql/ruby-consistency-queries
+version: 0.0.1
+dependencies:
+  codeql/ruby-all: 0.0.1
+

repo-tests/codeql-ruby/ql/examples/qlpack.yml

@@ -0,0 +1,4 @@
+name: codeql/ruby-examples
+version: 0.0.2
+dependencies:
+  codeql/ruby-all: ^0.0.2

repo-tests/codeql-ruby/ql/examples/snippets/emptythen.ql

@@ -0,0 +1,18 @@
+/**
+ * @name If statements with empty then branch
+ * @description Finds 'if' statements where the 'then' branch is
+ *              an empty block statement
+ * @id ruby/examples/emptythen
+ * @tags if
+ *       then
+ *       empty
+ *       conditional
+ *       branch
+ *       statement
+ */
+
+import ruby
+
+from IfExpr i
+where not exists(i.getThen().getAChild())
+select i

repo-tests/codeql-ruby/ql/lib/codeql/IDEContextual.qll

@@ -0,0 +1,19 @@
+private import codeql.files.FileSystem
+
+/**
+ * Returns an appropriately encoded version of a filename `name`
+ * passed by the VS Code extension in order to coincide with the
+ * output of `.getFile()` on locatable entities.
+ */
+cached
+File getFileBySourceArchiveName(string name) {
+  // The name provided for a file in the source archive by the VS Code extension
+  // has some differences from the absolute path in the database:
+  // 1. colons are replaced by underscores
+  // 2. there's a leading slash, even for Windows paths: "C:/foo/bar" ->
+  //    "/C_/foo/bar"
+  // 3. double slashes in UNC prefixes are replaced with a single slash
+  // We can handle 2 and 3 together by unconditionally adding a leading slash
+  // before replacing double slashes.
+  name = ("/" + result.getAbsolutePath().replaceAll(":", "_")).replaceAll("//", "/")
+}