Partial solution based constraint solving cache in symbolic execution

Constraint solving is one of the main challenges for symbolic execution. Caching is an effective mechanism to reduce the number of the solver invocations in symbolic execution and is adopted by many mainstream symbolic execution engines. However, caching can not perform well on all programs. How to...

Full description

Saved in:
Bibliographic Details
Main Authors: SHUAI, Ziqi, CHEN, Zhenbang, MA, Kelin, LIU, Kunlin, ZHANG, Yufeng, SUN, Jun, WANG, Ji
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2024
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/9179
https://ink.library.smu.edu.sg/context/sis_research/article/10184/viewcontent/3660817.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English