A detecting method of array bounds defects based on symbolic execution
Chun Shan, Shiyou Sun*, Jingfeng Xue, Changzhen Hu, Hongjin Zhu
*此作品的通讯作者
科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
2
引用
（Scopus）