Verificación con LLM destapa dos fallos críticos en el cortafuegos nftables de Linux
Un equipo de la empresa Basis ha empleado modelos de lenguaje de gran tamaño (LLM) para verificar formalmente el compilador y optimizador de nftables, el cortafuegos integrado en el núcleo de Linux desde 2014. Durante el proceso, en el que reimplementaron la herramienta en el asistente de pruebas Ro
