Static Analysis for Checking Data Format Compatibility of Programs


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


  • Presentations referencing similar topics