TY  - 北京邮电大学学报
A1  - 张俊贤, 李舟军
T1  - 基于动态符号执行的C代码缓冲区溢出检测
Y1  - 2016-06-28 00:00:00.0
JF  - 北京邮电大学学报
JO  - 北京邮电大学学报
SP  - 50
EP  - 54
VL  - 39
IS  - s1
UR  - {https://journal.bupt.edu.cn/CN/10.13190/j.jbupt.2016.s.012}
N1  - 10.13190/j.jbupt.2016.s.012
ER  -