State of the art in program analysis

Pietro Ferrara,Liana Hadarean
DOI: https://doi.org/10.1007/s10009-024-00766-x
2024-09-15
International Journal on Software Tools for Technology Transfer
Abstract:Over the last several decades, static and dynamic program analysis techniques have received widespread attention. Their application to mainstream programming languages always requires extending theories and finding practical solutions. This special issue of Software Tools for Technology Transfer presents novel theoretical directions and practical applications of these techniques. The papers in this special issue are extended versions of selected workshop papers from the proceedings of the 12th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP'23).
computer science, software engineering
What problem does this paper attempt to address?