Static Analysis for Checking Data Format Compatibility of Programs

Abstract

Large software systems are developed by composing multiple programs. If the programs manipulate and exchange complex data, such as network packets or files, it is essential to establish that they follow compatible data formats. Most of the complexity of data formats is associated with the headers. In this paper, we address compatibility of programs… (More)
DOI: 10.4230/LIPIcs.FSTTCS.2012.522

4 Figures and Tables

Topics

  • Presentations referencing similar topics