Repositioning of static analysis alarms

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

6 Citaten (Scopus)

Samenvatting

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, a novel automatic postprocessing technique intended to reduce the number of reported alarms without affecting the errors uncovered by them. The reduction in the number of alarms is achieved by moving groups of related alarms along the control flow to a program point where they can be replaced by a single alarm. In the repositioning technique, as the locations of repositioned alarms are different than locations of the errors uncovered by them, we also maintain traceability links between a repositioned alarm and its corresponding original alarm(s). The presented technique is tool-agnostic and orthogonal to many other techniques available for postprocessing alarms. To evaluate the technique, we applied it as a postprocessing step to alarms generated for 4 verification properties on 16 open source and 4 industry applications. The results indicate that the alarms repositioning technique reduces the alarms count by up to 20% over the state-of-the-art alarms grouping techniques with a median reduction of 7.25%.

Originele taal-2Engels
TitelISSTA 2018 - Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis
UitgeverijAssociation for Computing Machinery, Inc
Pagina's187-197
Aantal pagina's11
ISBN van elektronische versie9781450356992
DOI's
StatusGepubliceerd - 12 jul 2018
Evenement27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018 - Amsterdam, Nederland
Duur: 16 jul 201821 jul 2018

Congres

Congres27th ACM SIGSOFT International Symposium on Software Testing and Analysis, ISSTA 2018
Land/RegioNederland
StadAmsterdam
Periode16/07/1821/07/18

Vingerafdruk

Duik in de onderzoeksthema's van 'Repositioning of static analysis alarms'. Samen vormen ze een unieke vingerafdruk.

Citeer dit