A novel analysis space for pointer analysis and its application for bug finding

DOI10.1016/j.scico.2009.08.002zbMath1209.68313OpenAlexW2069216738MaRDI QIDQ988180

Stephen A. Edwards, Vugranam Sreedhar, Daniel Brand, Marcio Buss

Publication date: 26 August 2010

Published in: Science of Computer Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.scico.2009.08.002

zbMATH Keywords

static analysispointer analysisbug-findingsummary-based analysis

Mathematics Subject Classification ID

Specification and verification (program logics, model checking, etc.) (68Q60) Theory of software (68N99)

Uses Software

• veriSoft
• ESC/Java
• Cyclone
• ASTREE

Cites Work

• Maintaining Doubly-Linked List Invariants in Shape Analysis with Local Reasoning
• Static Analysis
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A novel analysis space for pointer analysis and its application for bug finding