A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
Filters
BAP: A Binary Analysis Platform
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
In this paper, we describe BAP as well as lessons learned from previous incarnations of binary analysis platforms. ...
BAP is a publicly available infrastructure for performing program verification and analysis tasks on binary (i.e., executable) code. ...
Conclusion BAP is a flexible binary analysis framework that enables program analysis and verification on binary code. ...
doi:10.1007/978-3-642-22110-1_37
fatcat:6nyhanhuwfcbfhlx7shncajwzq
DECAF: A Platform-Neutral Whole-System Dynamic Binary Analysis Platform
2017
IEEE Transactions on Software Engineering
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Dynamic binary analysis is a prevalent and indispensable technique in program analysis. ...
We present DECAF, a virtual machine based, multi-target, whole-system dynamic binary analysis framework built on top of QEMU. ...
He is a research scientist in Rome Air Force Research Lab, Rome, New York. His research interests include hardware security, dynamic binary code analysis, and malware detection and analysis. ...
doi:10.1109/tse.2016.2589242
fatcat:n7mqdtkdjzeldnlu7b2itenvbi
The Body Action and Posture Coding System (BAP): Development and Reliability
2012
Journal of nonverbal behavior
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
of body parts), a form level (direction and orientation of movement), and a functional level (communicative and self-regulatory functions). ...
We applied the system to a new corpus of acted emotion portrayals, examined its comprehensiveness and demonstrated intercoder reliability at three levels: (a) occurrence, (b) temporal precision, and (c ...
This statistic is a widely used yet not unequivocal intercoder agreement measure for binary and nominal coding. ...
doi:10.1007/s10919-012-0130-0
fatcat:iznrcyhukfgljlsgieksvfi2mm
Public Engagement and Personal Desires: BAPS Swaminarayan Temples and their Contribution to the Discourses on Religion
2009
International Journal of Hindu Studies
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The historical trajectory of BAPS Swaminarayan temple building thus provides a platform for analyzing how BAPS has responded to shifts in the discourses of its publics, thereby allowing it to address the ...
of religion results in the support of binaries, such as religion versus other categories (for example, modernity and secularism) that ultimately occlude a more nuanced understanding of a community. 7. ...
doi:10.1007/s11407-010-9081-4
fatcat:6q7mfcx4knerfebhygenivmude
Compiler-Agnostic Function Detection in Binaries
2017
2017 IEEE European Symposium on Security and Privacy (EuroS&P)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
We evaluate Nucleus on a diverse set of 476 C and C ++ binaries, compiled with gcc, clang and Visual Studio for x86 and x64, at optimization levels O0-O3. ...
We propose Nucleus, a novel function detection algorithm for binaries. In contrast to prior work, Nucleus is compiler-agnostic, and does not require any learning phase or signature information. ...
test suite consisting of 476 C and C ++ binaries for x86 and x64-the most commonly targeted platforms in binary analysis research.Our test suite contains both Linux (ELF) and Windows (PE) binaries, compiled ...
doi:10.1109/eurosp.2017.11
dblp:conf/eurosp/AndriesseSB17
fatcat:smklhfszcnhc7byp7fbefwzwcm
Machine code verification of a tiny ARM hypervisor
2013
Proceedings of the 3rd international workshop on Trustworthy embedded devices - TrustED '13
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The automation relies on an integration of HOL4 with BAP, the Binary Analysis Platform developed at CMU. ...
A key requirement of this kind of solution is the formal verification of the software trusted computing base, preferably at the binary level. ...
THE BINARY ANALYSIS PLATFORM The Binary Analysis Platform (BAP) [5] is a framework providing different binary program analysis techniques and algorithms. ...
doi:10.1145/2517300.2517302
dblp:conf/ccs/DamGN13
fatcat:2noqngkwjrdqpagf56nmrojyde
Binary Code Software Weakness Analysis Method based on Smart Intermediate Language in Embedded Environment
2017
International Journal of Software Engineering and Its Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
As a result, the use of unverified third-party libraries is increasing the number of security incidents such as HeartBleed. However, it is very difficult to verify the security of binary libraries. ...
In this paper, we propose a security vulnerability analysis method using an intermediate language that is effective in security weakness analysis to overcome the main CVE (Common Vulnerabilities Exposures ...
BIL (BAP) The Binary Analysis Platform (BAP) is a tool for binary code analysis and supports ARM machines as well as assembly language for x86, and provides various tools for static and dynamic analysis ...
doi:10.14257/ijseia.2017.11.10.05
fatcat:iug2iuppl5fe3kasoaxprz3cya
XDA: Accurate, Robust Disassembly with Transfer Learning
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
We evaluate XDA's performance on two disassembly tasks, recovering function boundaries and assembly instructions, on a collection of 3,121 binaries taken from SPEC CPU2017, SPEC CPU2006, and the BAP corpus ...
The binaries are compiled by GCC, ICC, and MSVC on x86/x64 Windows and Linux platforms over 4 optimization levels. ...
collection of x86/x64 binaries from the SPEC CPU2017, SPEC CPU2006, and BAP dataset on both the Windows and Linux platforms (Sections VI and VII). ...
arXiv:2010.00770v3
fatcat:pqrzezuzfnhkxhpeq6wpkxmzlu
BINSEC: Binary Code Analysis with Low-Level Regions
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This article presents the open source BINSEC platform for (formal) binary-level code analysis. ...
of the resulting IR, a simulator supporting the recent low-level region-based memory model, and a generic static analysis module. ...
Like other platforms such as BAP [7] , GDSL [12] , Jakstab [11] or OSMOSE [3, 4] , our platform disassembles binary code and translates the resulting machine instructions into an intermediate language ...
doi:10.1007/978-3-662-46681-0_17
fatcat:5teeeal6ojbjrf7px35usubm6m
GTIRB: Intermediate Representation for Binaries
[article]
2020
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
This design supports the goals of (1) encouraging tool modularization and re-use allowing researchers and developers to focus on a single aspect of binary analysis and rewriting without committing to any ...
GTIRB is an intermediate representation for binary analysis and rewriting tools including disassemblers, lifters, analyzers, rewriters, and pretty-printers. ...
BAP The CMU Binary Analysis Platform (BAP) [11] lifts binaries to its Binary Intermediate Language (BIL) using tooling based on either IDA Pro or LLVM. ...
arXiv:1907.02859v2
fatcat:c6alihdsmzb4bcmogldxocif4i
NPDHunter: Efficient Null Pointer Dereference Vulnerability Detection in Binary
2021
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
The
prototype's implementation is based on intermediate
representation (BIL) provided by the binary analysis
platform (BAP) [16]. ...
In addition, our program is based on BAP as the binary analysis engine, and therefore the accuracy of BAP for binary analysis may also limit our results. ...
doi:10.1109/access.2021.3091209
fatcat:ptmarna5rrfydbmbuf7d2lnqle
oo7: Low-overhead Defense against Spectre Attacks via Program Analysis
[article]
2019
arXiv
pre-print
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Other Versions
In this paper, we propose oo7, a static analysis approach that can mitigate Spectre attacks by detecting potentially vulnerable code snippets in program binaries and protecting them against the attack ...
We also report the results of a large-scale study on applying oo7 to over 500 program binaries (average binary size 261 KB) from different real-world projects. ...
For forward taint propagation along all possible paths, we use the Binary analysis Platform (BAP) tool [22] . As BAP is based on conservative analysis, it can report false positives. ...
arXiv:1807.05843v6
fatcat:2ap66rtmf5he7jwqnz57zjoj5y
Reconstruction of data type in obfuscated binary programs
2014
16th International Conference on Advanced Communication Technology
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Therefore, we present a novel approach for automatic establish data type inference rules and reconstruct type from obfuscated binary programs using machine learning algorithm. ...
EXPERIMENTS In experiments, to evaluate our approach, firstly, we use BAP [12] (Binary Analysis Platform) to gain BIL(Binary Intermediate Language ). ...
In [16] , Linn and Debray describe a novel obfuscation technique that can be used to thwart binary static analysis. ...
doi:10.1109/icact.2014.6778988
fatcat:g4eaqe4akzbdfadjgdkvz6hxra
Control of a ball-and-plate system using a State-feedback controller
2020
Ingeniare : Revista Chilena de Ingeniería
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Initially, from a phenomenological analysis we obtained a state-space representation of the system. ...
A ball-and-plate platform is a common example of the dynamical system used to apply modeling and control concepts studied in some engineering courses. ...
THEORETICAL ANALYSIS
Modeling From the phenomenological analysis, it is possible to observe the forces acting in the BaP system. ...
doi:10.4067/s0718-33052020000100006
fatcat:ji23cuyuzvhwhjxmpnwexzm7l4
REDIR: Automated static detection of obfuscated anti-debugging techniques
2014
2014 International Conference on Collaboration Technologies and Systems (CTS)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
Finally, an IR analysis process confirms the presence of an anti-debug technique. The REDIR system is implemented as a debugger plug-in. ...
First, Intermediate Representation (IR) improves the analyzability of binary programs by reducing a large instruction set down to a handful of semantically equivalent statements. ...
Binary Analysis Platform The BAP is a framework of tools designed to create and manipulate IR of executable programs [24] . ...
doi:10.1109/cts.2014.6867561
dblp:conf/cts/SmithMBPG14
fatcat:w5mvvrx4zbcjjkeben2xwzfm7i
« Previous
Showing results 1 — 15 out of 699 results