Alias Analysis by Means of a Model Checker
No abstract available.
Related papers
- FlyFast: A Mean Field Model Checker TACAS 2017
- The road not taken: exploring alias analysis based optimizations missed by the compiler OOPSLA 2022
- Context-Insensitive Alias Analysis Reconsidered PLDI 1995
- Evaluating the Effectiveness of Deep Learning Models for Foundational Program Analysis Tasks OOPSLA 2024
- Newly-single and loving it: improving higher-order must-alias analysis with heap fragments ICFP 2021
- A Formally-Verified Alias Analysis CPP 2012
- Faster Alias Set Analysis Using Summaries CC 2011
- Nonuniform Alias Analysis of Recursive Data Structures and Arrays SAS 2002