BovInspector: automatic inspection and repair of buffer overflow vulnerabilities-Reference-Cited by-同舟云学术

BovInspector: automatic inspection and repair of buffer overflow vulnerabilities

Published:2016-08-25 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 31st IEEE/ACM International Conference on Automated Software Engineering
language:
Short-container-title:

Author:

Gao Fengjuan¹,Wang Linzhang¹,Li Xuandong¹

Affiliation:

1. Nanjing University, China

Publisher

ACM

Link

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

Reference14 articles.

1. Hp fortify static code analyzer. http://www8.hp.com/ us/en/software-solutions/static-code-analysis-sast/. Hp fortify static code analyzer. http://www8.hp.com/ us/en/software-solutions/static-code-analysis-sast/.

2. Iso/iec 9899:1999. http://www.iso.org/iso/catalogue detail.htm?csnumber=29237. Iso/iec 9899:1999. http://www.iso.org/iso/catalogue detail.htm?csnumber=29237.

3. Klee llvm execution engine. https://klee.github.io/. Klee llvm execution engine. https://klee.github.io/.

4. The llvm compiler infrastructure. http://llvm.org/. The llvm compiler infrastructure. http://llvm.org/.

5. Improving security using extensible lightweight static analysis

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

1. Vulnerability detection in Java source code using a quantum convolutional neural network with self-attentive pooling, deep sequence, and graph-based hybrid feature extraction;Scientific Reports;2024-03-28

2. ErrorCLR: Semantic Error Classification, Localization and Repair for Introductory Programming Assignments;Proceedings of the 46th International ACM SIGIR Conference on Research and Development in Information Retrieval;2023-07-18

3. CorCA: An Automatic Program Repair Tool for Checking and Removing Effectively C Flaws;2023 IEEE Conference on Software Testing, Verification and Validation (ICST);2023-04

4. Stack-Based Buffer Overflow Implementation Using Python 3;Lecture Notes in Networks and Systems;2023

5. Binary-level Directed Symbolic Execution Through Pattern Learning;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