arrow
返回

Reverse Engineering Input Syntactic Structure from Program Execution and Its Applications

delete2010-09-01
delete29
PRE
AI
Z
Zhiqiang Lin *
X
Xiangyu Zhang
DOI:10.1109/TSE.2009.54delete
delete原文链接
delete原文求助
delete分享
delete收藏
摘要

摘要

En 中文
Program input syntactic structure is essential for a wide range of applications such as test case generation, software debugging, and network security. However, such important information is often not available (e.g., most malware programs make use of secret protocols to communicate) or not directly usable by machines (e.g., many programs specify their inputs in plain text or other random formats). Furthermore, many programs claim they accept inputs with a published format, but their implementations actually support a subset or a variant. Based on the observations that input structure is manifested by the way input symbols are used during execution and most programs take input with top-down or bottom-up grammars, we devise two dynamic analyses, one for each grammar category. Our evaluation on a set of real-world programs shows that our technique is able to precisely reverse engineer input syntactic structure from execution. We apply our technique to hierarchical delta debugging (HDD) and network protocol reverse engineering. Our technique enables the complete automation of HDD, in which programmers were originally required to provide input grammars, and improves the runtime performance of HDD. Our client study on network protocol reverse engineering also shows that our technique supersedes existing techniques.
Keyword:
Input syntactic structure
reverse engineering
control dependence
grammar inference
delta debugging
top-down grammar
bottom-up grammar
AI总结

AI总结

对已上传原文的论文进行重点信息的提取,主要内容包括:简要概述、研究摘要、背景介绍、关键亮点、图文解析、展望与总结。

期刊

IEEE Transactions on Software Engineering 封面图
IEEE Transactions on Software Engineering
IF:
5.6
论文数:
2.9K
被引数:
1.1W

机构

Purdue University System 封面图
Purdue University System
学者数:
4.0W
论文数: 3.6W
被引数: 66
引用论文

引用论文

Incidence and treatment of bladder perforation following bladder biopsy
err1985-07-01
err0
PREAI
errLawrence J. Sigler; Joseph C. Addonizio; Rafael Fernandez; Heinrich Schutte
err分享
err收藏
Chimpanzees combine pant hoots with food calls into larger structures黑猩猩将裤子的叫声与食物的叫声结合成更大的结构
err2021-09-01
err0
errOAAI
errMaël Leroux; Alexandra B. Bosshard; Bosco Chandia; Andri Manser; Klaus Zuberbühler; Simon W. Townsend
err分享
err收藏
Intravesical bacille Calmette-Guérin therapy for muscle invasive bladder cancer
err1996-02-01
err0
PREAI
errRaymond S. Rosenbaum; Moonja-Chung Park; Jonathan Fleischmann
err分享
err收藏
Micro FET pressure sensor manufactured using CMOS-MEMS technique
err2008-05-01
err0
PREAI
errChing-Liang Dai; Pin-Hsu Kao; Yao-Wei Tai; Chyan-Chyi Wu
err分享
err收藏
err分享
err收藏
Impact of Increasing Diabetes on Coronary Artery Disease in the Past Decade
err2004-01-01
err0
errOAAI
errHiroshi Takaishi; Takahiro Taniguchi; Yoshio Fujioka; Yuichi Ishikawa; Mitsuhiro Yokoyama
err分享
err收藏
Developmental constraint shaped genome evolution and erythrocyte loss in Antarctic fishes following paleoclimate change
err2020-10-27
err0
errOAAI
errJacob M. Daane; Juliette Auvinet; Alicia Stoebenau; Donald Yergeau; Matthew P. Harris; H. William Detrich
err分享
err收藏
Cosmogenic nuclides in Almahata Sitta ureilites: Cosmic‐ray exposure age, preatmospheric mass, and bulk density of asteroid 2008 TC3
err2010-12-13
err0
errOAAI
errKees C. WELTEN; Matthias M. M. MEIER; Marc W. CAFFEE; Kuni NISHIIZUMI; Rainer WIELER; Peter JENNISKENS; Muawia H. SHADDAD
err分享
err收藏
学者 查看更多内容