二进制程序的动态符号化污点分析 (Dynamic Symbolic Taint Analysis of Binary Programs)

Zhengxin Zhu, Fanping Zeng, Xinyi Huang. 二进制程序的动态符号化污点分析 (Dynamic Symbolic Taint Analysis of Binary Programs). 计算机科学, 43(2):155-158, 2016. [doi]

@article{ZhuZH18-1,
  title = {二进制程序的动态符号化污点分析 (Dynamic Symbolic Taint Analysis of Binary Programs)},
  author = {Zhengxin Zhu and Fanping Zeng and Xinyi Huang},
  year = {2016},
  url = {http://www.jsjkx.com/EN/10.11896/j.issn.1002-137X.2016.02.034},
  researchr = {https://researchr.org/publication/ZhuZH18-1},
  cites = {0},
  citedby = {0},
  journal = {计算机科学},
  volume = {43},
  number = {2},
  pages = {155-158},
}