QL: Add codeql-go sources (abe3f21)

Author: esbena

repo-tests/codeql-go.txt

@@ -0,0 +1 @@
+abe3f2148b92b1a94a0a3676cb4dab7d9211076f

repo-tests/codeql-go/ql/config/legacy-support/qlpack.yml

@@ -0,0 +1,3 @@
+name: legacy-libraries-go
+version: 0.0.0
+libraryPathDependencies: codeql-go

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

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

repo-tests/codeql-go/ql/examples/snippets/calltobuiltin.ql

@@ -0,0 +1,15 @@
+/**
+ * @name Call to built-in function
+ * @description Finds calls to the built-in `len` function.
+ * @id go/examples/calltolen
+ * @tags call
+ *       function
+ *       len
+ *       built-in
+ */
+
+import go
+
+from DataFlow::CallNode call
+where call = Builtin::len().getACall()
+select call

repo-tests/codeql-go/ql/examples/snippets/calltofunction.ql

@@ -0,0 +1,16 @@
+/**
+ * @name Call to library function
+ * @description Finds calls to "fmt.Println".
+ * @id go/examples/calltoprintln
+ * @tags call
+ *       function
+ *       println
+ */
+
+import go
+
+from Function println, DataFlow::CallNode call
+where
+  println.hasQualifiedName("fmt", "Println") and
+  call = println.getACall()
+select call

repo-tests/codeql-go/ql/examples/snippets/calltomethod.ql

@@ -0,0 +1,18 @@
+/**
+ * @name Call to method
+ * @description Finds calls to the `Get` method of type `Header` from the `net/http` package.
+ * @id go/examples/calltoheaderget
+ * @tags call
+ *       function
+ *       net/http
+ *       Header
+ *       strings
+ */
+
+import go
+
+from Method get, DataFlow::CallNode call
+where
+  get.hasQualifiedName("net/http", "Header", "Get") and
+  call = get.getACall()
+select call

repo-tests/codeql-go/ql/examples/snippets/constant.ql

@@ -0,0 +1,14 @@
+/**
+ * @name Compile-time constant
+ * @description Finds compile-time constants with value zero.
+ * @id go/examples/zeroconstant
+ * @tags expression
+ *       numeric value
+ *       constant
+ */
+
+import go
+
+from DataFlow::Node zero
+where zero.getNumericValue() = 0
+select zero

repo-tests/codeql-go/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 go/examples/emptythen
+ * @tags if
+ *       then
+ *       empty
+ *       conditional
+ *       branch
+ *       statement
+ */
+
+import go
+
+from IfStmt i
+where i.getThen().getNumStmt() = 0
+select i

repo-tests/codeql-go/ql/examples/snippets/fieldread.ql

@@ -0,0 +1,15 @@
+/**
+ * @name Field read
+ * @description Finds code that reads `Request.Method`.
+ * @id go/examples/readofrequestmethod
+ * @tags field
+ *       read
+ */
+
+import go
+
+from Field reqm, Read read
+where
+  reqm.hasQualifiedName("net/http", "Request", "Method") and
+  read = reqm.getARead()
+select read

repo-tests/codeql-go/ql/examples/snippets/fieldwrite.ql

@@ -0,0 +1,15 @@
+/**
+ * @name Field write
+ * @description Finds assignments to field `Status` of type `Response` from package `net/http`.
+ * @id go/examples/responsestatus
+ * @tags net/http
+ *       field write
+ */
+
+import go
+
+from Field status, Write write
+where
+  status.hasQualifiedName("net/http", "Response", "Status") and
+  write = status.getAWrite()
+select write, write.getRhs()