DC Field | Value | Language |
---|---|---|
dc.contributor.author | Lee, Woosuk | ko |
dc.contributor.author | Lee, Wonchan | ko |
dc.contributor.author | Kang, Dongok | ko |
dc.contributor.author | Heo, Kihong | ko |
dc.contributor.author | Oh, Hakjoo | ko |
dc.contributor.author | Yi, Kwangkeun | ko |
dc.date.accessioned | 2020-01-22T05:20:06Z | - |
dc.date.available | 2020-01-22T05:20:06Z | - |
dc.date.created | 2020-01-22 | - |
dc.date.created | 2020-01-22 | - |
dc.date.created | 2020-01-22 | - |
dc.date.issued | 2017-09 | - |
dc.identifier.citation | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS, v.39, no.4 | - |
dc.identifier.issn | 0164-0925 | - |
dc.identifier.uri | http://hdl.handle.net/10203/271734 | - |
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.publisher | ASSOC COMPUTING MACHINERY | - |
dc.title | Sound Non-Statistical Clustering of Static Analysis Alarms | - |
dc.type | Article | - |
dc.identifier.wosid | 000414328600003 | - |
dc.identifier.scopusid | 2-s2.0-85028504442 | - |
dc.type.rims | ART | - |
dc.citation.volume | 39 | - |
dc.citation.issue | 4 | - |
dc.citation.publicationname | ACM TRANSACTIONS ON PROGRAMMING LANGUAGES AND SYSTEMS | - |
dc.identifier.doi | 10.1145/3095021 | - |
dc.contributor.localauthor | Heo, Kihong | - |
dc.contributor.nonIdAuthor | Lee, Woosuk | - |
dc.contributor.nonIdAuthor | Lee, Wonchan | - |
dc.contributor.nonIdAuthor | Kang, Dongok | - |
dc.contributor.nonIdAuthor | Oh, Hakjoo | - |
dc.contributor.nonIdAuthor | Yi, Kwangkeun | - |
dc.description.isOpenAccess | N | - |
dc.type.journalArticle | Article | - |
dc.subject.keywordAuthor | Static analysis | - |
dc.subject.keywordAuthor | abstract interpretation | - |
dc.subject.keywordAuthor | false alarms | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.