{
  "verdict": "reproduced",
  "impact": "panic",
  "confidence": "certain",
  "reproduce": {
    "build": "cc -O2 -o flood flood.c   (unprivileged user on guest)",
    "run": "root: ifconfig gif0 create; ifconfig gif0 tunnel 127.0.0.1 127.0.0.99; ifconfig gif0 10.98.0.1 10.98.0.2 up; route add -net 10.99.0.0/24 -iface gif0;  user: ./flood 6 10.99.0.1 &  root: ./churn.sh 300",
    "expected": "Fatal trap 12, fault virtual address = 0x1, Stopped at gif_output+0x128: movzbl 0x1(%rax),%eax  (within ~1-2 min)"
  },
  "kernel_refs": [
    "sys/net/gif/if_gif.c:176-203",
    "sys/net/gif/if_gif.c:332-394",
    "sys/net/gif/if_gif.c:345-350",
    "sys/net/gif/if_gif.c:373",
    "sys/net/gif/if_gif.c:814-843",
    "sys/netinet/in_gif.c:96-110",
    "sys/netinet/in_gif.c:156-163",
    "sys/netinet/in_gif.c:183-216",
    "sys/netinet6/in6_gif.c:97-113",
    "sys/netinet6/in6_gif.c:172-201",
    "sys/net/if.c:2012-2016",
    "sys/net/if.c:2335-2352",
    "sys/net/if.c:642",
    "sys/net/if_clone.c:126-132"
  ],
  "artifacts": [
    "flood.c", "churn.sh", "run.sh", "build.sh",
    "run.log", "panic.txt", "fix_run.log", "env.txt", "fix.diff",
    "README.md", "VERDICT.md", "manifest.json", "verdict.json"
  ]
}