2023 IEEE International Conference on Pervasive Computing and Communications Workshops and Other Affiliated Events (PerCom Work 2023
DOI: 10.1109/percomworkshops56833.2023.10150247
|View full text |Cite
|
Sign up to set email alerts
|

MichelsonLiSA: A Static Analyzer for Tezos

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1

Citation Types

0
0
0

Year Published

2024
2024
2024
2024

Publication Types

Select...
4
1

Relationship

1
4

Authors

Journals

citations
Cited by 6 publications
(1 citation statement)
references
References 12 publications
0
0
0
Order By: Relevance
“…Each area corresponds to a separate configurable analysis component that operates agnostically w.r. Code parsing logic and the definition of language-specific statements are provided by Frontends such as GoLiSA, 12 which can also provide implementations for LiSA's components. Several frontends exist for different languages, 12,27,28 with each constituting effective static analyzers for individual languages that can be combined to obtain multilanguage analyses. In particular, GoLiSA provides a Go-specific Heap Domain to accurately track memory operations, while it exploits a context-based Interprocedural Analysis provided out-of-the-box by LiSA.…”
Section: Lisa and Golisamentioning
confidence: 99%
“…Each area corresponds to a separate configurable analysis component that operates agnostically w.r. Code parsing logic and the definition of language-specific statements are provided by Frontends such as GoLiSA, 12 which can also provide implementations for LiSA's components. Several frontends exist for different languages, 12,27,28 with each constituting effective static analyzers for individual languages that can be combined to obtain multilanguage analyses. In particular, GoLiSA provides a Go-specific Heap Domain to accurately track memory operations, while it exploits a context-based Interprocedural Analysis provided out-of-the-box by LiSA.…”
Section: Lisa and Golisamentioning
confidence: 99%