Skip to main content
Kent Academic Repository

Effective Interactive Resolution of Static Analysis Alarms

Zhang, Xin, Grigore, Radu, Si, Xujie, Naik, Mayur (2017) Effective Interactive Resolution of Static Analysis Alarms. Proceedings of the ACM on Programming Languages, 1 (OOPSLA). Article Number 57. ISSN 2475-1421. E-ISSN 2475-1421. (doi:10.1145/3133881) (KAR id:62658)

Abstract

We propose an interactive approach to resolve static analysis alarms. Our approach synergistically combines a sound but imprecise analysis with precise but unsound heuristics, through user interaction. In each iteration, it solves an optimization problem to find a set of questions for the user such that the expected payoff is maximized. We have implemented our approach in a tool, Ursa, that enables interactive alarm resolution for any analysis specified in the declarative logic programming language Datalog. We demonstrate the effectiveness of Ursa on a state-of-the-art static datarace analysis using a suite of 8 Java programs comprising 41-194 KLOC each. Ursa is able to eliminate 74% of the false alarms per benchmark with an average payoff of 12 per question. Moreover, Ursa prioritizes user effort effectively by posing questions that yield high payoffs earlier.

Item Type: Article
DOI/Identification number: 10.1145/3133881
Subjects: Q Science
T Technology
Divisions: Divisions > Division of Computing, Engineering and Mathematical Sciences > School of Computing
Depositing User: Radu Grigore
Date Deposited: 14 Aug 2017 08:31 UTC
Last Modified: 04 Mar 2024 15:29 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/62658 (The current URI for this page, for reference purposes)

University of Kent Author Information

  • Depositors only (login required):

Total unique views for this document in KAR since July 2020. For more details click on the image.