| [석사 백소연, 이성호 교수님] 2023 한국소프트웨어종합학술대회 우수발표논문상 | |||||
| 작성자 | 조교 김정화 | ||||
|---|---|---|---|---|---|
| 조회수 | 442 | 등록일 | 2024.04.01 | ||
|
축하 드립니다.
논문 요약 : 정적 분석은 소프트웨어 품질 향상과 안정성을 위하여 널리 사용되고 있다. 프고그램의 상태를 실행없이 근사하고, 이를 통해 발생 가능한 잠재적인 버그나 취약점 등을 탐지한다. 그러나 지나친 근사화는 분석의 정확도를 낮춰 분석 결과의 신뢰성을 떨어뜨린다. C언어 대상의 정적 분석 도구인infer, sparrow에서는 분기 지점 이후에 특정한 명령어를 추가하고,이를 활용하여 조건 변수의 분석값을 정제함으로써 분석의 정확도를 높인다.그러나 저수준 중간언어인LLVM IR의 경우 조건식을 명확하게 찾을 수 없어 동일한 방식으로 값을 정제하기가 어렵다.본 논문은 전 분석을 통해 반드시 만족해야 하는 조건을 분석하고,본 분석에서 이를 활용함으로써 분석의 정확도를 높일 방안을 제시한다. |
|||||
