scholarly journals Platform for interprocedural static analysis of binary code

2018 ◽  
Vol 30 (5) ◽  
pp. 89-100
Author(s):  
H.K. Aslanyan
Keyword(s):  
Static Analysis ◽  
Binary Code

scholarly journals Static Analysis of Binary Code with Memory Indirections Using Polyhedra

2019 ◽  
pp. 114-135 ◽  
Author(s):  
Clément Ballabriga ◽  
Julien Forget ◽  
Laure Gonnord ◽  
Giuseppe Lipari ◽  
Jordy Ruiz
Keyword(s):  
Static Analysis ◽  
Binary Code ◽  
With Memory

BinSide : Static Analysis Framework for Defects Detection in Binary Code

2020 ◽  
Author(s):  
Hayk Aslanyan ◽  
Mariam Arutunian ◽  
Grigor Keropyan ◽  
Shamil Kurmangaleev ◽  
Vahagn Vardanyan
Keyword(s):  
Static Analysis ◽  
Binary Code ◽  
Analysis Framework

scholarly journals DrPin: A dynamic binary instumentator for multiple processor architectures

2020 ◽  
Author(s):  
Luis Fernando Antonioli ◽  
Ricardo Pannain ◽  
Rodolfo Azevedo
Keyword(s):  
Dynamic Analysis ◽  
Static Analysis ◽  
Binary Code ◽  
Binary Analysis ◽  
Linux Kernel ◽  
Processor Architectures ◽  
Backward Compatibility ◽  
Analysis Tools ◽  
Multiple Processor ◽  
Dynamic Binary Analysis

Modern applications rely heavily on dynamically loaded shared libraries, making static analysis tools used to debug and understand applications no longer sufficient. As a consequence, dynamic analysis tools are being adopted and integrated into the development and study of modern applications. Building tools that manipulate and instrument binary code at runtime is difficult and error-prone. Because of that, Dynamic Binary Instrumentation (DBI) frameworks have become increasingly popular. Those frameworks provide means of building dynamic binary analysis tools with low effort. Among them, Pin 2 has been by far the most popular and easy to use one. However, since the release of the Linux Kernel 4 series, it became unsupported, and Pin 3 broke backward compatibility. In this work we focus on studying the challenges faced when building a new DBI (DrPin) that seeks to be compatible with Pin 2 API, without the restrictions of Pin 3, that also runs multiple architectures (x86-64, x86, Arm, Aarch64), and on modern Linux systems.

Effects of openings on the seismic behavior and performance level of concrete shear walls

2019 ◽  
Author(s):  
Hossein Alimohammadi ◽  
Mostafa Dalvi Esfahani ◽  
Mohammadali Lotfollahi Yaghin
Keyword(s):  
Static Analysis ◽  
Cross Section ◽  
Seismic Behavior ◽  
Shear Walls ◽  
Shear Wall ◽  
Constant Cross Section ◽  
Added Resistance ◽  
Different Shapes ◽  
And Performance ◽  
Abaqus Software

In this study, the seismic behavior of the concrete shear wall considering the opening with different shapes and constant cross-section has been studied, and for this purpose, several shear walls are placed under the increasingly non-linear static analysis (Pushover). These case studies modeled in 3D Abaqus Software, and the results of the ductility coefficient, hardness, energy absorption, added resistance, the final shape, and the final resistance are compared to shear walls without opening.

Static Analysis Based Correctness Verification for Mandatory Access Control Framework

2009 ◽  
Vol 32 (4) ◽  
pp. 730-739 ◽  
Author(s):  
Xin-Song WU ◽  
Zhou-Yi ZHOU ◽  
Ye-Ping HE ◽  
Hong-Liang LIANG ◽  
Chun-Yang YUAN
Keyword(s):  
Access Control ◽  
Static Analysis ◽  
Mandatory Access Control ◽  
Control Framework

A program understanding approach for stripped binary code

2009 ◽  
Vol 28 (10) ◽  
pp. 2608-2612
Author(s):  
Juan-ru LI ◽  
Da-wu GU ◽  
Hai-ning LU
Keyword(s):  
Binary Code ◽  
Program Understanding
Sign in / Sign up

Export Citation Format

Share Document