14 papers · ranked by Valyu relevance
Zhangbo Long, Letian Sha, Jiaye Pan, Huang + 5 more
—Binary program analysis is still very important in system security. There are many practical achievements in binary code analysis, but fine-grained analysis such as dynamic taint analysis, is constantly studied due to the problem of deployability, high memory usage, and performance overhead, so as to better adapt to…
Shahid Alam
Intermediate languages are used in compilers [1] to translate the source code into a form that is easy to optimize and increase portability. The term intermediate language also refers to the intermediate language used by the compilers of high level languages that does not produce any machine code, such as Java and C#.…
Nasir Hussain, Haohan Chen, Chanh Tran, Philip Huang + 5 more
'Pravir Chugh' 'William Chen' 'Ashish Kundu' 'Yuan Tian'] Recognizing vulnerabilities in stripped binary files presents a significant challenge in software security. Although some progress has been made in generating human-readable information from decompiled binary files with Large Language Models (LLMs), effectively…
Xiuwei Shang, Guoqiang Chen, Shaoyin Cheng, Benlong Wu + 4 more
'Gangyang Li' 'Weiming Zhang' 'Nenghai Yu'] XIUWEI SHANG, University of Science and Technology of China, Hefei, China GUOQIANG CHEN, QI-ANXIN Technology Research Institute, Beijing, China SHAOYIN CHENG∗ , University of Science and Technology of China, Hefei, China BENLONG WU, University of Science and Technology of…
Ryan G. Scott, Brett Boston, Benjamin G. Davis, Iavor S. Diatchki + 10 more
'Mike Dodds' 'Joe Hendrix' 'Daniel Matichuk' 'Kevin Quick' 'Tristan Ravitch' 'Valentin Robert' 'Benjamin Selfridge' 'Andrei Ştefănescu' 'Daniel Wagner' 'Simon Winwood'] RYAN G. SCOTT, Galois, Inc., United States BRETT BOSTON BENJAMIN DAVIS, Galois, Inc., United States IAVOR DIATCHKI, Galois, Inc., United States MIKE…
Yujeong Kwon, Yiyue Zhang, Shakhzod Yuldoshkhujaev, Kexin Pei + 2 more
Binary reversing is fundamental to software understanding, vulnerability discovery, malware investigation, and firmware auditing. However, it remains inherently challenging due to the irreversible loss of semantic information during compilation. Recent advances in machine learning, large language models (LLMs), and…
Chengbin Pang, Ruotong Yu, Yaohui Chen, Eric Koskinen + 3 more
'Georgios Portokalidis' 'Bing Mao' 'Jun Xu'] Abstract—Disassembly of binary code is hard, but necessary for improving the security of binary software. Over the past few decades, research in binary disassembly has produced many tools and frameworks, which have been made available to researchers and security…
Gaspard Thévenon, Kevin Nguetchouang, Kahina Lazri, Alain Tchana + 1 more
'Pierre Olivier'] System call filtering is widely used to secure programs in multitenant environments, and to sandbox applications in modern desktop software deployment and package management systems. Filtering rules are hard to write and maintain manually, hence generating them automatically is essential. To that aim…
Antonio Flores-Montoya, Eric Schulte
Disassembly is fundamental to binary analysis and rewriting. We present a novel disassembly technique that takes a stripped binary and produces reassembleable assembly code. The resulting assembly code has accurate symbolic information, providing cross-references for analysis and to enable adjustment of code and data…
Vidush Singhal, Akul Abhilash Pillai, Charitha Saumya, Milind Kulkarni + 1 more
'Milind Kulkarni' 'Aravind Machiry'] Binary analysis is an important capability required for many security and software engineering applications. Consequently, there are many binary analysis techniques and tools with varied capabilities. However, testing these tools requires a large, varied binary dataset with…
Ligeng Chen, Jian Guo, Zhongling He, Dongliang Mu + 1 more
—Vulnerability reproduction paves a way in debugging software failures, which need intensive manual efforts. However, some key factors (e.g., software configuration, trigger method) are often missing, so we can not directly reproduce the failure without extra attempts. Even worse, highly customized configuration…
Eric Schulte, Michael Brown, Vlad Folts
Binary rewriting is a rapidly-maturing technique for modifying software for instrumentation, customization, optimization, and hardening without access to source code. Unfortunately, the practical applications of binary rewriting tools are often unclear to users because their limitations are glossed over in the…
Xiaolei Ren, Michael Ho, Jiang Ming, Yu Lei + 1 more
Hunting binary code di!erence without source code (i.e., binary di"ng) has compelling applications in software security. Due to the high variability of binary code, existing solutions have been driven towards measuring semantic similarities from syntactically di!erent code. Since compiler optimization is the most…
John Clemens
Recent research has repeatedly shown that machine learning techniques can be applied to either whole files or file fragments to classify them for analysis. We build upon these techniques to show that for samples of un-labeled compiled computer object code, one can apply the same type of analysis to classify important…