702 Hits in 3.8 sec

BAP: A Binary Analysis Platform [chapter]

David Brumley, Ivan Jager, Thanassis Avgerinos, Edward J. Schwartz
2011 Lecture Notes in Computer Science  
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

Andrew Henderson, Lok Kwong Yan, Xunchao Hu, Aravind Prakash, Heng Yin, Stephen McCamant
2017 IEEE Transactions on Software Engineering  
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

Nele Dael, Marcello Mortillaro, Klaus R. Scherer
2012 Journal of nonverbal behavior  
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

Hanna Kim
2009 International Journal of Hindu Studies  
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

Dennis Andriesse, Asia Slowinska, Herbert Bos
2017 2017 IEEE European Symposium on Security and Privacy (EuroS&P)  
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

Mads Dam, Roberto Guanciale, Hamed Nemati
2013 Proceedings of the 3rd international workshop on Trustworthy embedded devices - TrustED '13  
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

Junho Jeong, Yunsik Son, Seman Oh
2017 International Journal of Software Engineering and Its Applications  
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]

Kexin Pei, Jonas Guan, David Williams-King, Junfeng Yang, Suman Jana
2020 arXiv   pre-print
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]

Adel Djoudi, Sébastien Bardin
2015 Lecture Notes in Computer Science  
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]

Eric Schulte and Jonathan Dorn and Antonio Flores-Montoya and Aaron Ballman and Tom Johnson
2020 arXiv   pre-print
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

Wenhui Jin, Sami Ullah, DongMin Yoo, Heekuck Oh
2021 IEEE Access  
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]

Guanhua Wang, Sudipta Chattopadhyay, Ivan Gotovchits, Tulika Mitra, Abhik Roychoudhury
2019 arXiv   pre-print
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

Wei Ding, ZhiMin Gu, Feng Gao
2014 16th International Conference on Advanced Communication Technology  
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

David Núñez, Gustavo Acosta, Jovani Jiménez
2020 Ingeniare : Revista Chilena de Ingeniería  
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

Adam J. Smith, Robert F. Mills, Adam R. Bryant, Gilbert L. Peterson, Michael R. Grimaila
2014 2014 International Conference on Collaboration Technologies and Systems (CTS)  
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 702 results