Partial solution based constraint solving cache in symbolic execution

• 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: Symbolic Execution; Constraint Solving; Cache; Software Engineering
• 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
• Institution: Singapore Management University

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...