All Title Author
Keywords Abstract

Design and Implementation of a Exception Propagation Analysis Tool

Keywords: Exception handling,Program analysis,Exception propagation,Design and implementation

Full-Text   Cite this paper   Add to My Lib


Exception handling is a technology that tests and handles exception.Exception propagation induces a control flow other than the main control flow,so it changes the data flows,control flows of programs and the dependence relationshi Pbetween the structure elements of programs.For the analysis of C++ programs to be correct and precise,the flows induced by exception propagation must be properly analyzed.The paper describes the design and implementation of the CETool,an exception propagation analysis tool we ha...


comments powered by Disqus