> Two findings in the Linux kernel illustrate the depth of these results. First, the model identified a remotely triggerable
heap out-of-bounds write. The bug was introduced by an incomplete upstream fix and affects all subsequent releases,
up to and including the latest upstream code
Hope these Linux Kernel bugs due to some incomplete upstream fix identified by K3 patched? Moonshot did not provide much details on this.