BAP: A Binary Analysis Platform
Authors:
Top Cited Papers
- 1 January 2011
- book chapter
- Published by Springer Nature
- p. 463-469
Abstract
No abstract availableKeywords
This publication has 7 references indexed in Scilit:
- Directed Proof Generation for Machine CodeLecture Notes in Computer Science, 2010
- All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)2010
- Jakstab: A Static Analysis Platform for Binaries2008
- WYSINWYX: What You See Is Not What You eXecuteLecture Notes in Computer Science, 2008
- A Decision Procedure for Bit-Vectors and Arrays2007
- CodeSurfer/x86—A Platform for Analyzing x86 Executables2005
- ValgrindElectronic Notes in Theoretical Computer Science, 2003