DC Field | Value | Language |
---|---|---|
dc.contributor.advisor | Heo, Ki Hong | - |
dc.contributor.advisor | 허기홍 | - |
dc.contributor.author | Kim, Hyunsu | - |
dc.date.accessioned | 2023-06-26T19:32:02Z | - |
dc.date.available | 2023-06-26T19:32:02Z | - |
dc.date.issued | 2022 | - |
dc.identifier.uri | http://library.kaist.ac.kr/search/detail/view.do?bibCtrlNo=1008420&flag=dissertation | en_US |
dc.identifier.uri | http://hdl.handle.net/10203/309631 | - |
dc.description | 학위논문(석사) - 한국과학기술원 : 정보보호대학원, 2022.8,[iv, 32 p. :] | - |
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 | eng | - |
dc.publisher | 한국과학기술원 | - |
dc.subject | 프로그램 분석▼a정적 분석▼a베이지안 알람 랭킹 시스템 | - |
dc.subject | Program analysis▼aStatic analysis▼aBayesian alarm ranking system | - |
dc.title | Learning probabilistic models for static analysis alarms | - |
dc.title.alternative | 정적 분석 알람을 위한 확률 모델 학습 | - |
dc.type | Thesis(Master) | - |
dc.identifier.CNRN | 325007 | - |
dc.description.department | 한국과학기술원 :정보보호대학원, | - |
dc.contributor.alternativeauthor | 김현수 | - |
Items in DSpace are protected by copyright, with all rights reserved, unless otherwise indicated.