Static Analysis of Endian Portability by Abstract Interpretation.

David Delmas Abdelraouf Ouadjaout Antoine Miné

Published in: SAS (2021)

Keyphrases

abstract interpretation
static analysis
dynamic analysis
source code
regular expressions
test suite
high level
software development
relational model
termination analysis