BinPointer: towards precise, sound, and scalable binary-level pointer analysis-Reference-Cited by-同舟云学术

BinPointer: towards precise, sound, and scalable binary-level pointer analysis

Published:2022-03-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st ACM SIGPLAN International Conference on Compiler Construction
language:
Short-container-title:

Author:

Kim Sun Hyoung¹,Zeng Dongrui¹,Sun Cong²^ORCID,Tan Gang¹^ORCID

Affiliation:

1. Pennsylvania State University, USA

2. Xidian University, China

Funder

ONR (O?ce of Naval Research)

Publisher

ACM

Link

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

Reference29 articles.

1. Control-flow integrity

2. National Security Agency. 2017. Ghidra Reverse Engineering Tool. https://www.nsa.gov/resources/everyone/ghidra/ National Security Agency. 2017. Ghidra Reverse Engineering Tool. https://www.nsa.gov/resources/everyone/ghidra/

3. Lars Ole Andersen . 1994. Program Analysis and Specialization for the C Programming Language. Ph. D. Dissertation . University of Copenhagen. Lars Ole Andersen. 1994. Program Analysis and Specialization for the C Programming Language. Ph. D. Dissertation. University of Copenhagen.

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

5. Analyzing Memory Accesses in x86 Executables

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

1. Combining Structured Static Code Information and Dynamic Symbolic Traces for Software Vulnerability Prediction;Proceedings of the IEEE/ACM 46th International Conference on Software Engineering;2024-04-12

2. Evading Userland API Hooking, Again: Novel Attacks and a Principled Defense Method;Lecture Notes in Computer Science;2024

3. Scheduled Execution-Based Binary Indirect Call Targets Refinement;Lecture Notes in Computer Science;2024

4. Detecting Vulnerabilities in Linux-Based Embedded Firmware with SSE-Based On-Demand Alias Analysis;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

5. Divak: Non-invasive Characterization of Out-of-Bounds Write Vulnerabilities;Detection of Intrusions and Malware, and Vulnerability Assessment;2023