LLVM Clang 정적 분석기의 평가
DC Field | Value | Language |
---|---|---|
dc.contributor.author | 표창우 | - |
dc.date.available | 2020-07-10T07:03:47Z | - |
dc.date.created | 2020-07-08 | - |
dc.date.issued | 2015-06-26 | - |
dc.identifier.issn | 1598-5164 | - |
dc.identifier.uri | https://scholarworks.bwise.kr/hongik/handle/2020.sw.hongik/9720 | - |
dc.description.abstract | 프로그램의 보안약점을 제거하기 위해 정적 분석기를 사용할 수 있으며, 사용자 층이 넓은 프로그래밍 언어에 대해서는 이미 여러 가지 정적 분석기가 사용되고 있다. 이 논문에서는 LLVM의 전단부인 Clang에 포함된 기호 실행 기반의 정적 분석기에서 34개의 체커에 대하여 시험 코드의 보안약점 검출 여부를 시험 평가하였다. 보안약점을 검출하지 못한 체커가 있었고, 검출한 체커 중에도 기호 실행의 한계로 인해 제어 흐름의 복잡도에 따라 분석 결과가 다르게 나오는 것도 있었다. 사용되는 시험용 프로그램의 제어 구조의 복잡도를 다양한 수준으로 개발하면, 정적 분석기의 분석 능력을 정확히 평가하여 Clang 정적분석기의 개선 방향을 정하는데 기여할 것으로 예상된다. | - |
dc.language | 한국어 | - |
dc.language.iso | ko | - |
dc.publisher | 한국정보과학회 | - |
dc.title | LLVM Clang 정적 분석기의 평가 | - |
dc.title.alternative | Evaluation of LLVM Clang Static Analyzer | - |
dc.type | Article | - |
dc.contributor.affiliatedAuthor | 표창우 | - |
dc.identifier.bibliographicCitation | 2015 한국컴퓨터종합학술대회 논문집, v.1, no.1, pp.1725 - 1727 | - |
dc.relation.isPartOf | 2015 한국컴퓨터종합학술대회 논문집 | - |
dc.citation.title | 2015 한국컴퓨터종합학술대회 논문집 | - |
dc.citation.volume | 1 | - |
dc.citation.number | 1 | - |
dc.citation.startPage | 1725 | - |
dc.citation.endPage | 1727 | - |
dc.type.rims | ART | - |
dc.description.journalClass | 2 | - |
Items in ScholarWorks are protected by copyright, with all rights reserved, unless otherwise indicated.
94, Wausan-ro, Mapo-gu, Seoul, 04066, Korea02-320-1314
COPYRIGHT 2020 HONGIK 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.