LLM-Speicher versehentlich in Programmanalyse verwandelt
I accidentally turned LLM memory into program analysis
Ein Sicherheitsforscher stellt Lemmalog vor, eine Datalog-Engine für LLM-Agenten, die während Schwachstellenanalysen Wissen strukturiert verwaltet. Statt dass das Modell seinen gesamten Kontext rekonstruiert, extrahiert es Fakten, aus denen die Engine Schlussfolgerungen ableitet, Abhängigkeiten nachverfolgt und bei neuen Erkenntnissen automatisch ungültige Schlüsse entfernt. Das System unterstützt auch Provenienz, Zeitintervalle und hybride Abfragen mit Vektordatenbanken.
Der LLM fungiert als Frontend: Quellcode, Debugger-Ausgabe und Notizen werden zu strukturierten Fakten; Lemmalog ist die Zwischendarstellung und Analyse-Engine, die diese Fakten mit deduktiven Regeln zu einem gepflegten Zustand verarbeitet.