{
  "schemaVersion": 1,
  "kind": "source-code-audit",
  "generatedAt": "2026-10-16T05:13:52.313Z",
  "version": "Linux v6.12",
  "commit": "adc218676eef25575469234709c2d87185ca223a",
  "method": "Fetch three pinned upstream files; assert bounded source markers and hash complete bytes.",
  "limitations": "Static marker checks, not execution, whole-program proof or NFS server conformance testing.",
  "humanPage": "https://hesela.com/analyses/nfs-silly-rename-open-unlink/",
  "sources": [
    {
      "id": "open-result",
      "path": "fs/nfs/nfs4proc.c",
      "url": "https://raw.githubusercontent.com/torvalds/linux/adc218676eef25575469234709c2d87185ca223a/fs/nfs/nfs4proc.c",
      "sha256": "6f2d6bf487a1d01004814191636e08619ada6d17866c095c9b1af74cef16b5f6",
      "markerStartLine": 3139,
      "finding": "The OPEN result sets the inode preservation flag."
    },
    {
      "id": "unlink-gate",
      "path": "fs/nfs/dir.c",
      "url": "https://raw.githubusercontent.com/torvalds/linux/adc218676eef25575469234709c2d87185ca223a/fs/nfs/dir.c",
      "sha256": "628232ca4c45988df377b659be7f60de132f53cac6caf17d8ad5b08b6c6b43d1",
      "markerStartLine": 2559,
      "finding": "The referenced-dentry silly-rename branch requires an absent preservation flag."
    },
    {
      "id": "stale-comment",
      "path": "fs/nfs/unlink.c",
      "url": "https://raw.githubusercontent.com/torvalds/linux/adc218676eef25575469234709c2d87185ca223a/fs/nfs/unlink.c",
      "sha256": "acc5cf751d0ac299b5ce2e3a6859b3619f8d6ba35d78187066ac1832e9a8413e",
      "markerStartLine": 439,
      "finding": "A future-tense preservation comment coexists with the implemented OPEN and unlink path."
    }
  ]
}