Sound Non-Statistical Clustering of Static Analysis Alarms
DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Woosuk | - |
dc.contributor.author | Lee, Wonchan | - |
dc.contributor.author | Kang, Dongok | - |
dc.contributor.author | Heo, Kihong | - |
dc.contributor.author | Oh, Hakjoo | - |
dc.contributor.author | Yi, Kwangkeun | - |
dc.date.accessioned | 2021-09-03T02:20:50Z | - |
dc.date.available | 2021-09-03T02:20:50Z | - |
dc.date.created | 2021-06-16 | - |
dc.date.issued | 2017-09 | - |
dc.identifier.issn | 0164-0925 | - |
dc.identifier.uri | https://scholar.korea.ac.kr/handle/2021.sw.korea/82404 | - |
dc.description.abstract | We present a sound method for clustering alarms from static analyzers. Our method clusters alarms by discovering sound dependencies between them such that if the dominant alarms of a cluster turns out to be false, all the other alarms in the same cluster are guaranteed to be false. We have implemented our clustering algorithm on top of a realistic buffer-overflow analyzer and proved that our method reduces 45% of alarm reports. Our framework is applicable to any abstract interpretation-based static analysis and orthogonal to abstraction refinements and statistical ranking schemes. | - |
dc.language | English | - |
dc.language.iso | en | - |
dc.publisher | ASSOC COMPUTING MACHINERY | - |
dc.title | Sound Non-Statistical Clustering of Static Analysis Alarms | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | Oh, Hakjoo | - |
dc.identifier.doi | 10.1145/3095021 | - |
dc.identifier.scopusid | 2-s2.0-85028504442 | - |
dc.identifier.wosid | 000414328600003 | - |
dc.identifier.bibliographicCitation | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.39, no.4 | - |
dc.relation.isPartOf | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.citation.title | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.citation.volume | 39 | - |
dc.citation.number | 4 | - |
dc.type.rims | ART | - |
dc.type.docType | Article | - |
dc.description.journalClass | 1 | - |
dc.description.journalRegisteredClass | scie | - |
dc.description.journalRegisteredClass | scopus | - |
dc.relation.journalResearchArea | Computer Science | - |
dc.relation.journalWebOfScienceCategory | Computer Science, Software Engineering | - |
dc.subject.keywordAuthor | Static analysis | - |
dc.subject.keywordAuthor | abstract interpretation | - |
dc.subject.keywordAuthor | false alarms | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
(02841) 서울특별시 성북구 안암로 14502-3290-1114
COPYRIGHT © 2021 Korea University. All Rights Reserved.
Certain data included herein are derived from the © Web of Science of Clarivate Analytics. All rights reserved.
You may not copy or re-distribute this material in whole or in part without the prior written consent of Clarivate Analytics.