DFTracker: detecting double-fetch bugs by multi-taint parallel tracking

Pengfei Wang, Kai Lu, Gen Li 0002, Xu Zhou. DFTracker: detecting double-fetch bugs by multi-taint parallel tracking. Frontiers of Computer Science in China, 13(2):247-263, 2019. [doi]

@article{WangLLZ19-2,
  title = {DFTracker: detecting double-fetch bugs by multi-taint parallel tracking},
  author = {Pengfei Wang and Kai Lu and Gen Li 0002 and Xu Zhou},
  year = {2019},
  doi = {10.1007/s11704-016-6383-8},
  url = {https://doi.org/10.1007/s11704-016-6383-8},
  researchr = {https://researchr.org/publication/WangLLZ19-2},
  cites = {0},
  citedby = {0},
  journal = {Frontiers of Computer Science in China},
  volume = {13},
  number = {2},
  pages = {247-263},
}