支持形状分析的符号执行引擎的设计与实现 (Symbolic Execution Engine with Shape Analysis). - Jiabiao Liang; Zhaopeng Li; Ling Zhu; Xianfei Shen (计算机科学, 2016)