Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation

Roberto Barbuti, Cinzia Bernardeschi, Nicoletta De Francesco. Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. Comput. J., 47(1):25-45, 2004. [doi]

Abstract

Abstract is missing.