Enhancing symbolic execution of heap-based programs with separation logic for test input generation

• Main Authors: PHAM, Long H., LOC LE, Quang, PHAN, Quoc-Sang, SUN, Jun, QIN, Shengchao
• 格式: text
• 語言: English
• 出版: Institutional Knowledge at Singapore Management University 2019
• 主題: Information Security
• 在線閱讀: https://ink.library.smu.edu.sg/sis_research/4640; https://ink.library.smu.edu.sg/context/sis_research/article/5643/viewcontent/1712.06025.pdf

Symbolic execution is a well established method for test input generation. Despite of having achieved tremendous success over numerical domains, existing symbolic execution techniques for heap-based programs are limited due to the lack of a succinct and precise description for symbolic values over u...