Extracting Conditional Formulas for Cross-Platform Bug Search-Reference-Cited by-同舟云学术

Extracting Conditional Formulas for Cross-Platform Bug Search

Published:2017-04-02 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 2017 ACM on Asia Conference on Computer and Communications Security
language:
Short-container-title:

Author:

Feng Qian¹,Wang Minghua²,Zhang Mu³,Zhou Rundong¹,Henderson Andrew¹,Yin Heng⁴

Affiliation:

1. Syracuse University, Syracuse, NY, USA

2. BaiDu X-Lab, Beijing, China

3. NEC Laboratories America, Princeton, NJ, USA

4. University of California, Riverside, Riverside, CA, USA

Funder

DARPA Grant

National Science Foundation Grant

Air Force Research Lab Grant

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3052973.3052995

Reference43 articles.

1. The LLVM Compiler Infrastructure. http://llvm.org/. The LLVM Compiler Infrastructure. http://llvm.org/.

2. The z3 theorem prover. https://z3.codeplex.com/ 2010. The z3 theorem prover. https://z3.codeplex.com/ 2010.

3. Dd-wrt firmware image r21676. ftp://ftp.dd-wrt.com/others/eko/BrainSlayer-V24-preSP2/2013/05-27-2013-r21676/senao-eoc5610/linux.bin(lastvisit: 2016-1-20) 2013. Dd-wrt firmware image r21676. ftp://ftp.dd-wrt.com/others/eko/BrainSlayer-V24-preSP2/2013/05-27-2013-r21676/senao-eoc5610/linux.bin(lastvisit: 2016-1-20) 2013.

4. Retargetable decompiler. https://retdec.com 2013. Retargetable decompiler. https://retdec.com 2013.

5. Automatic exploit generation

Cited by 36 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. HAformer: Semantic fusion of hex machine code and assembly code for cross-architecture binary vulnerability detection;Computers & Security;2024-10

2. CEBin: A Cost-Effective Framework for Large-Scale Binary Code Similarity Detection;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

3. Semantic aware-based instruction embedding for binary code similarity detection;PLOS ONE;2024-06-11

4. A Survey of Binary Code Similarity Detection Techniques;Electronics;2024-04-29

5. ARCTURUS : Full Coverage Binary Similarity Analysis with Reachability-guided Emulation;ACM Transactions on Software Engineering and Methodology;2024-04-18