Type and interval aware array constraint solving for symbolic execution

Array constraints are prevalent in analyzing a program with symbolic execution. Solving array constraints is challenging due to the complexity of the precise encoding for arrays. In this work, we propose to synergize symbolic execution and array constraint solving. Our method addresses the difficult...

Full description

Saved in:
Bibliographic Details
Main Authors: SHUAI, Ziqi, CHEN, Zhenbang, ZHANG, Yufeng, SUN, Jun, WANG, Ji
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2021
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/6236
https://ink.library.smu.edu.sg/context/sis_research/article/7239/viewcontent/type_and_interval_aware.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English
Be the first to leave a comment!
You must be logged in first