Rust: Update the libc models.

Author: geoffw0

rust/ql/lib/codeql/rust/frameworks/libc.model.yml

@@ -3,12 +3,17 @@ extensions:
       pack: codeql/rust-all
       extensible: sourceModel
     data:
-      - ["libc::free", "Argument[0]", "pointer-invalidate", "manual"]
+      - ["libc::unix::free", "Argument[0]", "pointer-invalidate", "manual"]
+      - ["libc::windows::free", "Argument[0]", "pointer-invalidate", "manual"]
   - addsTo:
       pack: codeql/rust-all
       extensible: sinkModel
     data:
-      - ["libc::malloc", "Argument[0]", "alloc-size", "manual"]
-      - ["libc::aligned_alloc", "Argument[1]", "alloc-size", "manual"]
-      - ["libc::calloc", "Argument[0,1]", "alloc-size", "manual"]
-      - ["libc::realloc", "Argument[1]", "alloc-size", "manual"]
+      - ["libc::unix::malloc", "Argument[0]", "alloc-size", "manual"]
+      - ["libc::windows::malloc", "Argument[0]", "alloc-size", "manual"]
+      - ["libc::unix::aligned_alloc", "Argument[1]", "alloc-size", "manual"]
+      - ["libc::windows::aligned_alloc", "Argument[1]", "alloc-size", "manual"]
+      - ["libc::unix::calloc", "Argument[0,1]", "alloc-size", "manual"]
+      - ["libc::windows::calloc", "Argument[0,1]", "alloc-size", "manual"]
+      - ["libc::unix::realloc", "Argument[1]", "alloc-size", "manual"]
+      - ["libc::windows::realloc", "Argument[1]", "alloc-size", "manual"]