- Record: found
- Abstract: not found
- Book Chapter: not found
Computer Aided Verification
BAP: A Binary Analysis Platform
other
Read this book at
There is no author summary for this book yet. Authors can add summaries to their books on ScienceOpen to make them more accessible to a non-specialist audience.
Related collections
Most cited references6
- Record: found
- Abstract: not found
- Conference Proceedings: not found
All You Ever Wanted to Know about Dynamic Taint Analysis and Forward Symbolic Execution (but Might Have Been Afraid to Ask)
- Record: found
- Abstract: not found
- Book Chapter: not found
A Decision Procedure for Bit-Vectors and Arrays
Vijay Ganesh, David Dill (2007)
- Record: found
- Abstract: not found
- Book Chapter: not found
CodeSurfer/x86—A Platform for Analyzing x86 Executables
Gogul Balakrishnan, Radu Gruian, Thomas Reps … (2005)