Roberto Barbuti Cinzia Bernardeschi Nicoletta De Francesco Analyzing Information Flow Properties in Assembly Code by Abstract Interpretation. 25-45 2004 47 Comput. J. 1 http://www3.oup.co.uk/computer_journal/hdb/Volume_47/Issue_01/470025.sgm.abs.html db/journals/cj/cj47.html#BarbutiBF04