HOIST: a system for automatically deriving static analyzers for embedded systems

John Regehr, Alastair D. Reid
[doi] [Google Scholar] [DBLP] [Citeseer]

Proceedings of the 11th International Conference on Architectural Support for Programming Languages and Operating Systems (ASPLOS 2004)
Boston, MA, USA
Pages 133-143
7-13 October 2004
Note(s): abstract interpretation, ISA specification, BDD, binary analysis