A Formally-Verified Alias Analysis
No abstract available.
DOI 10.1007/978-3-642-35308-6_5
Related papers
- Interprocedural May-Alias Analysis for Pointers: Beyond k-limiting PLDI 1994
- Fast and Reliable Formal Verification of Smart Contracts with the Move Prover TACAS 2022
- Armada: low-effort verification of high-performance concurrent programs PLDI 2020
- Faster Alias Set Analysis Using Summaries CC 2011
- Nonuniform Alias Analysis of Recursive Data Structures and Arrays SAS 2002
- Scaling CFL-Reachability-Based Points-To Analysis Using Context-Sensitive Must-Not-Alias Analysis ECOOP 2009
- Alias Analysis by Means of a Model Checker CC 2001
- Abstract Cofibered Domains: Application to the Alias Analysis of Untyped Programs SAS 1996