您当前所在位置: 首页 > 学者

肖臻

  • 34浏览

  • 0点赞

  • 0收藏

  • 0分享

  • 74下载

  • 0评论

  • 引用

期刊论文

An Automated Approach to Increasing the Robustness of C Libraries

肖臻Christof FETZER Zhen XIAO

,-0001,():

URL:

摘要/描述

As our reliance on computers increases, so does the need for robust software. Previous studies have shown that many C libraries exhibit robustness problems due to exceptional inputs. This paper describes the HEALERS system that uses an automated approach to increasing the robustness of C libraries without source code access. The system extracts the C type information for a shared library using header files and manual pages. Then it generates for each global function a fault-injector to determine a "robust" argument type for each argument. Based on this information and optionally, some manual editing, the system generates a robustness wrapper that performs careful argument checking before invoking C library functions. A robustness evaluation using Ballista tests has shown that our wrapper can prevent crash, hang, and abort failures. Moreover, the wrapper generation process is highly automated and can easily adapt to new library releases.

关键词:

【免责声明】以下全部内容由[肖臻]上传于[2010年10月28日 14时05分17秒],版权归原创者所有。本文仅代表作者本人观点,与本网站无关。本网站对文中陈述、观点判断保持中立,不对所包含内容的准确性、可靠性或完整性提供任何明示或暗示的保证。请读者仅作参考,并请自行承担全部责任。

我要评论

全部评论 0

本学者其他成果

    同领域成果