Static and dynamic program analysis techniques have been studied for several decades to provide foundations for tools that discover software defects or that verify their adherence to semantic properties. Applying these techniques to real-world programs presents several challenges, such as scalability and precision. This special issue of Software Tools for Technology Transfer comprises novel results and practical applications of these techniques. The papers in this special issue are extended versions of selected workshop papers from the proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2025).
State of the art in program analysis
Negrini, Luca
2026
Abstract
Static and dynamic program analysis techniques have been studied for several decades to provide foundations for tools that discover software defects or that verify their adherence to semantic properties. Applying these techniques to real-world programs presents several challenges, such as scalability and precision. This special issue of Software Tools for Technology Transfer comprises novel results and practical applications of these techniques. The papers in this special issue are extended versions of selected workshop papers from the proceedings of the 14th ACM SIGPLAN International Workshop on the State Of the Art in Program Analysis (SOAP 2025).
| File | Dimensione | Formato | |
|---|---|---|---|
|
s10009-026-00867-9.pdf
accesso aperto
Tipologia:
Versione dell'editore
Licenza:
Creative commons
Dimensione
885.64 kB
Formato
Adobe PDF
|
885.64 kB | Adobe PDF | Visualizza/Apri |
I documenti in ARCA sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
