Affiliation of Author(s):计算机科学与技术学院/人工智能学院/软件学院

Journal:Proc Int Conf Software Eng

Abstract: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 No.:0270-5257

Translation or Not:no

Date of Publication:2018-05-27

Co-author:Yan, Junqi,Li, Wenming,qj,Huang ZhiQiu

Correspondence Author:Zhe Chen