Sign in

Static Analysis of Endian Portability by Abstract Interpretation.

David DelmasAbdelraouf OuadjaoutAntoine 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