Formally verified lifting of C-compiled x86-64 binaries-Reference-Cited by-同舟云学术

Formally verified lifting of C-compiled x86-64 binaries

Published:2022-06-09 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 43rd ACM SIGPLAN International Conference on Programming Language Design and Implementation
language:
Short-container-title:

Author:

Verbeek Freek¹,Bockenek Joshua²,Fu Zhoulai³,Ravindran Binoy²

Affiliation:

1. Open University of the Netherlands, Netherlands / Virginia Tech, USA

2. Virginia Tech, USA

3. SUNY Korea, South Korea

Publisher

ACM

Link

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

Reference60 articles.

1. Avast Software. [n.d.]. RetDec :: Home. https://retdec.com/ Accessed 2020-07-31. Avast Software. [n.d.]. RetDec :: Home. https://retdec.com/ Accessed 2020-07-31.

2. CodeSurfer/x86—A Platform for Analyzing x86 Executables

3. Analyzing Memory Accesses in x86 Executables

4. Tiffany Bao , Jonathan Burket , Maverick Woo , Rafael Turner , and David Brumley . 2014 . BYTEWEIGHT: Learning to Recognize Functions in Binary Code . In 23rd USENIX Security Symposium (USENIX Security 14) . 845–860. Tiffany Bao, Jonathan Burket, Maverick Woo, Rafael Turner, and David Brumley. 2014. BYTEWEIGHT: Learning to Recognize Functions in Binary Code. In 23rd USENIX Security Symposium (USENIX Security 14). 845–860.

5. The BINCOA Framework for Binary Code Analysis

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

1. Efact: An External Function Auto-Completion Tool to Strengthen the Static Binary Lifting;2023

2. Efact: An External Function Auto-Completion Tool to Strengthen the Static Binary Lifting;2023

3. Low-Level Reachability Analysis Based on Formal Logic;Tests and Proofs;2023