Selective context-sensitivity for k\textit{-CFA} with CFL-reachability
From MaRDI portal
Publication:2145335
Recommendations
Cites work
Cited in
(6)- Pick your contexts well, understanding object-sensitivity
- Context-sensitive data-dependence analysis via linear conjunctive language reachability
- Environment analysis via \(\Delta\)CFA
- A framework for memory efficient context-sensitive program analysis
- Finding fix locations for CFL-reachability analyses via minimum cuts
- Existential Label Flow Inference Via CFL Reachability
This page was built for publication: Selective context-sensitivity for \(k\)\textit{-CFA} with CFL-reachability
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2145335)