Semantic-directed clumping of disjunctive abstract states

DOI10.1145/3009837.3009881MaRDI QIDQ5370844zbMATH OpenOpenAlexFDO

Authors Huisong Li, Francois Berenger, Bor-Yuh Evan Chang, Xavier Rival

Publication date 20 October 2017

Published in Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages (Search for Journal in Brave)

Full work available at URL https://hal.inria.fr/hal-01648679/file/popl17.pdf

zbMATH Keywords

abstract interpretationclumping of disjunctsdisjunctionsheap abstractionseparation logicssilhouettestatic analysis

Mathematics Subject Classification ID

Logic in computer science (03B70) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Static Analysis
• Relational inductive shape analysis
• Reduced product combination of abstract domains for shapes
• Tools and Algorithms for the Construction and Analysis of Systems
• Bottom-Up Shape Analysis

Cited in

(6)

• A relational shape abstract domain
• Lightweight shape analysis based on physical types
• Reduced product combination of abstract domains for shapes
• Static Analysis
• Lifting numeric relational domains to algebraic data types
• An input-output relational domain for algebraic data types and functional arrays

Describes a project that uses

Uses Software

• MemCAD
• Predator
• TVLA
• FixBag

This page was built for publication: Semantic-directed clumping of disjunctive abstract states

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