Shape Refinement through Explicit Heap Analysis

Fundamental Approaches to Software Engineering - Lecture Notes in Computer Science ◽

10.1007/978-3-642-12029-9_19 ◽

2010 ◽

pp. 263-277 ◽

Author(s):

Dirk Beyer ◽

Thomas A. Henzinger ◽

Grégory Théoduloz ◽

Damien Zufferey

Keyword(s):

Download Full-text

"What's in a name?" going beyond allocation site names in heap analysis

Proceedings of the 2017 ACM SIGPLAN International Symposium on Memory Management - ISMM 2017 ◽

10.1145/3092255.3092267 ◽

2017 ◽

Author(s):

Vini Kanvar ◽

Uday P. Khedker

Keyword(s):

Download Full-text

Data flow and heap analysis with application to privilege escalation vulnerability scanning and software theft detection

10.5353/th_b5089956 ◽

2013 ◽

Author(s):

Ping-fai Chan

Keyword(s):

Data Flow ◽

Download Full-text

Connection Analysis: A Practical Interprocedural Heap Analysis for C

International Journal of Parallel Programming ◽

10.1007/bf03356759 ◽

1996 ◽

Vol 24 (6) ◽

pp. 547-578 ◽

Author(s):

Rakesh Ghiya ◽

Laurie J. Hendren

Keyword(s):

Download Full-text

Runtime specialization with optimistic heap analysis

ACM SIGPLAN Notices ◽

10.1145/1103845.1094837 ◽

2005 ◽

Vol 40 (10) ◽

pp. 327-343 ◽

Author(s):

Ajeet Shankar ◽

S. Subramanya Sastry ◽

Rastislav Bodík ◽

James E. Smith

Keyword(s):

Download Full-text

Runtime specialization with optimistic heap analysis

Proceedings of the 20th annual ACM SIGPLAN conference on Object oriented programming systems languages and applications - OOPSLA '05 ◽

10.1145/1094811.1094837 ◽

2005 ◽

Author(s):

Ajeet Shankar ◽

S. Subramanya Sastry ◽

Rastislav Bodík ◽

James E. Smith

Keyword(s):

Download Full-text

Spencer: Interactive Heap Analysis for the Masses

2017 IEEE/ACM 14th International Conference on Mining Software Repositories (MSR) ◽

10.1109/msr.2017.35 ◽

2017 ◽

Author(s):

Stephan Brandauer ◽

Tobias Wrigstad

Keyword(s):

Download Full-text

Programming Paradigm Driven Heap Analysis

Lecture Notes in Computer Science - Compiler Construction ◽

10.1007/978-3-642-28652-0_3 ◽

2012 ◽

pp. 41-60

Author(s):

Mark Marron ◽

Ondřej Lhoták ◽

Anindya Banerjee

Keyword(s):

Programming Paradigm ◽

Download Full-text

A Static Heap Analysis for Shape and Connectivity: Unified Memory Analysis: The Base Framework

Languages and Compilers for Parallel Computing - Lecture Notes in Computer Science ◽

10.1007/978-3-540-72521-3_25 ◽

2007 ◽

pp. 345-363 ◽

Author(s):

Mark Marron ◽

Deepak Kapur ◽

Darko Stefanovic ◽

Manuel Hermenegildo

Keyword(s):

Download Full-text

Heap analysis in the presence of collection libraries

Proceedings of the 7th ACM SIGPLAN-SIGSOFT workshop on Program analysis for software tools and engineering - PASTE '07 ◽

10.1145/1251535.1251541 ◽

2007 ◽

Author(s):

Mark Marron ◽

Darko Stefanovic ◽

Manuel Hermenegildo ◽

Deepak Kapur

Keyword(s):

Download Full-text

Modular Heap Analysis for Higher-Order Programs

Static Analysis - Lecture Notes in Computer Science ◽

10.1007/978-3-642-33125-1_25 ◽

2012 ◽

pp. 370-387 ◽

Author(s):

Ravichandhran Madhavan ◽

G. Ramalingam ◽

Kapil Vaswani

Keyword(s):

Higher Order ◽

Download Full-text