Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
Browse
Publications
Preprints
About
About UCL Open: Env.
Aims and Scope
Editorial Board
Indexing
APCs
How to cite
Publishing policies
Editorial policy
Peer review policy
Equality, Diversity & Inclusion
About UCL Press
Contact us
For authors
Information for authors
How it works
Benefits of publishing with us
Submit
How to submit
Preparing your manuscript
Article types
Open Data
ORCID
APCs
Contributor agreement
For reviewers
Information for reviewers
Review process
How to peer review
Peer review policy
My ScienceOpen
Sign in
Register
Dashboard
Search
57
views
6
references
Top references
cited by
18
Cite as...
0 reviews
Review
0
comments
Comment
0
recommends
+1
Recommend
0
collections
Add to
0
shares
Share
Twitter
Sina Weibo
Facebook
Email
2,921
similar
All similar
Record
: found
Abstract
: not found
Book Chapter
: not found
Computer Aided Verification
BAP: A Binary Analysis Platform
other
Author(s):
David Brumley
,
Ivan Jager
,
Thanassis Avgerinos
,
Edward J. Schwartz
Publication date
(Print):
2011
Publisher:
Springer Berlin Heidelberg
Read this book at
Publisher
Further versions
open (via free pdf)
Powered by
Buy book
Review
Review book
Invite someone to review
Bookmark
Cite as...
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
Core Readings in Statistical Mediation Analysis
Most cited references
6
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)
David Brumley
,
Edward Schwartz
,
Thanassis Avgerinos
(2010)
0
comments
Cited
40
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
A Decision Procedure for Bit-Vectors and Arrays
Vijay Ganesh
,
David Dill
(2007)
0
comments
Cited
31
times
– based on
0
reviews
Bookmark
Record
: found
Abstract
: not found
Book Chapter
: not found
CodeSurfer/x86—A Platform for Analyzing x86 Executables
Gogul Balakrishnan
,
Radu Gruian
,
Thomas Reps
…
(2005)
0
comments
Cited
10
times
– based on
0
reviews
Bookmark
All references
Author and book information
Book Chapter
Publication date (Print):
2011
Pages
: 463-469
DOI:
10.1007/978-3-642-22110-1_37
SO-VID:
5f55f9c1-3608-49b5-a8c6-3668ce187fe6
History
Data availability:
Comments
Comment on this book
Sign in to comment
Book chapters
pp. 1
HAMPI: A String Solver for Testing, Analysis and Vulnerability Detection
pp. 470
HMC: Verifying Functional Programs Using Abstract Interpreters
pp. 50
Stability in Weak Memory Models
pp. 99
Getting Rid of Store-Buffers in TSO Analysis
pp. 149
Resolution Proofs and Skolem Functions in QBF Evaluation and Applications
pp. 165
The BINCOA Framework for Binary Code Analysis
pp. 171
CVC4
pp. 178
SLAyer: Memory Safety for Systems-Level Code
pp. 184
CPAchecker: A Tool for Configurable Software Verification
pp. 225
Model Checking Algorithms for CTMDPs
pp. 243
Quantitative Synthesis for Concurrent Programs
pp. 277
Smoothing a Program Soundly and Robustly
pp. 349
Time for Statistical Model Checking of Real-Time Systems
pp. 372
Predator: A Practical Tool for Checking Manipulation of Dynamic Data Structures Using Separation Logic
pp. 379
SpaceEx: Scalable Verification of Hybrid Systems
pp. 396
From Cardiac Cells to Genetic Regulatory Networks
pp. 412
Threader: A Constraint-Based Verifier for Multi-threaded Programs
pp. 457
μZ– An Efficient Engine for Fixed Points with Constraints
pp. 463
BAP: A Binary Analysis Platform
pp. 504
Bug-Assist: Assisting Fault Localization in ANSI-C Programs
pp. 526
Language Equivalence for Probabilistic Automata
pp. 573
Interpolation-Based Software Verification with Wolverine
pp. 585
PRISM 4.0: Verification of Probabilistic Real-Time Systems
pp. 592
Program Analysis for Overlaid Data Structures
pp. 609
KLOVER: A Symbolic Execution and Automatic Test Generation Tool for C++ Programs
pp. 663
Analyzing Unsynthesizable Specifications for High-Level Robot Behavior Using LTLMoP
pp. 669
Practical, Low-Effort Equivalence Verification of Real Code
pp. 686
Relational Abstractions for Continuous and Hybrid Systems
pp. 703
Simplifying Loop Invariant Generation Using Splitter Predicates
pp. 743
Model Checking Recursive Programs with Numeric Data Types
Similar content
2,921
MULTIPLIKASI <em>IN VITRO</em> ANGGREK HITAM <em>(Coelogyne pandurata Lindl.)</em> PADA PERLAKUAN KOMBINASI NAA DAN BAP
Authors:
Roni Kartiman
,
Dewi Sukma
,
Syarifah Iis Aisyah
…
X-ray Induced Valence Change and Vacuum Referred Binding Energies of Bi
3+
and Bi
2+
in Li
2
BaP
2
O
7
Authors:
Roy Awater
,
Pieter Dorenbos
,
Roy H. P. Awater
…
Concentrações de ANA e BAP na micropropagação de abacaxizeiro L. Merril (Ananas comosus) e no cultivo hidropônico das plântulas obtidas in vitro
Authors:
C Macedo
,
MG da Silva
,
F. Nobrega
…
See all similar
Cited by
18
A Survey of Symbolic Execution Techniques
Authors:
Roberto Baldoni
,
Emilio Coppa
,
Daniele D’elia
…
Protecting Software through Obfuscation
Authors:
Sebastian Schrittwieser
,
Stefan Katzenbeisser
,
Johannes Kinder
…
HumIDIFy: A Tool for Hidden Functionality Detection in Firmware
Authors:
Sam Thomas
,
Flavio D. Garcia
,
Tom Chothia
See all cited by