Conference
Jul 2026
A Multi-Language Parser Pipeline for Software Analysis and Verification
Complex source code analysis tasks for program understanding, verification, and compliance with regulatory frameworks and standards require appropriate in-memory models of the source code being analyzed. We present a flexible, multi-language pipeline supporting such analyses. By leveraging configurable front-end parser...
Mete Isiksalan, K. Kontogiannis, Michael Rennie et al.
· Annual International Compute... · 0 citations