Name
Abstract | ||
|---|---|---|
Discovering 1-day vulnerabilities in binary patches is worthwhile but challenging. One of the key difficulties lies in generating inputs that could reach the patched code snippet while making the unpatched program crash. In this paper, we named it as a target-oriented input generation problem or a ToIG problem for clarity. Existing solutions for the ToIG problem either suffer from path explosion or may get stuck by complex checks. In the paper, we present a new solution to improve the efficiency of ToIG which leverage a combination of a distance-based directed fuzzing mechanism and a dominator-based directed symbolic execution mechanism. To demonstrate its efficiency, we design and implement 1dVul, a tool for 1-day vulnerability discovering at binary-level, based on the solution. Demonstrations show that 1dVul has successfully generated inputs for 130 targets from a total of 209 patch targets identified from applications in DARPA Cyber Grant Challenge, while the state-of-the-art solutions AFLGo and Driller can only reach 99 and 107 targets, respectively, within the same limited time budget. Further-more, 1dVul runs 2.2X and 3.6X faster than AFLGo and Driller, respectively, and has confirmed 96 vulnerabilities from the unpatched programs. |
Year | DOI | Venue |
|---|---|---|
2019 | 10.1109/DSN.2019.00066 | 2019 49th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN) |
Keywords | DocType | ISSN |
binary patch analysis, vulnerability discovery, target-oriented input generation | Conference | 1530-0889 |
ISBN | Citations | PageRank |
978-1-7281-0058-6 | 1 | 0.35 |
References | Authors | |
12 | 7 | |
Name | Order | Citations | PageRank |
|---|---|---|---|
| Jiaqi Peng | 1 | 1 | 0.35 |
| Feng Li | 2 | 8 | 3.46 |
| Bingchang Liu | 3 | 6 | 2.08 |
| Lili Xu | 4 | 1 | 0.35 |
| Binghong Liu | 5 | 20 | 2.25 |
| Kai Chen | 6 | 56 | 6.71 |
| Wei Huo | 7 | 47 | 6.02 |