arrow
返回

LLM-Powered Static Binary Taint Analysis

delete2025-02-23
delete0
PRE
AI
P
Puzhuo Liu
C
C. P. Sun
Y
Yaowen Zheng
X
Xuan Feng
C
Chuan Qin
Y
Y. F. Wang
Z
Zhenyang Xu
Z
Zhi Li
P
Peng Di
Y
Yu Jiang
L
Limin Sun
DOI:10.1145/3711816delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
本文提出LATTE,首个由大型语言模型(LLM)驱动的静态二进制污点分析工具。LATTE在三个方面优于当前最先进技术(如Emtaint、Arbiter、Karonte)。首先,LATTE完全自动化,而先前的静态二进制污点分析工具需要依赖人类专家手动定制污点传播规则和漏洞检测规则。其次,LATTE在漏洞检测方面显著有效,这一点通过我们的全面评估得到验证。例如,LATTE在真实世界固件中发现了37个新漏洞,而基线工具未能发现这些漏洞。此外,其中10个已被分配CVE编号。最后,LATTE的工程成本显著降低,使其成为安全研究人员和从业者的低成本、可扩展解决方案。我们坚信,LATTE开辟了一个新方向,利用LLM的最新进展来改进二进制程序的漏洞分析。
Keyword:
binary
taint analysis
large language model
vulnerability

期刊

A
ACM Transactions on Software Engineering and Methodology
IF:
6.2
论文数:
1.2K
被引数:
3.4K

机构

A
Argonne Natl Lab
学者数:
4.3K
论文数: 2.0K
被引数: 173
A
Ant Grp
学者数:
45
论文数: 14
被引数: 2
U
Univ Waterloo
学者数:
971
论文数: 594
被引数: 255
学者 查看更多机构
引用论文

引用论文

716 PHASE III STUDY OF INTERMITTENT MAB VS CONTINUOS MAB
err2011-04-01
err0
PREAI
errFernando M. Calais da Silva; Fernando Calais da Silva; Aldo Bono; Peter Whelan; Maurizio Brausi; Anton Queimadelos; Jose Portillo; Ziya Kirkali
err分享
err收藏
Personality traits and self-control: The moderating role of neuroticism
err2024-08-21
err0
errOAAI
errFredrik A. Nilsen; Henning Bang; Espen Røysamb
err分享
err收藏
Caveolin-1 and -2 regulate cell motility in castration-resistant prostate cancer
err2018-10-01
err0
errOAAI
errToyoharu Kamibeppu; Koji Yamasaki; Kozue Nakahara; Takahiro Nagai; Naoki Terada; Hiromasa Tsukino; Shoichiro Mukai; Toshiyuki Kamoto
err分享
err收藏
Induction of pathogen resistance and pathogenesis‐related genes in tobacco by a heat‐stable Trichoderma mycelial extract and plant signal messengers
err2006-04-28
err0
PREAI
errPi‐Fang Linda Chang; Yi Xu; Meena L. Narasimhan; Kheng T. Cheah; Matilde Paino D'Urzo; Barbara Damsz; Andrzej K. Kononowicz; Laura Abad; Paul M. Hasegawa; Ray A. Bressan
err分享
err收藏
学者 查看更多内容