@article{LI Zhou-jun:50,
author = {[LI Zhou-jun, ZHANG Jun-xian]},
title = {Buffer Overflow Detection in C Code Using Dynamic Symbolic Execution},
publisher = {Journal of Beijing University of Posts and Telecommunications},
year = {2016},
journal = {Journal of Beijing University of Posts and Telecommunications},
volume = {39},
number = {s1},
eid = {50},
pages = {50-54},
keywords = {<p>buffer overflow detection;dynamic symbolic execution;satisfiability modulo theories solver;low level virtual machine byte code instrumentation</p>},
doi = https://journal.bupt.edu.cn/EN/10.13190/j.jbupt.2016.s.012
}