Jakstab: A Static Analysis Platform for Binaries
Johannes Kinder, Helmut Veith[doi] [Google Scholar] [DBLP] [Citeseer] [url]
Computer Aided Verification, 20th International Conference, CAV 2008, Princeton, NJ, USA, July 7-14, 2008, Proceedings
Lecture Notes in Computer Science, volume 5123
Springer
Pages 423-427
2008
Note(s): binary analysis, ISA specification, binary lifter
Lecture Notes in Computer Science, volume 5123
Springer
Pages 423-427
2008
Note(s): binary analysis, ISA specification, binary lifter