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).
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Arceri, V., Dolcetti, G., Zaffanella, E.: Speeding up static analysis with the split operator. Int. J. Softw. Tools Technol. Transf. (2024, in press)
Erhard, J., Schwarz, M., Vojdani, V., Saan, S., Seidl, H.: When long jumps fall short: Control-flow tracking and misuse detection for non-local jumps in c. Int. J. Softw. Tools Technol. Transf. (2024, in press)
Ferrara, P., Hadarean, L. (eds.): Proceedings of the 12th ACM SIGPLAN International Workshop on the State of the Art in Program Analysis, SOAP ACM, New York (2023). https://doi.org/10.1145/3589250
Liblit, B., Lyu, Y., Mukherjee, R., Tripp, O., Wang, Y.: User-assisted code query customization and optimization. Int. J. Softw. Tools Technol. Transf. (2024, in press)
Taft, T.: Sound and precise static analysis using a generalization of static single assignment and value numbering. Int. J. Softw. Tools Technol. Transf. (2024, in press)
Acknowledgement
First, we thank all the authors for their contributions. A special thanks also goes to the program committee of SOAP 2023 for their help in selecting the papers for the conference program and to all the referees who reviewed the extended versions of the papers that appear in this special issue.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher’s Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
Springer Nature or its licensor (e.g. a society or other partner) holds exclusive rights to this article under a publishing agreement with the author(s) or other rightsholder(s); author self-archiving of the accepted manuscript version of this article is solely governed by the terms of such publishing agreement and applicable law.
About this article
Cite this article
Ferrara, P., Hadarean, L. State of the art in program analysis. Int J Softw Tools Technol Transfer (2024). https://doi.org/10.1007/s10009-024-00766-x
Accepted:
Published:
DOI: https://doi.org/10.1007/s10009-024-00766-x