A combination framework for tracking partition sizes

DOI10.1145/1480881.1480912MaRDI QIDQ5261520zbMATHOpenAlexFDO

Authors Sumit Gulwani, Tal Lev-Ami, Mooly Sagiv

Publication date 3 July 2015

Published in Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1145/1480881.1480912

zbMATH Keywords

shape analysisnumerical analysisterminationmemory safetyspace boundscombining analysesset analysis

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Recommendations

• Programming Languages and Systems
• Generic combination of heap and value analyses in abstract interpretation
• Static Analysis
• A space consumption analysis by abstract interpretation
• A generic framework for heap and value analyses of object-oriented programming languages

Cited in

(12)

• Invariants synthesis over a combined domain for automated program verification
• Abstraction of arrays based on non contiguous partitions
• Loop summarization using state and transition invariants
• Sets with cardinality constraints in satisfiability modulo theories
• Verification of multi-linked heaps
• Abstract domains for automated reasoning about list-manipulating programs with infinite data
• Speeding up polyhedral analysis by identifying common constraints
• Complexity and resource bound analysis of imperative programs using difference constraints
• Programming Languages and Systems
• An automata-based approach to trace partitioned abstract interpretation
• Region Analysis for Race Detection
• Combining model checking and data-flow analysis

Describes a project that uses

Uses Software

• CSSV

This page was built for publication: A combination framework for tracking partition sizes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5261520)