@article{汪孙律_2417, author = {[汪孙律, 杨秋松, 李明树]}, title = {一种针对格式文件的符号执行优化方法}, publisher = {电子学报}, year = {2020}, journal = {电子学报}, volume = {48}, number = {12}, eid = {2417}, pages = {2417-2424}, keywords = {符号执行;文件格式;路径爆炸;缺陷查找}, doi = https://www.ejournal.org.cn/CN/10.3969/j.issn.0372-2112.2020.12.018 }