Use after free - 편집 역사

2024년 3월 18일 (월) 06:53에 Ahn9807님의 편집

2024-03-18T06:53:32Z

← 이전 판		2024년 3월 18일 (월) 06:53 판
96번째 줄:		96번째 줄:
	\|Yes		\|Yes
	\|-		\|-
	\|Cling		\|[[Cling: A Memory Allocator to Mitigate Dangling Pointers\|Cling]]
	\|?		\|?
	\|11%		\|11%

2024년 2월 20일 (화) 10:29에 Ahn9807님의 편집

2024-02-20T10:29:31Z

← 이전 판		2024년 2월 20일 (화) 10:29 판
79번째 줄:		79번째 줄:
	\|12%		\|12%
	\|?		\|?
	\|~~Detector~~		\|Preventor
	\|Yes		\|Yes
	\|-		\|-
86번째 줄:		86번째 줄:
	\|20%		\|20%
	\|?		\|?
	\|~~Detector~~		\|Preventor
	\|Yes		\|Yes
	\|-		\|-
93번째 줄:		93번째 줄:
	\|7.2%		\|7.2%
	\|Low		\|Low
	\|~~Detector~~		\|Preventor
	\|Yes		\|Yes
	\|-		\|-
99번째 줄:		99번째 줄:
	\|?		\|?
	\|11%		\|11%
	\|~~None~~		\|?
	\|~~Detector~~		\|Preventor
	\|?		\|?
	\|-		\|-
	\| rowspan="4" \|Pointer Nullification		\| rowspan="4" \|Pointer Nullification
	\|*DangNULL		\|*[[Preventing Use-after-free with Dangling Pointers Nullification\|DangNULL]]
	\|127.1%		\|127.1%
	\|54%		\|54%
	\|		\|<blockquote>Low</blockquote>
	\|		\|Detector
	\|		\|Yes
	\|-		\|-
	\|FreeSentry		\|FreeSentry
	\|		\|?
	\|45%		\|42%
	\|		\|?
	\|		\|Detector
	\|		\|Yes
	\|-		\|-
	\|*DangSan		\|*DangSan
	\|148.1%		\|148.1%
	\|40%		\|40%
	\|		\|Low
	\|		\|Detector
	\|		\|Yes
	\|-		\|-
	\|*pSweeper		\|*pSweeper
	\|125.2%		\|125.2%
	\|15%		\|15%
	\|		\|High
	\|		\|Preventor
	\|		\|Yes
	\|-		\|-
	\| rowspan="2" \|Dynamic checking		\| rowspan="2" \|Dynamic checking
	\|CETS		\|CETS
	\|		\|?
	\|48%		\|48%
	\|		\|?
	\|		\|Detector
	\|		\|Yes
	\|-		\|-
	\|MemSafe		\|MemSafe
	\|		\|?
	\|88%		\|88%
	\|		\|?
	\|		\|Detector
	\|		\|Yes
	\|}		\|}

2024년 2월 20일 (화) 10:10에 Ahn9807님의 편집

2024-02-20T10:10:26Z

← 이전 판		2024년 2월 20일 (화) 10:10 판
16번째 줄:		16번째 줄:

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

40번째 줄:		40번째 줄:
	\|60%		\|60%
	\|40%		\|40%
	\|~~None~~		\|?
	\|Detector		\|Detector
	\|No-COW		\|No-COW
47번째 줄:		47번째 줄:
	\|25%		\|25%
	\|30%		\|30%
	\|~~None~~		\|?
	\|Detector		\|Detector
	\|No		\|No
62번째 줄:		62번째 줄:
	\|22.3%		\|22.3%
	\|10%		\|10%
	\|~~None~~		\|?
	\|Preventor		\|Preventor
	\|No-fork		\|No-fork
78번째 줄:		78번째 줄:
	\|?		\|?
	\|12%		\|12%
	\|~~None~~		\|?
	\|Detector		\|Detector
	\|Yes		\|Yes
85번째 줄:		85번째 줄:
	\|?		\|?
	\|20%		\|20%
	\|~~None~~		\|?
	\|Detector		\|Detector
	\|Yes		\|Yes
97번째 줄:		97번째 줄:
	\|-		\|-
	\|Cling		\|Cling
	\|		\|?
	\|11%		\|11%
	\|		\|None
	\|Detector		\|Detector
	\|		\|?
	\|-		\|-
	\| rowspan="4" \|Pointer Nullification		\| rowspan="4" \|Pointer Nullification

2024년 2월 20일 (화) 07:03에 Ahn9807님의 편집

2024-02-20T07:03:53Z

← 이전 판		2024년 2월 20일 (화) 07:03 판
163번째 줄:		163번째 줄:
	:이 방식은, 포인터들의 reference count를 동적으로 추적하여서, reference count가 drop된 뒤에만 release를 시킨다. 모든 instrumentation에 체크 코드를 injection시켜야 하기 때문에 큰 performance overhead를 가진다. 굳이 Reference count가 아니더라도, taint tracking과 같은 방식으로 runtime에 동적으로 포인터의 상관관계를 추적하는 기법들을 여기에 분류하였다.		:이 방식은, 포인터들의 reference count를 동적으로 추적하여서, reference count가 drop된 뒤에만 release를 시킨다. 모든 instrumentation에 체크 코드를 injection시켜야 하기 때문에 큰 performance overhead를 가진다. 굳이 Reference count가 아니더라도, taint tracking과 같은 방식으로 runtime에 동적으로 포인터의 상관관계를 추적하는 기법들을 여기에 분류하였다.

	이 외에도 Hardware based 방식의 CHERI, Watchdog와 같은 방식과, Static analysis를 이용한 방법이 있는데, 전자는 특수한 하드웨어가 필요하고, 후자는 false positive의 가능성이 매우 높아 ~~Pratical하게~~ 사용하기 힘들다는 단점이 존재한다.		이 외에도 Hardware based 방식의 CHERI, Watchdog와 같은 방식과, Static analysis를 이용한 방법이 있는데, 전자는 특수한 하드웨어가 필요하고, 후자는 false positive의 가능성이 매우 높아 Practical하게 사용하기 힘들다는 단점이 존재한다.

2024년 2월 20일 (화) 07:03에 Ahn9807님의 편집

2024-02-20T07:03:23Z

← 이전 판		2024년 2월 20일 (화) 07:03 판
53번째 줄:		53번째 줄:
	\| rowspan="3" \|Garbage collection		\| rowspan="3" \|Garbage collection
	\|*[[MarkUs: Drop-in use-after-free prevention for low-level languages\|MarkUS]]		\|*[[MarkUs: Drop-in use-after-free prevention for low-level languages\|MarkUS]]
	\|27%		\|28%
	\|14%		\|14.8%
	\|Low		\|Low
	\|Preventor		\|Preventor
75번째 줄:		75번째 줄:
	\| rowspan="4" \|Randomization		\| rowspan="4" \|Randomization
	& BIBOP Allocator		& BIBOP Allocator
	\|DieHard		\|[[DieHard: Probabilistic Memory Safety for Unsafe Languages\|DieHard]]
	\|		\|?
	\|12%		\|12%
	\|		\|None
	\|Detector		\|Detector
	\|		\|Yes
	\|-		\|-
	\|DieHarder		\|[[DieHarder: Securing the Heap\|DieHarder]]
	\|		\|?
	\|20%		\|20%
	\|		\|None
	\|Detector		\|Detector
	\|		\|Yes
	\|-		\|-
	\|FreeGuard		\|*[[FreeGuard: A Faster Secure Heap Allocator\|FreeGuard]]
	\|		\|115.4%
	\|2%		\|7.2%
	\|		\|Low
	\|Detector		\|Detector
	\|		\|Yes
	\|-		\|-
	\|Cling		\|Cling
104번째 줄:		104번째 줄:
	\|-		\|-
	\| rowspan="4" \|Pointer Nullification		\| rowspan="4" \|Pointer Nullification
	\|DangNULL		\|*DangNULL
	\|		\|127.1%
	\|54%		\|54%
	\|		\|
118번째 줄:		118번째 줄:
	\|		\|
	\|-		\|-
	\|DangSan		\|*DangSan
	\|		\|148.1%
	\|33%		\|40%
	\|		\|
	\|		\|
	\|		\|
	\|-		\|-
	\|pSweeper		\|*pSweeper
	\|		\|125.2%
	\|15%		\|15%
	\|		\|

2024년 2월 20일 (화) 03:56에 Ahn9807님의 편집

2024-02-20T03:56:28Z

← 이전 판		2024년 2월 20일 (화) 03:56 판
14번째 줄:		14번째 줄:

	==기존 UAF 논문들 정리==		==기존 UAF 논문들 정리==

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

	{\| class="wikitable sortable"		{\| class="wikitable sortable"
	\|+UAF 논문 정리 '''(* 수치는 직접 측정, 혹은 다른 논문에 측정된 수치를 참고함)'''		\|+UAF 논문 정리 '''(* 수치는 직접 측정, 혹은 다른 논문에 측정된 수치를 참고함)'''
61번째 줄:		66번째 줄:
	\|No-fork		\|No-fork
	\|-		\|-
	\|CRCount		\|[[CRCount: Pointer Invalidation with Reference Counting to Mitigate Use-after-free in Legacy C/C++\|CRCount]]
	\|18%		\|18%
	\|22%		\|22%

2024년 2월 20일 (화) 02:32에 Ahn9807님의 편집

2024-02-20T02:32:43Z

← 이전 판		2024년 2월 20일 (화) 02:32 판
15번째 줄:		15번째 줄:
	==기존 UAF 논문들 정리==		==기존 UAF 논문들 정리==
	{\| class="wikitable sortable"		{\| class="wikitable sortable"
	\|+		\|+UAF 논문 정리 '''(* 수치는 직접 측정, 혹은 다른 논문에 측정된 수치를 참고함)'''
	!Category		!Category
	!Research		!Research
25번째 줄:		25번째 줄:
	\|-		\|-
	\| rowspan="3" \|One-time-allocator		\| rowspan="3" \|One-time-allocator
	\|[[Preventing Use-After-Free Attacks with Fast Forward Allocation\|FFmalloc]]		\|*[[Preventing Use-After-Free Attacks with Fast Forward Allocation\|FFmalloc]]
	\|230%		\|230%
	\|2.3%		\|2.3%
39번째 줄:		39번째 줄:
	\|No-COW		\|No-COW
	\|-		\|-
	\|[[DangZero: Efficient Use-After-Free Detection via Direct Page Table Access\|DangZero]]		\|*[[DangZero: Efficient Use-After-Free Detection via Direct Page Table Access\|DangZero]]
	\|25%		\|25%
	\|30%		\|30%
47번째 줄:		47번째 줄:
	\|-		\|-
	\| rowspan="3" \|Garbage collection		\| rowspan="3" \|Garbage collection
	\|[[MarkUs: Drop-in use-after-free prevention for low-level languages\|MarkUS]]		\|*[[MarkUs: Drop-in use-after-free prevention for low-level languages\|MarkUS]]
	\|27%		\|27%
	\|14%		\|14%
142번째 줄:		142번째 줄:
	\|		\|
	\|}		\|}
	~~TBD~~
			;One-time-allocator
			:One time allocator (OTA)는 VA를 reuse하지 않는다. VA를 Reuse하지 않고, Virtual page들을 각 object들에 대해서 배분한다. TLB cache miss가 증가하고, 한번 사용된 VA를 다시 사용하지 못한다는 점과, intensive한 page table modification이 필요하지만, 안정적이고 다른 방법들에 대비하여 상대적으로 빠른 속도를 제공한다는 장점이 있다.

			;Garbage collection
			:C/C++에 GC의 매커니즘을 변경시켜서, 효율적으로 UAF버그에 적용될 수 있는 GC기반의 UAF preventor를 만드는 연구들이 있다. 그러나, UAF버그를 효과적으로 막기 위해서는 Boehm-Demers-Weiser GC와 같은 Conservative GC를 사용해야 하는데, 이는 Memory leak을 가져올 수 있는 문제가 있다. 또한 Concurrency issue, 그리고 memory overhead와 같은 문제들이 존재한다.

			;Randomization & BIBOP Allocator
			:Secure allocator 혹은 Secure layout of object이라고도 불리는 이 방식은, 오브젝트들은 최대한 randomization된 VA에 배치하는 방식으로 UAF버그를 예방한다. 이 방식에서는 기존의 Free list기반의 방식을 사용하면 UAF버그를 이용한 heap metadata공격을 막지 못함으로, free list가 아닌 BIBOP방식의 bitmap metadata를 사용하여서 Application이 사용하는 메모리 영역과 Allocator 메타데이터 영역을 분리한다. BIBOP searching에 performance overhead가 커지는 문제와, Randomization이기 때문에 100%완벽하지 않다는 문제가 존재한다.

			;Pointer Nullification
			:Explicit pointer invalidation이라고도 알려진 이 방법은, 포인터 사이의 reference 관계를 추적하다 한 포인터가 free()되면, 다른 모든 포인터들의 값은 Nullification (invalidation)시킨다. Performance overhead가 크고 이를 해결하더라도 Pointer relationship을 유지하기 위한 Memory overhead가 커지는 문제가 있다.

			;Dynamic checking (tracking)
			:이 방식은, 포인터들의 reference count를 동적으로 추적하여서, reference count가 drop된 뒤에만 release를 시킨다. 모든 instrumentation에 체크 코드를 injection시켜야 하기 때문에 큰 performance overhead를 가진다. 굳이 Reference count가 아니더라도, taint tracking과 같은 방식으로 runtime에 동적으로 포인터의 상관관계를 추적하는 기법들을 여기에 분류하였다.

			이 외에도 Hardware based 방식의 CHERI, Watchdog와 같은 방식과, Static analysis를 이용한 방법이 있는데, 전자는 특수한 하드웨어가 필요하고, 후자는 false positive의 가능성이 매우 높아 Pratical하게 사용하기 힘들다는 단점이 존재한다.

2024년 2월 19일 (월) 11:45에 Ahn9807님의 편집

2024-02-19T11:45:39Z

← 이전 판		2024년 2월 19일 (월) 11:45 판
25번째 줄:		25번째 줄:
	\|-		\|-
	\| rowspan="3" \|One-time-allocator		\| rowspan="3" \|One-time-allocator
	\|FFmalloc		\|[[Preventing Use-After-Free Attacks with Fast Forward Allocation\|FFmalloc]]
	\|230%		\|230%
	\|2.3%		\|2.3%
	\|		\|High
	\|		\|Preventor
	\|		\|Yes
	\|-		\|-
	\|OSCAR		\|[[Oscar: A Practical Page-Permissions-Based Scheme for Thwarting Dangling Pointers\|OSCAR]]
	\|		\|60%
	\|40%		\|40%
	\|		\|None
	\|		\|Detector
	\|		\|No-COW
	\|-		\|-
	\|DangZero		\|[[DangZero: Efficient Use-After-Free Detection via Direct Page Table Access\|DangZero]]
	\|		\|25%
	\|		\|30%
	\|		\|None
	\|		\|Detector
	\|		\|No
	\|-		\|-
	\| rowspan="3" \|Garbage collection		\| rowspan="3" \|Garbage collection
	\|MarkUS		\|[[MarkUs: Drop-in use-after-free prevention for low-level languages\|MarkUS]]
	\|		\|27%
	\|10%		\|14%
	\|		\|Low
	\|Preventor		\|Preventor
	\|		\|Yes
	\|-		\|-
	\|Minesweeper		\|[[MineSweeper: A “Clean Sweep” for Drop-In Use-After-Free Prevention\|Minesweeper]]
	\|		\|22.3%
	\|		\|10%
	\|		\|None
	\|Preventor		\|Preventor
	\|		\|No-fork
	\|-		\|-
	\|CRCount		\|CRCount
	\|		\|18%
	\|22%		\|22%
	\|		\|High
	\|Preventor		\|Preventor
	\|		\|Yes
	\|-		\|-
	\| rowspan="4" \|Randomization		\| rowspan="4" \|Randomization

2024년 2월 19일 (월) 08:02에 Ahn9807님의 편집

2024-02-19T08:02:25Z

← 이전 판		2024년 2월 19일 (월) 08:02 판
9번째 줄:		9번째 줄:
	* Event-driven방식 혹은 Object-oriented programming은 위와 같은 환경을 매우 빈번하게 사용한다.		* Event-driven방식 혹은 Object-oriented programming은 위와 같은 환경을 매우 빈번하게 사용한다.
	이러한 이유로 인해서, Chromium browser에서 UAF버그는 2011-2013년에서 680건이나 발생한 것처럼, 매우 Mature한 프로그램에서도 빈번하게 일어나는 버그이다.		이러한 이유로 인해서, Chromium browser에서 UAF버그는 2011-2013년에서 680건이나 발생한 것처럼, 매우 Mature한 프로그램에서도 빈번하게 일어나는 버그이다.

			==UAF Bug Prevention & Detection==
			UAF버그를 막기 위한 시스템은 크게 Preventor와 Detector로 구분된다. Preventor는 UAF버그를 잡지는 못하지만, malicious한 버그가 일어나는 것을 차단한다. 그에 비해서 Detector는 UAF버그가 발생하자마자, Detector를 한다. Detector가 Preventor를 포함하고 더 유용한 Debugging tool이지만, 구현하기 까다로워 성능상으로는 훨씬 느리다.

			==기존 UAF 논문들 정리==
			{\| class="wikitable sortable"
			\|+
			!Category
			!Research
			!Memory
			!Performance
			!Scalability
			!Bug-detect Precision
			!Transparency
			\|-
			\| rowspan="3" \|One-time-allocator
			\|FFmalloc
			\|230%
			\|2.3%
			\|
			\|
			\|
			\|-
			\|OSCAR
			\|
			\|40%
			\|
			\|
			\|
			\|-
			\|DangZero
			\|
			\|
			\|
			\|
			\|
			\|-
			\| rowspan="3" \|Garbage collection
			\|MarkUS
			\|
			\|10%
			\|
			\|Preventor
			\|
			\|-
			\|Minesweeper
			\|
			\|
			\|
			\|Preventor
			\|
			\|-
			\|CRCount
			\|
			\|22%
			\|
			\|Preventor
			\|
			\|-
			\| rowspan="4" \|Randomization
			& BIBOP Allocator
			\|DieHard
			\|
			\|12%
			\|
			\|Detector
			\|
			\|-
			\|DieHarder
			\|
			\|20%
			\|
			\|Detector
			\|
			\|-
			\|FreeGuard
			\|
			\|2%
			\|
			\|Detector
			\|
			\|-
			\|Cling
			\|
			\|11%
			\|
			\|Detector
			\|
			\|-
			\| rowspan="4" \|Pointer Nullification
			\|DangNULL
			\|
			\|54%
			\|
			\|
			\|
			\|-
			\|FreeSentry
			\|
			\|45%
			\|
			\|
			\|
			\|-
			\|DangSan
			\|
			\|33%
			\|
			\|
			\|
			\|-
			\|pSweeper
			\|
			\|15%
			\|
			\|
			\|
			\|-
			\| rowspan="2" \|Dynamic checking
			\|CETS
			\|
			\|48%
			\|
			\|
			\|
			\|-
			\|MemSafe
			\|
			\|88%
			\|
			\|
			\|
			\|}
			TBD

2023년 10월 17일 (화) 03:36에 Ahn9807님의 편집

2023-10-17T03:36:15Z

← 이전 판		2023년 10월 17일 (화) 03:36 판
1번째 줄:		1번째 줄:
	[[분류: ~~시스템 보안~~]]		[[분류: 취약점 공격]]

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