@article{李舟军:50,
author = {[李舟军, 张俊贤]},
title = {基于动态符号执行的C代码缓冲区溢出检测},
publisher = {北京邮电大学学报},
year = {2016},
journal = {北京邮电大学学报},
volume = {39},
number = {s1},
eid = {50},
pages = {50-54},
keywords = {<p>缓冲区溢出检测;动态符号执行;可满足模型理论求解器;底层虚拟机中间代码插桩</p>},
doi = https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2016.s.012
}