LiSA: A Generic Framework for Multilanguage Static Analysis

Negrini, Luca; Ferrara, Pietro; Arceri, Vincenzo; Cortesi, Agostino

doi:10.1007/978-981-19-9601-6_2

Cited by 12 publications

(2 citation statements)

References 45 publications

Supporting

Mentioning

Contrasting

Order By: Relevance

“…Experiments presented in this paper have been performed using GoLiSA (https://github.com/lisa-analyzer/go-lisa), a static analyzer for Go based on LiSA, 13,14 whose high level infrastructure is visible in Figure 8.…”

Section: Lisa and Golisamentioning

confidence: 99%

“…TARSIS has been implemented in GoLiSA, 12 a static analyzer for Go based on Library for Static Analysis (LiSA). 13,14 By comparing TARSIS with other cutting-edge domains for string analysis, results show that (i) when applied to simple code that causes a precision loss in simpler domains, TARSIS correctly approximates string values within a comparable execution time; (ii) on code that makes the standard automata domain unusable due to the complexity of the analysis, TARSIS is in position to perform in a limited amount of time, making it a viable domain for complex and real codebases; and (iii) TARSIS is able to precisely abstract complex string operations that have not been addressed by state-of-the-art domains.…”

mentioning

confidence: 99%

See 1 more Smart Citation

Tarsis: An effective automata‐based abstract domain for string analysis

Negrini,

Arceri,

Cortesi

et al. 2024

J Software Evolu Process

Self Cite

View full text Add to dashboard Cite

In this paper, we introduce Tarsis, a new abstract domain based on the abstract interpretation theory that approximates string values through finite state automata. The main novelty of Tarsis is that it works over an alphabet of strings instead of single characters. On the one hand, such an approach requires a more complex and refined definition of the lattice operators and of the abstract semantics of string operators. On the other hand, it is in position to obtain strictly more precise results than state‐of‐the‐art approaches. We compare Tarsis both with simpler domains and with the standard automata model, targeting case studies containing standard yet challenging string manipulations. The performance gain w.r.t. the standard automata model is also assessed, measuring the speed‐up gained by Tarsis. Experiments confirm that Tarsis can obtain precise results without incurring in excessive computational costs.

show abstract

Section: Lisa and Golisamentioning

confidence: 99%

mentioning

confidence: 99%

Tarsis: An effective automata‐based abstract domain for string analysis

Negrini,

Arceri,

Cortesi

et al. 2024

J Software Evolu Process

Self Cite

View full text Add to dashboard Cite

show abstract

Unconstrained Variable Oracles for Faster Numeric Static Analyses

Arceri,

Dolcetti,

Zaffanella

2023

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Teaching Through Practice: Advanced Static Analysis with LiSA

Negrini,

Arceri,

Olivieri

et al. 2024

Lecture Notes in Computer Science

View full text Add to dashboard Cite

Nowadays, ready-to-use libraries and code generation are often used to streamline and speed up the software development process. The resulting programs are thus a collection of different modules that cooperate: proving their safety and reliability is increasingly complex, requiring sound formal techniques, such as static program analysis. However, while teaching static analysis to master’s or PhD students, the predominant focus on theoretical concepts often leaves limited space for students to engage with the practical aspects of implementing static analyses and is limited to developing elementary ones. In this paper, we show how the infrastructure offered by LiSA can be exploited to learn how to implement advanced static analyses, such as string and relational numerical analyses, just focusing on their distinctive aspects. This would help to narrow the gap between theoretical and practical contents in static analysis courses, bringing the learning experience beyond the rudimentary implementation of static analyses to more sophisticated applications.

show abstract

LiSA: A Generic Framework for Multilanguage Static Analysis

Cited by 12 publications

References 45 publications

Tarsis: An effective automata‐based abstract domain for string analysis

Tarsis: An effective automata‐based abstract domain for string analysis

Unconstrained Variable Oracles for Faster Numeric Static Analyses

Teaching Through Practice: Advanced Static Analysis with LiSA

Contact Info

Product

Resources

About