nftables

LLM Destekli Formal Doğrulama nftables'ta İki Kritik Hata Buldu

Basis, LLM destekli formal doğrulama ile Linux'un nftables optimizasyoncusunda 2022'den beri süregelen iki kritik hata keşfetti.