C. Fetzer and Z. Xiao, "An automated approach to increasing the robustness of C libraries," in International Conference on Dependable Systems and Networks, Washington, DC, June 2002. [Online]. Available: 32 http://www.research.att.com/ christof/papers/rwrapper.pdf Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Automatic Detection and Masking of Non-Atomic Exception.. - Fetzer, Högstedt, Felber (2004) Self-citation (Fetzer) (Correct)
No context found.
C. Fetzer and Z. Xiao, "An automated approach to increasing the robustness of C libraries," in International Conference on Dependable Systems and Networks, Washington, DC, June 2002. [Online]. Available: 32 http://www.research.att.com/ christof/papers/rwrapper.pdf
Challenges in Making Pervasive Systems Dependable - Fetzer, Högstedt (2003) (1 citation) Self-citation (Fetzer) (Correct)
....cost) will outweigh the potential risks (e.g. incorrect failure masking) We are investigating this idea in the context of pervasive home systems. Initial results demonstrate that one can increase the dependability of C libraries automatically using automated fault injection experiments [10]. We are currently building a new middleware platform for pervasive systems that is designed to support automated faultinjection experiments [9] 2 State Of The Art The most fundamental challenge in making pervasive systems dependable is complexity. The sheer number of devices and software ....
C. Fetzer and Z. Xiao. An automated approach to increasing the robustness of C libraries. In International Conference on Dependable Systems and Networks, Washington, DC, June 2002.
HEALERS: A Toolkit for Enhancing the Robustness and Security.. - Fetzer, Xiao (2003) (1 citation) Self-citation (Fetzer Xiao) (Correct)
....abnormally [6] Intercepting such function calls gives us a convenient way to check the validity of their arguments and hence avoid such failures. automation: HEALERS uses automated faultinjection experiments to discover robustness and security problems in software from third party vendors [4]. Based on the knowledge gathered from these experiments, it automatically generates a set of fault containment wrappers to correct a large set of such problems. This proves to be a cost effective approach for protecting a wide variety of software products and for adapting to new software ....
Christof Fetzer and Zhen Xiao. An automated approach to increasing the robustness of C libraries. In Proceedings of the International Conference on Dependable Systems and Networks, June 2002.
Automatic Detection and Masking of Non-Atomic Exception.. - Fetzer, Högstedt, Felber (2003) Self-citation (Fetzer) (Correct)
....exceptions. Our tool does not only evaluate the robustness of programs by performing exception injections, but it also automatically corrects the problems discovered by the fault injections. The automatic wrapping of shared libraries based on injection results has been previously demonstrated in [11]. In this paper, we address different types of failures (exception handling vs. invalid arguments) and hence, we use different fault injection and wrapping techniques. 3 Problem Description and Motivation Robust software has to be able to detect and recover from failures that might occur at ....
C. Fetzer and Z. Xiao. An automated approach to increasing the robustness of C libraries. In International Conference on Dependable Systems and Networks, Washington, DC, June 2002.
Self*: A Data-Flow Oriented Component Framework for.. - Fetzer, Högstedt (2003) Self-citation (Fetzer) (Correct)
....operating cost) outweigh the potential risks (e.g. incorrect failure masking) We are investigating this idea in the context of pervasive home systems. Initial results demonstrate that one can increase the dependability of C libraries automatically using automated fault injection experiments [8]. We have been designing and implementing a new data flow oriented middleware framework, called Self . The goals of this platform are to (1) permit us to perform automated fault injection and data collection of application software components and the 2 middleware platform itself, and (2) help ....
C. Fetzer and Z. Xiao. An automated approach to increasing the robustness of C libraries. In International Conference on Dependable Systems and Networks, 2002.
A Flexible Generator Architecture for Improving Software.. - Fetzer, Xiao (2002) (1 citation) Self-citation (Fetzer Xiao) (Correct)
....wrapper setenv LD PRELOAD pwd wrapper.so Test it: date Wed Oct 18 13:06:41 EDT 2000 Abort Figure 1. An example wrapper that overwrites exit by abort. properties like the robust argument types function declarations. More details on the first step can be found in a companion paper [4]. The function declarations are then used by the wrapper generator to generate a variety of wrappers (e.g. robustness or security wrappers) in the second step. In the remainder of this section, we describe the function declarations and the architecture of the wrapper generator in more details. ....
....of a wrapper generator is how to efficiently generate a large number of wrapped functions. Clearly it is undesirable to write every function from scratch. Our approach is to generate function declarations by parsing header files and manual pages and the use of automated fault injection experiments [4]. A function declaration includes (in addition to other information) Function name. Type of arguments and their valid domains. Return type of the function. Return value if an error occurs. For example, many C library functions like open return on an error and an non negative ....
[Article contains additional citation context not shown here]
Christof Fetzer and Zhen Xiao. An automated approach to increasing the robustness of C libraries. In Proceedings of the International Conference on Dependable Systems and Networks, June 2002.
Code Inection in C and CPP: A Survey of Vulnerabilities.. - Younan, Joosen, Piessens (2004) (Correct)
No context found.
Christof Fetzer and Zhen Xiao. An Automated Approach to Increasing the Robustness of C Libraries. In Proceedings of the International Conference on Dependable Systems and Networks (DSN'02), pages 155--164, Washington, District of Columbia, U.S.A., July 2002. IEEE Computer Society, IEEE Press. (Cited on pages 55 and 63.)
First Steps Toward a Cryptography-Aware Language and Compiler - Barbosa, Noad, Page, Smart (2005) (Correct)
No context found.
C. Fetzer and Z. Xiao. An Automated Approach to Increasing the Robustness of C Libraries. In IEEE Conference on Dependable Systems and Networks (DSN), 2002.
Lightweight Wrappers for Interfacing with Binary Code in CCured - Matthew Harren May (Correct)
No context found.
Fetzer, C., Xiao, Z.: An automated approach to increasing the robustness of C libraries. In: Proceedings of the 2002.
Lightweight Wrappers for Interfacing with Binary Code in CCured - Harren, Necula (Correct)
No context found.
Fetzer, C., Xiao, Z.: An automated approach to increasing the robustness of C libraries. In: Proceedings of the 2002 International Conference on Dependable Systems and Networks, IEEE Computer Society (2002) 155--166
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC