Carraybound-Reference-Cited by-同舟云学术

Carraybound

Published:2016-09-18 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 8th Asia-Pacific Symposium on Internetware
language:
Short-container-title:

Author:

Gao Fengjuan¹,Chen Tianjiao¹,Wang Yu¹,Situ Lingyun¹,Wang Linzhang¹,Li Xuandong¹

Affiliation:

1. Nanjing University, Nanjing, China

Publisher

ACM

Link

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

Reference34 articles.

1. Z3 theorem prover. https://z3.codeplex.com/. Z3 theorem prover. https://z3.codeplex.com/.

2. Control-flow integrity

3. Control flow analysis

4. Efficient detection of all pointer and array access errors

5. ABCD

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

1. An Effective Buffer Overflow Detection With Super Data-Flow Graphs;2022 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Big Data & Cloud Computing, Sustainable Computing & Communications, Social Computing & Networking (ISPA/BDCloud/SocialCom/SustainCom);2022-12

2. A Static Analysis Framework for Detecting Bugs in Introductory Programs;2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2021-10

3. Automatic Detection and Repair Recommendation for Missing Checks;Journal of Computer Science and Technology;2019-09

4. A Comprehensive Detection of Memory Corruption Vulnerabilities for C/C++ Programs;2018 IEEE Intl Conf on Parallel & Distributed Processing with Applications, Ubiquitous Computing & Communications, Big Data & Cloud Computing, Social Computing & Networking, Sustainable Computing & Communications (ISPA/IUCC/BDCloud/SocialCom/SustainCom);2018-12

5. What Do We Know About Buffer Overflow Detection?;International Journal of Systems and Software Security and Protection;2018-07