Semantics-based memory leak detection for C programs
Zhiqiang Liu, Bo Xu, Dong Liang, Chang Liu, Zejun Jiang, Chenglie Du
科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审
Zhiqiang Liu, Bo Xu, Dong Liang, Chang Liu, Zejun Jiang, Chenglie Du
科研成果: 书/报告/会议事项章节 › 会议稿件 › 同行评审