Static Analysis of Endian Portability by Abstract Interpretation
Abstract elided by the publisher.
Related papers
- Endicheck: Dynamic Analysis for Detecting Endianness Bugs TACAS 2020
- Abstract Interpretation Based Static Analysis Parameterized by Semantics SAS 1997
- Property Checking Driven Abstract Interpretation-Based Static Analysis VMCAI 2003
- Relational Thread-Modular Static Value Analysis by Abstract Interpretation VMCAI 2014
- Static Analysis by Abstract Interpretation of Numerical Programs and Systems, and FLUCTUAT SAS 2013
- Static Analysis by Abstract Interpretation of the Quasi-synchronous Composition of Synchronous Programs VMCAI 2005
- Static Analysis by Abstract Interpretation of the Functional Correctness of Matrix Manipulating Programs SAS 2016
- Cibai: An Abstract Interpretation-Based Static Analyzer for Modular Analysis and Verification of Java Classes VMCAI 2007