2021
DOI: 10.1007/978-3-030-88806-0_18
|View full text |Cite
|
Sign up to set email alerts
|

Improving Thread-Modular Abstract Interpretation

Help me understand this report

Search citation statements

Order By: Relevance

Paper Sections

Select...
1
1
1
1

Citation Types

0
22
0

Year Published

2023
2023
2024
2024

Publication Types

Select...
4
2
1

Relationship

2
5

Authors

Journals

citations
Cited by 16 publications
(22 citation statements)
references
References 20 publications
0
22
0
Order By: Relevance
“…2 illustrates the workflow of Concrat G . It uses Goblint [52], [55] to analyze C code. Goblint computes both datalock and flow-lock relations using abstract interpretation [26].…”
Section: A Implementationmentioning
confidence: 99%
See 1 more Smart Citation
“…2 illustrates the workflow of Concrat G . It uses Goblint [52], [55] to analyze C code. Goblint computes both datalock and flow-lock relations using abstract interpretation [26].…”
Section: A Implementationmentioning
confidence: 99%
“…However, other analyzers perform context-or path-sensitive analyses to reduce false alarms. Goblint [52], [55] and others [45]- [47] are based on abstract interpretation [26]. RELAY [56] and SDRacer [57] utilize symbolic execution [20].…”
Section: Related Workmentioning
confidence: 99%
“…We first detail the handling of local variables and guards for the local trace semantics that are omitted in the main text. Then, we give an example formalism for local traces that extends the one proposed in [48] for handling thread joins and returns.…”
Section: A Details On the Local Trace Semanticsmentioning
confidence: 99%
“…In particular, a binary operation e may only be defined for a pair of local traces t 0 and t 1 if certain parts of t 0 and t 1 represent the same computation. To make such restrictions explicit, we recall the concrete representation of local traces presented in [48] and enhance it for returning from and joining of threads.…”
Section: A2 Formalism For Local Tracesmentioning
confidence: 99%
See 1 more Smart Citation