NeuroLog is a build-free neuro-symbolic pipeline that extracts facts via LLM, composes them in Datalog, filters with SMT, and synthesizes crashes to rediscover CVEs and find new memory-safety bugs in libraries like libarchive and curl.
arXiv:2408.12986
3 Pith papers cite this work, alongside 8 external citations. Polarity classification is still indexing.
3
Pith papers citing it
8
external citations · OpenAlex
citation-role summary
background 2
citation-polarity summary
years
2026 3roles
background 2polarities
background 2representative citing papers
CodeQL detected 171 CVEs total, with 83 caught by a prior version before the fix; detections were often actionable within the vulnerable file but not stable across tool versions.
citing papers explorer
-
NeuroLog: Reasoning You Can Audit -- Neuro-Symbolic Vulnerability Discovery via LLM Facts, Datalog, and SMT
NeuroLog is a build-free neuro-symbolic pipeline that extracts facts via LLM, composes them in Datalog, filters with SMT, and synthesizes crashes to rediscover CVEs and find new memory-safety bugs in libraries like libarchive and curl.
-
Longitudinal Analyses of SAST Tools: A CodeQL Case Study
CodeQL detected 171 CVEs total, with 83 caught by a prior version before the fix; detections were often actionable within the vulnerable file but not stable across tool versions.
- A Comprehensive Evaluation of Code Language Models for Security Patch Detection