TY  - Journal of Beijing University of Posts and Telecommunications
A1  - ZHANG Jun-xian, LI Zhou-jun
T1  - Buffer Overflow Detection in C Code Using Dynamic Symbolic Execution
Y1  - 2016-06-28 00:00:00.0
JF  - Journal of Beijing University of Posts and Telecommunications
JO  - Journal of Beijing University of Posts and Telecommunications
SP  - 50
EP  - 54
VL  - 39
IS  - s1
UR  - {https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2016.s.012}
N1  - 10.13190/j.jbupt.2016.s.012
ER  -