Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability (Q2145335)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability |
scientific article |
Statements
Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability (English)
0 references
17 June 2022
0 references
pointer analysis
0 references
context sensitivity
0 references
CFL reachability
0 references
