Shared: Add trailing slash to driver letter TRAP IDs

Author: hvitved

ql/Cargo.lock

@@ -8,10 +8,12 @@ pub fn normalize_path(path: &Path) -> String {
         // have to do a bit of work removing certain prefixes and replacing
         // backslashes.
         let mut components: Vec<String> = Vec::new();
+        let mut is_disk = false;
         for component in path.components() {
             match component {
                 std::path::Component::Prefix(prefix) => match prefix.kind() {
                     std::path::Prefix::Disk(letter) | std::path::Prefix::VerbatimDisk(letter) => {
+                        is_disk = true;
                         components.push(format!("{}:", letter as char));
                     }
                     std::path::Prefix::Verbatim(x) | std::path::Prefix::DeviceNS(x) => {
@@ -31,6 +33,11 @@ pub fn normalize_path(path: &Path) -> String {
                 std::path::Component::ParentDir => {}
             }
         }
+        if components.len() == 1 && is_disk {
+            // If the path is just a drive letter, we need to add a trailing
+            // slash to match the CodeQL spec.
+            components.push("".to_string());
+        }
         components.join("/")
     } else {
         // For other operating systems, we can use the canonicalized path