@article{郭曦_630, author = {[郭曦, 王盼]}, title = {基于依赖条件重构的程序符号值分析方法}, publisher = {电子学报}, year = {2019}, journal = {电子学报}, volume = {47}, number = {3}, eid = {630}, pages = {630-635}, keywords = {程序分析;符号执行;关联依赖;约束求解}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2019.03.016 }