ScienceGate
Advanced Search
Author Search
Journal Finder
Blog
Sign in / Sign up
ScienceGate
Search
Author Search
Journal Finder
Blog
Sign in / Sign up
Connection Analysis: A Practical Interprocedural Heap Analysis for C
International Journal of Parallel Programming
◽
10.1007/bf03356759
◽
1996
◽
Vol 24
(6)
◽
pp. 547-578
◽
Cited By ~ 11
Author(s):
Rakesh Ghiya
◽
Laurie J. Hendren
Keyword(s):
Heap Analysis
Download Full-text
Related Documents
Cited By
References
"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):
Heap Analysis
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
◽
Heap Analysis
Download Full-text
Runtime specialization with optimistic heap analysis
ACM SIGPLAN Notices
◽
10.1145/1103845.1094837
◽
2005
◽
Vol 40
(10)
◽
pp. 327-343
◽
Cited By ~ 4
Author(s):
Ajeet Shankar
◽
S. Subramanya Sastry
◽
Rastislav Bodík
◽
James E. Smith
Keyword(s):
Heap Analysis
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
◽
Cited By ~ 7
Author(s):
Ajeet Shankar
◽
S. Subramanya Sastry
◽
Rastislav Bodík
◽
James E. Smith
Keyword(s):
Heap Analysis
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):
The Masses
◽
Heap Analysis
Download Full-text
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
◽
Cited By ~ 7
Author(s):
Dirk Beyer
◽
Thomas A. Henzinger
◽
Grégory Théoduloz
◽
Damien Zufferey
Keyword(s):
Heap Analysis
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
◽
Heap Analysis
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
◽
Cited By ~ 2
Author(s):
Mark Marron
◽
Deepak Kapur
◽
Darko Stefanovic
◽
Manuel Hermenegildo
Keyword(s):
Heap Analysis
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
◽
Cited By ~ 9
Author(s):
Mark Marron
◽
Darko Stefanovic
◽
Manuel Hermenegildo
◽
Deepak Kapur
Keyword(s):
Heap Analysis
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
◽
Cited By ~ 13
Author(s):
Ravichandhran Madhavan
◽
G. Ramalingam
◽
Kapil Vaswani
Keyword(s):
Higher Order
◽
Heap Analysis
Download Full-text
Sign in / Sign up
Close
Export Citation Format
Close
Share Document
Close