点击次数：

所属单位：计算机科学与技术学院/人工智能学院/软件学院

发表刊物：Proc Int Conf Software Eng

摘要：The unsafe features of C often lead to memory errors that can result in vulnerabilities. Many runtime verification tools are widely used to detect memory errors. However, existing tools lack DO-178C compliance, show limited performance, and demonstrate poor accessibility, e.g., lacking platform-independence. In this paper, we propose to implement dynamic analysis tools using source-To-source transformation, which operates on the original source code to insert code fragments written in ANSI C, and generates source files similar to the original files in structure. We show that source transformation can effectively avoid the mentioned drawbacks of existing tools, but it also faces many new challenges in implementation. © 2018 Authors.

ISSN号：0270-5257

是否译文：否

发表时间：2018-05-27

合写作者：Yan, Junqi,Li, Wenming,钱巨,黄志球

通讯作者：陈哲