View article

Multiple types of faults can exist in a program, and their detection is important for software reliability and robustness. However, most available tools only provide detection capabilities for one particular type of fault. As a result, multiple tools have to be used and tools for a particular type of fault may not even be available. The advantages of detecting different types of faults on the same platform, such as determining the interaction of different faults, are lost. An important challenge of developing multi-fault detectors is that the scalability and precision techniques for one type of fault may not be beneficial for another type. In this paper, we present a novel framework that automatically generates scalable, interprocedural, path-sensitive analyses to detect user specified faults. The framework consists of a specification technique that expresses faults and information needed for their detection, a scalable, path-sensitive …