LLM-based Code Auditing by Inferring and Evaluating Developer Assumptions

arXiv cs.CR · 14 oct, 06:00

Investigadores presentan Creed, una herramienta de auditoría de código basada en LLM que detecta vulnerabilidades infiriendo las creencias de seguridad del desarrollador y evaluando cuándo se violan. El enfoque logra detectar fallos semánticos de alto nivel, como canales laterales de tiempo, que las herramientas de análisis estático tradicionales pasan por alto.