FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers-Reference-Cited by-同舟云学术

FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointers

Published:2022-11-07 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering
language:
Short-container-title:

Author:

Tu Haoxin¹,Jiang Lingxiao²,Ding Xuhua²,Jiang He³

Affiliation:

1. Singapore Management University, Singapore / Dalian University of Technology, China

2. Singapore Management University, Singapore

3. Dalian University of Technology, China

Funder

the National Research Foundation (NRF) Singapore and National Satellite of Excellence in Trustworthy Software Systems (NSoE-TSS)

Publisher

ACM

Link

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

Reference31 articles.

1. Automatic exploit generation

2. Roberto Baldoni , Emilio Coppa , Daniele Cono D’elia , Camil Demetrescu, and Irene Finocchi. 2018 . A Survey of Symbolic Execution Techniques. ACM Comput. Surv., 51, 3 (2018), Article 50, 39 pages. issn:0360-0300 Roberto Baldoni, Emilio Coppa, Daniele Cono D’elia, Camil Demetrescu, and Irene Finocchi. 2018. A Survey of Symbolic Execution Techniques. ACM Comput. Surv., 51, 3 (2018), Article 50, 39 pages. issn:0360-0300

3. Running symbolic execution forever

4. Juan Caballero and Zhiqiang Lin . 2016. Type Inference on Executables. ACM Comput. Surv., 48, 4 ( 2016 ), Article 65, 35 pages. issn:0360-0300 Juan Caballero and Zhiqiang Lin. 2016. Type Inference on Executables. ACM Comput. Surv., 48, 4 (2016), Article 65, 35 pages. issn:0360-0300

5. Cristian Cadar , Daniel Dunbar , and Dawson Engler . 2008 . KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs . In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. 209–224 . Cristian Cadar, Daniel Dunbar, and Dawson Engler. 2008. KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs. In Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation. 209–224.

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

1. Boosting Symbolic Execution for Heap-based Vulnerability Detection and Exploit Generation;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05