heap analysis
Recently Published Documents

TOTAL DOCUMENTS

17
(FIVE YEARS 0)

H-INDEX

6
(FIVE YEARS 0)
Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

scholarly journals 2LS: Heap Analysis and Memory Safety

2020 ◽  
pp. 368-372 ◽  
Author(s):  
Viktor Malík ◽  
Peter Schrammel ◽  
Tomáš Vojnar
Keyword(s):  
Memory Safety ◽  
C Programs ◽  
Synthesis Techniques ◽  
Abstract Domains ◽  
Heap Analysis ◽  
The Way

Abstract 2LS is a framework for analysis of sequential C programs based on the CPROVER infrastructure and template-based synthesis techniques for checking both safety and termination. The paper presents the main improvements done in 2LS since 2018, which concern mainly the way 2LS handles dynamically allocated objects and structures as well as combinations of abstract domains.

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

2017 ◽  
Vol 52 (9) ◽  
pp. 92-103
Author(s):  
Vini Kanvar ◽  
Uday P. Khedker
Keyword(s):  
Heap Analysis

scholarly journals Programming Paradigm Driven Heap Analysis

2012 ◽  
pp. 41-60
Author(s):  
Mark Marron ◽  
Ondřej Lhoták ◽  
Anindya Banerjee
Keyword(s):  
Programming Paradigm ◽  
Heap Analysis

Modular Heap Analysis for Higher-Order Programs

2012 ◽  
pp. 370-387 ◽  
Author(s):  
Ravichandhran Madhavan ◽  
G. Ramalingam ◽  
Kapil Vaswani
Keyword(s):  
Higher Order ◽  
Heap Analysis

scholarly journals Shape Refinement through Explicit Heap Analysis

2010 ◽  
pp. 263-277 ◽  
Author(s):  
Dirk Beyer ◽  
Thomas A. Henzinger ◽  
Grégory Théoduloz ◽  
Damien Zufferey
Keyword(s):  
Heap Analysis
Load More ...
Sign in / Sign up

Export Citation Format

Share Document