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
ACM
Pages 133-143
7-13 October 2004
Note(s): abstract interpretation, ISA specification, BDD, binary analysis
Boston, MA, USA
ACM
Pages 133-143
7-13 October 2004
Note(s): abstract interpretation, ISA specification, BDD, binary analysis