PatchLens recovers compact Boolean predicates (VICs) over configuration options for vulnerabilities from patch analysis in C/C++ systems, showing most vulnerabilities affect only subsets of variants and CVE texts rarely encode the options.
Title resolution pending
2 Pith papers cite this work. Polarity classification is still indexing.
2
Pith papers citing it
fields
cs.SE 2years
2026 2verdicts
UNVERDICTED 2representative citing papers
Reasoning-optimized LLMs achieve 88-89% accuracy on 16 feature model analysis operations applied to semi-formal textual blueprints, approaching solver-based FLAMA performance.
citing papers explorer
-
Automated Detection of Configuration-Specific Security Vulnerabilities via Patch Analysis
PatchLens recovers compact Boolean predicates (VICs) over configuration options for vulnerabilities from patch analysis in C/C++ systems, showing most vulnerabilities affect only subsets of variants and CVE texts rarely encode the options.
-
Early-Stage Product Line Validation Using LLMs: A Study on Semi-Formal Blueprint Analysis
Reasoning-optimized LLMs achieve 88-89% accuracy on 16 feature model analysis operations applied to semi-formal textual blueprints, approaching solver-based FLAMA performance.