Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA-Reference-Cited by-同舟云学术

Sound Static Analysis for Microservices: Utopia? A Preliminary Experience with LiSA

Published:2024-09-20 Issue: Volume: Page:5-10
ISSN:
Container-title:Proceedings of the 26th ACM International Workshop on Formal Techniques for Java-like Programs
language:
Short-container-title:

Author:

Zanatta Giacomo¹^ORCID,Ferrara Pietro¹^ORCID,Lisovenko Teodors¹^ORCID,Negrini Luca¹^ORCID,Caiazza Gianluca¹^ORCID,White Ruffin²^ORCID

Affiliation:

1. Ca' Foscari University, Venice, Italy

2. White Robotics, Wisconsin, USA

Publisher

ACM

Reference22 articles.

1. Alexander Bakhtin Xiaozhou Li Jacopo Soldani Antonio Brogi Tom Černý and Davide Taibi. 2023. Tools Reconstructing Microservice Architecture: A Systematic Mapping Study. Agility with Microservices Programming co-located with ECSA 09.

2. Microservice Architecture Reconstruction and Visualization Techniques: A Review

3. P. Cousot and R. Cousot. 1977. Abstract Interpretation: A Unified Lattice Model for Static Analysis of Programs by Construction or Approximation of Fixpoints. In Proceedings of 4th ACM Symposium on Principles of Programming Languages (POPL 1977). ACM Press, 238–252.

4. P. Cousot and R. Cousot. 1979. Systematic Design of Program Analysis Frameworks. In Proceedings of the 6th Annual ACM Symposium on Principles of Programming Languages (POPL 1979). ACM Press, 269–282.

5. Michael D. Ernst, Alberto Lovato, Damiano Macedonio, Ciprian Spiridon, and Fausto Spoto. 2015. Boolean Formulas for the Static Identification of Injection Attacks in Java. In Proceedings of Logic for Programming, Artificial Intelligence, and Reasoning (LPAR 2015), Martin Davis, Ansgar Fehnker, Annabelle McIver, and Andrei Voronkov (Eds.). Springer-Verlag, 130–145. isbn:978-3-662-48899-7