Using static symbolic execution to detect buffer overflows-Reference-Cited by-同舟云学术

Using static symbolic execution to detect buffer overflows

Published:2017-09 Issue:5 Volume:43 Page:277-288
ISSN:0361-7688
Container-title:Programming and Computer Software
language:en
Short-container-title:Program Comput Soft

Author:

Dudina I. A.,Belevantsev A. A.

Publisher

Pleiades Publishing Ltd

Subject

Software

Link

http://link.springer.com/content/pdf/10.1134/S0361768817050024.pdf

Reference9 articles.

1. Koshelev, V.K., Formalization of error detection for static symbolic execution, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2016, vol. 28, no. 5, pp. 105–118.

2. Ivannikov, V.P., Belevantsev, A.A., Borodin, A.E., Ignat’ev, V.N., Zhurikhin, D.M., Avetisyan, A.I., and Leonov, M.I., Svace static analyzer for error detection in the source code of programs, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2014, vol. 26, pp. 231–250.

3. Koshelev, V.K., Dudina, I.A., Ignat’ev, V.I., and Borzilov, A.I., Path-sensitive error detection in C programs by the example of null pointer dereference, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2015, vol. 27, no. 5, pp. 59–86.

4. Dudina, I.A., Koshelev, V.K., and Borodin, A.E., Detection of buffer overflows in C/C++ programs, Tr. Inst. Sistemnogo Program. Ross. Akad. Nauk, 2016, vol. 28, no. 4, pp. 149–168.

5. Borodin, A.E., Context-sensitive static interprocedural analysis for error detection in the source code of C/C++ programs, Cand. Sci. (Phys.–Math.) Dissertation, Moscow, 2016.

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

1. A Smart Status Based Monitoring Algorithm for the Dynamic Analysis of Memory Safety;ACM Transactions on Software Engineering and Methodology;2023-12-11

2. ACETest: Automated Constraint Extraction for Testing Deep Learning Operators;Proceedings of the 32nd ACM SIGSOFT International Symposium on Software Testing and Analysis;2023-07-12

3. A Source-Level Instrumentation Framework for the Dynamic Analysis of Memory Safety;IEEE Transactions on Software Engineering;2023-04-01

4. IRePf: An Instruction Reorganization Virtual Platform for Kernel Stack Overflow Detection;Security and Communication Networks;2022-05-13

5. Recurrent Semantic Learning-driven Fast Binary Vulnerability Detection in Healthcare Cyber Physical Systems;IEEE Transactions on Network Science and Engineering;2022