北京邮电大学学报

  • EI核心期刊
基于动态符号执行的C代码缓冲区溢出检测
张俊贤, 李舟军
Buffer Overflow Detection in C Code Using Dynamic Symbolic Execution
ZHANG Jun-xian, LI Zhou-jun
北京邮电大学学报 . 2016, (s1): 50 -54 .  DOI: 10.13190/j.jbupt.2016.s.012

版权所有 © 2018 《北京邮电大学学报》编辑部 京ICP备14033833号     在线人数：今日访问 当前在线 总访问

通信地址：北京市海淀区西土城路10号北京邮电大学195信箱    邮编：100876    电话：(010)62281995    QQ：307514248    微博    留言    电子邮箱：byxb@bupt.edu.cn