Static Analysis Refuses to Stay Still: Prospects of Static Analysis for Dynamic Allocation (Abstract)
Abstract elided by the publisher.
Related papers
- A dynamic evaluation of the precision of static heap abstractions OOPSLA 2010
- Finding your cronies: static analysis for dynamic object colocation OOPSLA 2004
- On Determining Lifetime and Aliasing of Dynamically Allocated Data in Higher-Order Functional Specifications POPL 1990
- Predicting Dynamic Properties of Heap Allocations using Neural Networks Trained on Static Code: An Intellectual Abstract ISMM 2023
- Lifetime Analysis of Dynamically Allocated Objects POPL 1988
- Optimistic Stack Allocation and Dynamic Heapification for Managed Runtimes PLDI 2024
- Of scripts and programs: tall tales, urban legends, and future prospects DLS 2009
- Static Analysis of Dynamic Communication Systems by Partner Abstraction SAS 2007