Inference of field-sensitive reachability and cyclicity (Q2946745)
From MaRDI portal
!
This is the item page for this Wikibase entity, intended for internal use and editing purposes. Please use the normal view instead:
scientific article; zbMATH DE number 6483238
| Language | Label | Description | Also known as |
|---|---|---|---|
| default for all languages | No label defined |
||
| English | Inference of field-sensitive reachability and cyclicity |
scientific article; zbMATH DE number 6483238 |
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
0.8348212838172913
0 references
0.7302676439285278
0 references
0.717582643032074
0 references
0.7151315808296204
0 references
0.7010742425918579
0 references
