+
访问量:
开通时间:..
最后更新时间:..
发布时间:2022-02-21 点击次数:
上一条:[j1]Hongliang Liang, Lei Wang, Dongyang Wu, Jiuyun Xu: MLSA: a static bugs analysis tool based on LLVM IR. Int. J. Networked Distributed Comput. 4(3): 137-144 (2016)
下一条:[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