Static analysis tools have showcased their importance and usefulness in automated
detection of defects. However, the tools are known to generate a large number of alarms …

Static analysis (SA) tools can generate useful static warnings to reveal the problematic code
snippets in a software system without dynamically executing the corresponding source code …

Static analysis tools have showcased their importance and usefulness in automated
detection of code anomalies and defects. However, the large number of alarms reported and …

The large number of alarms reported by static analysis tools is often recognized as one of
the major obstacles to industrial adoption of such tools. We present repositioning of alarms …

Static analysis tools are useful to detect common programming errors. However, they
generate a large number of false positives. Postprocessing of these alarms using a model …

Context: Bug finders have been actively used to efficiently detect bugs. However, developers
and researchers found that the bug finders show high false positive rate. The false positives …

By operating in highly asynchronous environments, SDN controllers often suffer from bugs
caused by concurrency violations. Unfortunately, state-of-the-art concurrency analyzers for …

Static analysis tools are widely used in practice to improve the quality and reliability of
software through early detection of defects. However, the number of alarms generated is a …

The successful learning of an engineering student depends substantially on the instructor's
ability to adapt instruction, both the content and the various teaching styles, to individual …

In this chapter, we first introduce static analysis and alarms generated by static analysis tools
(Section 1.1). We then describe the problem of large number of alarms and their …