Sanitizer - 편집 역사

Ahn9807: Ahn9807님이 Code sanitizer 문서를 Sanitizer 문서로 이동했습니다

2026-10-15T04:31:32Z

Ahn9807님이 Code sanitizer 문서를 Sanitizer 문서로 이동했습니다

← 이전 판	2026년 10월 15일 (목) 04:31 판
(차이 없음)

2026년 10월 15일 (목) 04:31에 Ahn9807님의 편집

2026-10-15T04:31:20Z

← 이전 판		2026년 10월 15일 (목) 04:31 판
1번째 줄:		1번째 줄:
	[[~~index.php?title=~~분류:소프트웨어 기반 보안]]		[[분류:소프트웨어 기반 보안]]

	== 개요 ==		== 개요 ==

2026년 10월 15일 (목) 04:31에 Ahn9807님의 편집

2026-10-15T04:31:08Z

@@ 1번째 줄: / 1번째 줄: @@
-[[분류: 소프트웨어 기반 보안]]
+[[index.php?title=분류:소프트웨어 기반 보안]]
 == 개요 ==
-Code santizier은 [[Compiler]] [[Instrumentation]]을 활용하여서 Runtime에 버그를 잡는 Programming tool을 의미한다. 대표적인 예로 [[Shadow memory]]를 활용하셔어 [[Memory corruption]]을 추적하는 [[AddressSanitizer]]과 같은 툴이 있다.
+Sanitizer는 [[Compiler]] [[Instrumentation]]을 활용하여서 Runtime에 버그를 잡는 Programming tool을 의미한다. 대표적인 예로 [[Shadow memory]]를 활용하셔어 [[Memory corruption]]을 추적하는 [[AddressSanitizer]]과 같은 툴이 있다.
 == 종류 ==
-* Performance와 Memory overhead는 서로 trade-off관계이 있는 경우가 대다수임
+Sanitizer는 Memory Safety를 검사하기 위해 필요한 Metadata를 어떤 방식으로 찾는지에 따라 크게 두 가지로 나눌 수 있다. 이때 Metadata를 찾는 데 사용하는 기준을 '''Identity Unit'''이라고 한다.
-* Scalability는 멀티 스레딩 환경 (보통 [[PARSEC]])에서 어느정도 Scalability를 보였는지를 표시, ? (멀티 스레딩 구현 안함, 측정 안함), Low - Moderate - High로 표기
+효율적인 Identity Unit은 Metadata Lookup이 빠르고, 메모리가 해제되거나 재사용되더라도 Identity가 안정적으로 유지되어야 하며, Object의 Bounds와 Liveness 정보를 식별할 수 있어야 한다. 빠른 Metadata Lookup은 Runtime Overhead를 줄이고, 안정적인 Identity는 Quarantine 없이도 Temporal Bug를 검출할 수 있도록 하며, 정확한 Bounds Metadata는 큰 Redzone 없이도 Spatial Bug를 검출할 수 있도록 한다.
-* Transparency는 Application수정 필요한지 표기. Yes (Full transparent), No (특정 기능이 없거나, 전체적으로 다시 구현해야 하는 경우)
+기존 Sanitizer들은 Identity Unit을 정의하는 방식에 따라 '''Location-based Sanitizer'''와 '''Identity-based Sanitizer'''로 구분할 수 있다.
 === Sanitizer 관련 프로젝트 정리 ===

2025년 5월 27일 (화) 10:58에 Ahn9807님의 편집

2025-05-27T10:58:35Z

← 이전 판		2025년 5월 27일 (화) 10:58 판
5번째 줄:		5번째 줄:

	== 종류 ==		== 종류 ==
			* Performance와 Memory overhead는 서로 trade-off관계이 있는 경우가 대다수임
			* Scalability는 멀티 스레딩 환경 (보통 [[PARSEC]])에서 어느정도 Scalability를 보였는지를 표시, ? (멀티 스레딩 구현 안함, 측정 안함), Low - Moderate - High로 표기
			* Transparency는 Application수정 필요한지 표기. Yes (Full transparent), No (특정 기능이 없거나, 전체적으로 다시 구현해야 하는 경우)

			=== Sanitizer 관련 프로젝트 정리 ===
	{\| class="wikitable"		{\| class="wikitable"
	\|+		\|+Sanitizer 프로젝트 정리 '''(* 수치는 직접 측정, 혹은 다른 논문에 측정된 수치를 참고함)'''
	!Name		!Name
	!Target		!Target
13번째 줄:		18번째 줄:
	!Performance overhead		!Performance overhead
	!Scalability		!Scalability
	~~!Tool Chain~~
	\|-		\|-
	\|[[ASAN]]		\|[[ASAN]]
21번째 줄:		25번째 줄:
	\|240%		\|240%
	\|Low		\|Low
	~~\|[[Clang]]~~
	\|-		\|-
	\|[[KASAN]]		\|[[KASAN]]
29번째 줄:		32번째 줄:
	\|		\|
	\|		\|
	~~\|[[Clang]]~~
	\|-		\|-
	\|LSan		\|LSan
37번째 줄:		39번째 줄:
	\|		\|
	\|		\|
	~~\|[[Clang]]~~
	\|-		\|-
	\|TSan		\|TSan
45번째 줄:		46번째 줄:
	\|		\|
	\|		\|
	~~\|[[Clang]]~~
	\|-		\|-
	\|MSan		\|MSan
53번째 줄:		53번째 줄:
	\|		\|
	\|		\|
	~~\|[[Clang]]~~
	\|-		\|-
	\|UBSan		\|UBSan
61번째 줄:		60번째 줄:
	\|		\|
	\|		\|
	\|~~[[Clang]]~~		\|}

			=== Sanitizer 관련 논문 정리 ===
			{\| class="wikitable"
			\|+Sanitizer 관련 논문 정리 '''(* 수치는 직접 측정, 혹은 다른 논문에 측정된 수치를 참고함)'''
			!Name
			!Target
			!Target Vulnerability
			!Memory overhead
			!Performance overhead
			!Scalability
	\|-		\|-
			\|[[ASAN]]
			\|Application
			\|Memory corruption
			\|73%
			\|240%
			\|Low
			\|-
			\|[[KASAN]]
			\|OS
			\|Memory corruption
	\|		\|
	\|		\|
	\|		\|
			\|-
			\|LSan
			\|Application
			\|Memory Leak
	\|		\|
			\|
			\|
			\|-
			\|TSan
			\|Application
			\|Data races & Deda locks
			\|
			\|
			\|
			\|-
			\|MSan
			\|Application
			\|Uninitialized memory
			\|
			\|
			\|
			\|-
			\|UBSan
			\|Application
			\|Undefined behaviors
	\|		\|
	\|		\|
	\|		\|
	\|}		\|}

Ahn9807: 새 문서: 분류: 소프트웨어 기반 보안 == 개요 == Code santizier은 Compiler Instrumentation을 활용하여서 Runtime에 버그를 잡는 Programming tool을 의미한다. 대표적인 예로 Shadow memory를 활용하셔어 Memory corruption을 추적하는 AddressSanitizer과 같은 툴이 있다. == 종류 == {| class="wikitable" |+ !Name !Target !Target Vulnerability !Memory overhead !Performance overhead !Scalability !Tool Chain |- |ASAN |Ap...

2025-05-27T10:50:11Z

새 문서: 분류: 소프트웨어 기반 보안 == 개요 == Code santizier은 Compiler Instrumentation을 활용하여서 Runtime에 버그를 잡는 Programming tool을 의미한다. 대표적인 예로 Shadow memory를 활용하셔어 Memory corruption을 추적하는 AddressSanitizer과 같은 툴이 있다. == 종류 == {| class="wikitable" |+ !Name !Target !Target Vulnerability !Memory overhead !Performance overhead !Scalability !Tool Chain |- |ASAN |Ap...

새 문서

[[분류: 소프트웨어 기반 보안]]

== 개요 ==
Code santizier은 [[Compiler]] [[Instrumentation]]을 활용하여서 Runtime에 버그를 잡는 Programming tool을 의미한다. 대표적인 예로 [[Shadow memory]]를 활용하셔어 [[Memory corruption]]을 추적하는 [[AddressSanitizer]]과 같은 툴이 있다.

== 종류 ==
{| class="wikitable"
|+
!Name
!Target
!Target Vulnerability
!Memory overhead
!Performance overhead
!Scalability
!Tool Chain
|-
|[[ASAN]]
|Application
|Memory corruption
|73%
|240%
|Low
|[[Clang]]
|-
|[[KASAN]]
|OS
|Memory corruption
|
|
|
|[[Clang]]
|-
|LSan
|Application
|Memory Leak
|
|
|
|[[Clang]]
|-
|TSan
|Application
|Data races & Deda locks
|
|
|
|[[Clang]]
|-
|MSan
|Application
|Uninitialized memory
|
|
|
|[[Clang]]
|-
|UBSan
|Application
|Undefined behaviors
|
|
|
|[[Clang]]
|-
|
|
|
|
|
|
|
|}