codeql-development-mcp-server 2.25.1 → 2.25.2-next.1

package/ql/rust/tools/src/PrintCFG/PrintCFG.ql

@@ -0,0 +1,58 @@
+/**
+ * @name Print CFG for rust
+ * @description Produces a representation of a file's Control Flow Graph for specified source files.
+ * @id rust/tools/print-cfg
+ * @kind graph
+ * @tags cfg
+ */
+
+import rust
+import codeql.rust.controlflow.ControlFlowGraph
+import ExternalPredicates
+
+/**
+ * Gets a single source file from the comma-separated list.
+ */
+string getSelectedSourceFile() {
+  exists(string s | selectedSourceFiles(s) | result = s.splitAt(",").trim())
+}
+
+/**
+ * Gets a file by matching against the selected source file paths.
+ */
+File getSelectedFile() {
+  exists(string selectedFile |
+    selectedFile = getSelectedSourceFile() and
+    (
+      // Match by exact relative path from source root
+      result.getRelativePath() = selectedFile
+      or
+      // Match by file name if no path separators
+      not selectedFile.matches("%/%") and result.getBaseName() = selectedFile
+      or
+      // Match by ending path component
+      result.getAbsolutePath().suffix(result.getAbsolutePath().length() - selectedFile.length()) =
+        selectedFile
+    )
+  )
+}
+
+/**
+ * Holds if this CFG node should be included in output.
+ */
+predicate shouldPrintNode(CfgNode node) { node.getLocation().getFile() = getSelectedFile() }
+
+/**
+ * Configuration for PrintCFG that outputs filtered CFG nodes and edges.
+ */
+query predicate nodes(CfgNode node, string property, string value) {
+  shouldPrintNode(node) and
+  property = "semmle.label" and
+  value = node.toString()
+}
+
+query predicate edges(CfgNode pred, CfgNode succ) {
+  shouldPrintNode(pred) and
+  shouldPrintNode(succ) and
+  pred.getASuccessor() = succ
+}

package/ql/rust/tools/src/codeql-pack.lock.yml

@@ -0,0 +1,28 @@
+---
+lockVersion: 1.0.0
+dependencies:
+  codeql/concepts:
+    version: 0.0.20
+  codeql/controlflow:
+    version: 2.0.30
+  codeql/dataflow:
+    version: 2.1.2
+  codeql/mad:
+    version: 1.0.46
+  codeql/regex:
+    version: 1.0.46
+  codeql/rust-all:
+    version: 0.2.10
+  codeql/ssa:
+    version: 2.0.22
+  codeql/threat-models:
+    version: 1.0.46
+  codeql/tutorial:
+    version: 1.0.46
+  codeql/typeinference:
+    version: 0.0.27
+  codeql/typetracking:
+    version: 2.0.30
+  codeql/util:
+    version: 2.0.33
+compiled: false

package/ql/rust/tools/src/codeql-pack.yml

@@ -0,0 +1,6 @@
+name: advanced-security/ql-mcp-rust-tools-src
+version: 2.25.2-next.1
+description: 'Queries for codeql-development-mcp-server tools for rust language'
+library: false
+dependencies:
+  codeql/rust-all: 0.2.10

package/ql/swift/tools/src/codeql-pack.yml

@@ -1,5 +1,5 @@
 name: advanced-security/ql-mcp-swift-tools-src
-version: 2.25.1
+version: 2.25.2-next.1
 description: 'Queries for codeql-development-mcp-server tools for swift language'
 library: false
 dependencies:

package/scripts/setup-packs.sh

@@ -31,7 +31,7 @@ Install CodeQL pack dependencies for bundled tool query packs.
 
 OPTIONS:
     --language <lang>  Install packs only for the specified language
-                       Valid values: actions, cpp, csharp, go, java, javascript, python, ruby, swift
+                       Valid values: actions, cpp, csharp, go, java, javascript, python, ruby, rust, swift
     -h, --help         Show this help message
 
 By default, installs pack dependencies for all supported languages.
@@ -62,7 +62,7 @@ while [[ $# -gt 0 ]]; do
 done
 
 ## Validate language if provided
-VALID_LANGUAGES=("actions" "cpp" "csharp" "go" "java" "javascript" "python" "ruby" "swift")
+VALID_LANGUAGES=("actions" "cpp" "csharp" "go" "java" "javascript" "python" "ruby" "rust" "swift")
 if [ -n "${LANGUAGE}" ]; then
   LANGUAGE_VALID=false
   for valid_lang in "${VALID_LANGUAGES[@]}"; do