We used LLMs to verify Linux's nftables `nft` CLI utility. Along the way, we found and patched bugs that had sat in the kernel for years.
  • henfredemars@infosec.pubEnglish
    1·
    25 dagar sedan

    I’m not sure that verification is the correct word. I would expect more formal methods to be used.