» Tag

nftables

2 posts

Jul 20, 20268.52
LLM-Assisted Formal Verification Uncovers Two Critical nftables Bugs
Basis used LLM-guided formal verification in Rocq to audit Linux's nftables optimizer, uncovering two critical bugs since 2022.
formal-verification linux llm networking
Aug 22, 20267.40
Reviewing nftables Changes as a Packet-Set Diff
A new tool compares nftables changes as packet-set diffs, enhancing firewall rule reviews.
firewall networking nftables security
Ad
CommitBrief — AI code reviews, right in your terminal
A provider-agnostic, local-first CLI that reviews your staged changes, a historic range, or a whole GitHub pull request. Zero telemetry, no server. Free and open source.
commitbrief.com