@article{Pengfei WANG:247, author = {Pengfei WANG, Kai LU, Gen LI, Xu ZHOU}, title = {DFTracker: detecting double-fetch bugs by multi-taint parallel tracking}, publisher = {Front. Comput. Sci.}, year = {2019}, journal = {Frontiers of Computer Science}, volume = {13}, number = {2}, eid = {247}, numpages = {16}, pages = {247}, keywords = {multi-taint parallel tracking;double fetch;race condition between kernel and user;time of check to time of use;real-world case analysis;Clang Static Analyzer}, url = {https://journal.hep.com.cn/fcs/EN/abstract/article_18880.shtml}, doi = {10.1007/s11704-016-6383-8} }