A combination framework for tracking partition sizes

DOI10.1145/1480881.1480912MaRDI QIDQ5261520zbMATH OpenOpenAlexFDO

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

combining analysesmemory safetynumerical analysisset analysisshape analysisspace boundstermination

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)

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

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)