CAV 2011 - PDF Preprint Papers

CAV 2011 International Workshop on Computer Aided Verification

Teaser Browsing | Click Here

Title Browsing | Click Here

Wall of Fame | Most Viewed CAV-2011 Paper

click to vote

CAV
2011
Springer

68views Hardware» more CAV 2011»

BAP: A Binary Analysis Platform

9 months 4 hour ago

Download www.ece.cmu.edu

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...

claim paper

Read More »

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.

Id	Views	Title	Status
1	68	BAP: A Binary Analysis Platform	claim
2	65	Equality-Based Translation Validator for LLVM	claim
3	65	Simplifying Loop Invariant Generation Using Splitter Predicates	claim
4	57	Resolution Proofs and Skolem Functions in QBF Evaluation and Applications	claim
5	46	HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection	claim
6	43	Malware Analysis with Tree Automata Inference	claim
7	42	From Cardiac Cells to Genetic Regulatory Networks	claim
8	35	Interactive Synthesis of Code Snippets	claim

Sciweavers

Explore & Download

Productivity Tools

Document Tools

Image Tools

Sciweavers