지원사업
학술연구/단체지원/교육 등 연구자 활동을 지속하도록 DBpia가 지원하고 있어요.
커뮤니티
연구자들이 자신의 연구와 전문성을 널리 알리고, 새로운 협력의 기회를 만들 수 있는 네트워킹 공간이에요.
논문 기본 정보
- 자료유형
- 학술저널
- 저자정보
- 저널정보
- Korean Institute of Information Scientists and Engineers 정보과학회 컴퓨팅의 실제 논문지 정보과학회 컴퓨팅의 실제 논문지 제30권 제10호
- 발행연도
- 2024.10
- 수록면
- 519 - 524 (6page)
- DOI
- 10.5626/KTCP.2024.30.10.519
이용수
초록· 키워드
오류제보하기
정적 분석은 소프트웨어 품질 향상과 안정성을 위하여 널리 사용되고 있다. 프로그램의 상태를 실행 없이 근사하고, 이를 통해 발생 가능한 잠재적인 버그나 취약점 등을 탐지한다. 그러나 지나친 근사화는 분석의 정확도를 낮춰 분석 결과의 신뢰성을 떨어뜨린다. C언어 대상의 정적 분석 도구인 Infer, Sparrow에서는 분기 지점 이후에 특정한 명령어를 추가하고, 이를 활용하여 조건 변수의 분석 값을 정제함으로써 분석의 정확도를 높인다. 그러나 저수준 중간언어인 LLVM IR의 경우 조건식을 명확하게 찾을 수 없어 동일한 방식으로 값을 정제하기가 어렵다. 본 논문에서는 조건 분기에 활용된 1bit 레지스터로부터 역방향 전분석을 통해, 분기에 따라 만족해야 할 변수의 불변식을 자동으로 추출하는 방식을 제안한다. 자동 추출된 불변식을 본 분석에서 요약 값 정제에 활용함으로써, 위양성 경보를 줄이고 분석의 정확도를 높일 수 있음을 실험을 통해 보였다.
목차
요약
Abstract
1. 서론
2. 배경
3. 조건문에서의 불변식 추출 방법
4. 실험
5. 관련연구
6. 결론
References
참고문헌 (7)
참고문헌 신청
Harmim, Dominik, Vladimır Marcin, and Ondrej Pavela, "Scalable Static Analysis using Facebook Infer," I, VI-B, 2019.
Oh, Hak-Joo, et al. "Sparrow: The Source Code Analyzer," Proc. of the Korean Information Science Society Conference, Vol. 2007.06c, pp. 500-504, 2007.
Lattner, Chris, and Vikram Adve, "LLVM: A compilation framework for lifelong program analysis & transformation," International Symposium on Code Generation and Optimization, 2004. CGO 2004, pp. 75-86, 2004.
static analysis benchmarks from Toyota ITC. Available: https://github.com/regehr/itc-benchmarks (accessed 2024, Mar. 13)
Juliet Test Suite v1.2 for C/C++. Available: https://samate.nist.gov/SRD/testsuite.php (accessed 2024, Mar. 13)
Oh, Hak-Joo, et al. "Sparrow: The Source Code Analyzer," Proc. of the Korean Information Science Society Conference, Vol. 2007.06c, pp. 500-504, 2007.
Lattner, Chris, and Vikram Adve, "LLVM: A compilation framework for lifelong program analysis & transformation," International Symposium on Code Generation and Optimization, 2004. CGO 2004, pp. 75-86, 2004.
static analysis benchmarks from Toyota ITC. Available: https://github.com/regehr/itc-benchmarks (accessed 2024, Mar. 13)
Juliet Test Suite v1.2 for C/C++. Available: https://samate.nist.gov/SRD/testsuite.php (accessed 2024, Mar. 13)
함께 읽어보면 좋을 논문
논문 유사도에 따라 DBpia 가 추천하는 논문입니다. 함께 보면 좋을 연관 논문을 확인해보세요!
-
LLVM: 탑재소프트웨어 개발을 위한 차세대 컴파일러 기술
항공우주산업기술동향
2016 .12
-
이더리움 바이트코드의 LLVM 중간 언어 변환 방법
한국정보과학회 학술발표논문집
2018 .06
-
LLVM 기반의 차량 소스 코드 안정성 검증 도구
한국정보과학회 학술발표논문집
2015 .06
-
LLVM-IR level approximation을 통한 OpenCL 2D convolution 커널 프로그램 속도 개선 탐구
한국정보과학회 학술발표논문집
2018 .12
-
자체 수정 코드를 탐지하는 정적 분석 방법의 LLVM 프레임워크 기반 구현 및 실험
정보보호학회논문지
2022 .04
-
LLVM Clang 정적 분석기의 평가
한국정보과학회 학술발표논문집
2015 .06
-
LLVM IR 기반의 소프트웨어 취약점 분석
대한전자공학회 학술대회
2022 .06
-
Binary Code의 영향을 최소화하는 LLVM기반 Fault Injector의 모델 설계 및 구현
한국정보과학회 학술발표논문집
2019 .06
-
CCTV 관제 업무의 효율성 강화를 위한 LLVM 기반 영상 정보의 텍스트 변환과 지능형 검색 시스템
대한전자공학회 학술대회
2024 .06
-
Juliet Test Suite를 활용한 LLVM Clang 정적 분석기의 평가
한국정보과학회 학술발표논문집
2016 .12
-
LLVM 기반 OpenCL 환경 GPU 워크로드의 다이나믹 프로파일링
한국정보과학회 학술발표논문집
2018 .06
-
LLVM을 이용한 Verilog Backend 구현
대한전자공학회 학술대회
2016 .11
-
임베디드 기기 바이너리 취약점 분석 효율성 제고를 위한 중간어 변환 기술
스마트미디어저널
2018 .01
-
LLVM 기반의 BareMetal IoT 디바이스 펌웨어 난독화
한국정보과학회 학술발표논문집
2020 .07
-
RISC-V ISA Bfloat16 산술 명령어 지원을 위한 LLVM 컴파일러 구현
대한전자공학회 학술대회
2022 .06
-
Code Optimizations for In-network Processing : The State of Scalar Evolution in LLVM
한국통신학회 학술대회논문집
2019 .01
-
Two-Branch Network by Residual Learning for Age-invariant Face Recognition
한국정보과학회 학술발표논문집
2020 .07
-
“프로그램 정적 분석” 특집을 내면서
정보과학회지
2016 .03
-
LLVM 기반의 최적화 기법을 통한 바이너리 역난독화
한국정보과학회 학술발표논문집
2021 .12
-
IR 센서를 이용한 블록 인식 기술 개발
한국정밀공학회 학술발표대회 논문집
2022 .05
이 논문과 함께 이용한 논문
최근 본 자료
댓글(0)
0