Accelerating array constraints in symbolic execution-Reference-Cited by-同舟云学术

Accelerating array constraints in symbolic execution

Published:2017-07-10 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 26th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Perry David M.¹,Mattavelli Andrea²,Zhang Xiangyu¹,Cadar Cristian²

Affiliation:

1. Purdue University, USA

2. Imperial College London, UK

Funder

Engineering and Physical Sciences Research Council

Publisher

ACM

Link

Reference30 articles.

2. Bandicoot. http://bandilab.org May 2017. Bandicoot. http://bandilab.org May 2017.

3. Bzip2. http://www.bzip.org May 2017. Bzip2. http://www.bzip.org May 2017.

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

1. Precise Compositional Buffer Overflow Detection via Heap Disjointness;Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis;2024-09-11

4. Unsatisfiable Core Based Constraint Solving Cache in Symbolic Execution;2023 30th Asia-Pacific Software Engineering Conference (APSEC);2023-12-04