Partitioned memory models for program analysis

DOI10.1007/978-3-319-52234-0_29MaRDI QIDQ2961587zbMATH OpenOpenAlexFDO

Authors

Publication date 21 February 2017

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-319-52234-0_29

Mathematics Subject Classification ID

Data structures (68P05) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Semi-sparse flow-sensitive pointer analysis
• Static Analysis
• A scalable segmented decision tree abstract domain
• Programming Languages and Systems
• scientific article; zbMATH DE number 1834572

Cites work

• scientific article; zbMATH DE number 3410595 (Why is no real title available?)
• Back to the future, revisiting precise program verification using SMT solvers
• CCured, type-safe retrofitting of legacy code
• Heaps and Data Structures: A Challenge for Automated Provers
• Pointer Analysis, Conditional Soundness, and Proving the Absence of Errors
• Tools and Algorithms for the Construction and Analysis of Systems
• Unifying type checking and property checking for low-level code

Cited in

(3)

• Internal models of system F for decompilation
• Hybrid analysis: Static \& dynamic memory reference analysis
• Hierarchical shape abstraction for analysis of free list memory allocators

Describes a project that uses

Uses Software

• SMACK
• SeaHorn
• CCured
• CBMC
• Frama-C
• SMT-LIB

This page was built for publication: Partitioned memory models for program analysis

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