DC Field | Value | Language |
---|---|---|
dc.contributor.author | Kim, Hyunsu | ko |
dc.contributor.author | Raghothaman, Mukund | ko |
dc.contributor.author | Heo, Kihong | ko |
dc.date.accessioned | 2022-08-26T09:00:11Z | - |
dc.date.available | 2022-08-26T09:00:11Z | - |
dc.date.created | 2022-06-07 | - |
dc.date.created | 2022-06-07 | - |
dc.date.issued | 2022-05 | - |
dc.identifier.citation | The 44th ACM/IEEE International Conference on Software Engineering (ICSE 2022), pp.1282 - 1293 | - |
dc.identifier.issn | 0270-5257 | - |
dc.identifier.uri | http://hdl.handle.net/10203/298149 | - |
dc.description.abstract | We present BayeSmith, a general framework for automatically learning probabilistic models of static analysis alarms. Several probabilistic reasoning techniques have recently been proposed which incorporate external feedback on semantic facts and thereby reduce the user’s alarm inspection burden. However, these approaches are fundamentally limited to models with pre-defined structure, and are therefore unable to learn or transfer knowledge regarding an analysis from one program to another. Furthermore, these probabilistic models often aggressively generalize from external feedback and falsely suppress real bugs. To address these problems, we propose BayeSmith that learns the structure and weights of the probabilistic model. Starting from an initial model and a set of training programs with bug labels, BayeSmith refines the model to effectively prioritize real bugs based on feedback. We evaluate the approach with two static analyses on a suite of C programs. We demonstrate that the learned models significantly improve the performance of three state-of-the-art probabilistic reasoning systems. | - |
dc.language | English | - |
dc.publisher | ACM, IEEE | - |
dc.title | Learning Probabilistic Models for Static Analysis Alarms | - |
dc.type | Conference | - |
dc.identifier.wosid | 000832185400104 | - |
dc.identifier.scopusid | 2-s2.0-85133509047 | - |
dc.type.rims | CONF | - |
dc.citation.beginningpage | 1282 | - |
dc.citation.endingpage | 1293 | - |
dc.citation.publicationname | The 44th ACM/IEEE International Conference on Software Engineering (ICSE 2022) | - |
dc.identifier.conferencecountry | US | - |
dc.identifier.conferencelocation | Pittsburgh | - |
dc.identifier.doi | 10.1145/3510003.3510098 | - |
dc.contributor.localauthor | Heo, Kihong | - |
dc.contributor.nonIdAuthor | Raghothaman, Mukund | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.