An Approach to Detecting Bugs in Pattern-Based Bug Detectors — mentioned by belter

Tue, 07 Sep 2021 14:46:30 GMT

"... the advantages of static bug finders are overshadowed by such issues as uncovered obvious bugs, false positives, etc. To improve these tools, many techniques have been proposed to filter out false positives reported or design new static analysis rules. Nevertheless, the under-performance of bug finders can also be caused by the incorrectness of current rules contained in the static bug finders, which is not explored yet. In this work, we propose a differential testing approach to detect bugs in the rules of four widely-used static bug finders, i.e., SonarQube, PMD, SpotBugs, and…

Paper and discussion history. A mention is not an endorsement.

An Approach to Detecting Bugs in Pattern-Based Bug Detectors — HN submission

Tue, 07 Sep 2021 14:46:30 GMT

Find Bugs in Static Bug Finders

2 points; 1 discussion reply on HN. Paper and source history. A submission is not an endorsement.

An Approach to Detecting Bugs in Pattern-Based Bug Detectors · HackerPapers discussions

An Approach to Detecting Bugs in Pattern-Based Bug Detectors — mentioned by belter

An Approach to Detecting Bugs in Pattern-Based Bug Detectors — HN submission