BAP: A binary analysis platform
David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz[ISBN] [Google Scholar] [DBLP] [Citeseer]
Computer Aided Verification
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 463-469
2011
Note(s): binary analysis, ISA specification, BAP tool, binary lifter
Springer Berlin Heidelberg
Berlin, Heidelberg
Pages 463-469
2011
Note(s): binary analysis, ISA specification, BAP tool, binary lifter