Multi-architecture Value Analysis for Machine Code. - Hugues Cassé; Florian Birée; Pascal Sainrat (WCET, 2013)