+
访问量:
开通时间:..
最后更新时间:..
发布时间:2022-02-21 点击次数:
上一条:[c17]Hongliang Liang, Shirun Liu, Yini Zhang, Meilin Wang: Improving the precision of static analysis: Symbolic execution based on GCC abstract syntax tree. SNPD 2017: 395-400
下一条:[c19]Hongliang Liang, Zhengyu Li, Minhuan Huang, Xiaoxiao Pei: A Novel Method Makes Concolic System More Effective. CSCloud 2017: 243-248