CAV   2011 International Workshop on Computer Aided Verification
Wall of Fame | Most Viewed CAV-2011 Paper
365views Hardware» more  CAV 2011»
9 years 10 months ago
BAP: A Binary Analysis Platform
Abstract. BAP is a publicly available infrastructure for performing program veriļ¬cation and analysis tasks on binary (i.e., executable) code. In this paper, we describe BAP as we...
David Brumley, Ivan Jager, Thanassis Avgerinos, Ed...
Disclaimer and Copyright Notice
Sciweavers respects the rights of all copyright holders and in this regard, authors are only allowed to share a link to their preprint paper on their own website. Every contribution is associated with a desciptive image. It is the sole responsibility of the authors to ensure that their posted image is not copyright infringing. This service is compliant with IEEE copyright.
1Download preprint from source365
2Download preprint from source253
3Download preprint from source242
4Download preprint from source234
5Download preprint from source217
6Download preprint from source216
7Download preprint from source207
8Download preprint from source202