Inference of Field-Sensitive Reachability and Cyclicity (Q2946745)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Inference of Field-Sensitive Reachability and Cyclicity |
scientific article |
Statements
Inference of Field-Sensitive Reachability and Cyclicity (English)
0 references
17 September 2015
0 references
heap manipulation
0 references
abstract interpretation
0 references
cyclicity analysis
0 references
data structures
0 references
pointer analysis
0 references
shape analysis
0 references
static analysis
0 references
termination analysis
0 references
