Journal of Beijing University of Posts and Telecommunications

  • EI核心期刊
Buffer Overflow Detection in C Code Using Dynamic Symbolic Execution
ZHANG Jun-xian, LI Zhou-jun
JOURNAL OF BEIJING UNIVERSITY OF POSTS AND TELECOM . 2016, (s1): 50 -54 .  DOI: 10.13190/j.jbupt.2016.s.012

Copyright © 2018 Journal of Beijing University of Posts and Telecommunications 京ICP备14033833号

Adress: BEIJING UNIVERSITY OF POSTS AND TELECOMMUNICATIONS    Post Code: 100876    Tel: (010)62281995    QQ: 307514248    weibo    Message    E-mail: byxb@bupt.edu.cn