Vo, K.P., Wang, Y.M., Chung, P.E., Huang, Y.: Xept: a software instrumentation method for exception handling. (1997) 60--69  Home/Search   Document Details and Download   Summary   Related Articles   Check

....loadable C library wrapper. The wrapper intercepts every function call to the C library which could be used to write to the heap and performs careful boundary checks before it invokes the original function. Previously, software wrappers have been used for fault tolerance and exception handling [9, 7] as well as for detecting stack smashing attacks [2] A nice feature of this approach is that it requires no source code modification or recompilation. On most Unix systems a user interested in using a wrapper can preload it by defining the LD PRELOAD environment variable. This is useful for ....

Kiem-Phong Vo and Yi-Min Wang. Xept: A software instrumentation method for exception handling. In the Eighth International Symposium on Software Reliability Engineering, 1997.

....causes the function to crash. The generated function declarations (with some manual editing) are then used to produce a robustness wrapper that prevents all crash or hang failures in the Ballista tests. Previously, software wrappers have been used for faulttolerance [10] and exception handling [11]. Xept is a software instrumentation tool that can be used to handle exceptions from library functions [11] It provides a language to write exception specifications for certain C functions as well as a convenient framework to incorporate such specifications into application code. The advantage of ....

....to produce a robustness wrapper that prevents all crash or hang failures in the Ballista tests. Previously, software wrappers have been used for faulttolerance [10] and exception handling [11] Xept is a software instrumentation tool that can be used to handle exceptions from library functions [11]. It provides a language to write exception specifications for certain C functions as well as a convenient framework to incorporate such specifications into application code. The advantage of our approach is that the generation of function type information and exception specifications (more ....

K-P. Vo, Y-M. Wang, P. Chung, and Y. Huang. Xept: a software instrumentation method for exception handling. In Proceedings of the Eighth International Symposium on Software Reliability Engineering, pages 60--69, Albuquerque, NM, USA, Nov 1997. 10

....defined in the wrapper. The results are shown in Figure 19. The figure indicates that the resolution time increases with the number of functions defined in the wrapper. 6. Related Work Software wrappers were previously used in the Xept project to handle exceptional conditions in the C library [13]. Xept provides a language to write exception specifications for certain C functions as well as a convenient framework to incorporate such specifications into application code. For function calls that failed due to temporary re10 0 200 400 600 800 1000 1200 1400 1600 1800 2000 0.75 1 1.25 1.5 ....

K-P. Vo, Y-M. Wang, P. Chung, and Y. Huang. Xept: a software instrumentation method for exception handling. In Proceedings of the Eighth International Symposium on Software Reliability Engineering, pages 60--69, Albuquerque, NM, USA, Nov 1997. 12

....allow any program run in a given session to be subjected to fault injection tests, while other tools often require that the targeted software module be explicitly run at the same time the fault injection tool is invoked. A final note on related work is that the code instrumentation tool Xept [12] is capable of handling most, if not all of the error types that FIG can inject. Xept operates by instrumenting object code with extra routines that make sure all possible return conditions from library calls are handled. However, merely assuring the existence of such recovery code does not ....

K. Vo, Y. Wang, P. E. Chung, and Y. Huang. Xept: A Software Instrumentation Method for Exception Handling. In The Eighth International Symposium on Software Reliability Engineering, pages 60--69, November 1997.

....is hazardous, and to perform a checkpoint against the need for a later rollback if that operation should fail. This would use failure predictions from robustness testing to lessen the typical cost of checkpointing to those times when it would appear to be most fruitful. The Xept approach [38] uses software wrappers around procedure calls as a way to encapsulate error checking and error handling within the context of a readable program. Given that the fault tolerance community has found that transient system failure rates far outnumber manifestations of permanent system faults design ....

Vo, K-P., Wang, Y-M., Chung, P. & Huang, Y., "Xept: a software instrumentation method for exception handling," The Eighth International Synposiun on Software Reliability Engineering, Albuquerque, NM, USA, p. 60-69, 2-5 Nov. 1997.

....ME ification level than the implementation level, it may be argued that graybox stabilization is more reusable than stabilization that is particular to an implementation. The graybox approach has received limited attention in the previous work on dependability. In particular, we can point to [4, 6, 19] which reason at a graybox level; 17] addresses specification oriented integration of system modules for designing dependable systems; and [15] addresses the role of automated formal methods for specifications which involve dependability. Although we have limited our discussion of the graybox ....

K. P. Vo, Y. M. Wang, P. E. Chung, and Y. Huang. Xept: A software instrumentation method for exception handling. Proc. Int. Symp. on Software Reliability Engineering (ISSRE), November 1997.

....It is desirable to have the extra, abnormal code dealing with exceptional conditions automatically generated as much as possible, with the help of CASE tools and standard templates [Lang and Stewart, 1998] Only a few researchers have dealt with this question in the existing literature. Xept [Vo et al. 1997] is a tool for providing source code with the ability to detect, mask, recover and propagate exceptions from library functions. 8 Concluding Remarks Exception handling mechanisms are becoming important features of object oriented programming languages. They provide support at the programming ....

Vo, K., Wang, Y., Chung, P., Huang, Y., Xept: A Software Instrumentation Method for Exception Handling, Proceedings of the 8th International Symposium on Software Reliability Engineering (ISSRE'97), Albuquerque, NM, USA, 1997.

....way defective (since, in most cases, the POSIX standard does not require robustness) Further, it is recognized that the issue of what exactly should be considered robust behavior is controversial, and the matter is discussed further after experimental data has been presented. The Xept approach [Vo97] provides an alternate view on the issue error return vs. signal based models. Xept uses software wrappers around procedure calls as a way to encapsulate error checking and error handling within the context of a readable program. Although this approach has not at this point been widely adopted, ....

Vo, K-P., Wang, Y-M., Chung, P. & Huang, Y., "Xept: a software instrumentation method for exception handling," The Eighth International Symposium on Software Reliability Engineering, Albuquerque, NM, USA; 2-5 Nov. 1997, pp. 60-69.

No context found.

Vo, K.P., Wang, Y.M., Chung, P.E., Huang, Y.: Xept: a software instrumentation method for exception handling. (1997) 60--69

No context found.

Vo, K-P., Wang, Y-M., Chung, P. & Huang, Y., "Xept: a software instrumentation method for exception handling," The Eighth International Symposium on Software Reliability Engineering, Albuquerque, NM, USA; 2-5 Nov. 1997, pp. 60--69

No context found.

Vo, K.P., Wang, Y.M., Chung, P.E., Huang, Y.: Xept: a software instrumentation method for exception handling. (1997) 60--69

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