다른 명령
편집 요약 없음 |
잔글편집 요약 없음 |
||
| 16번째 줄: | 16번째 줄: | ||
<div class="home-card__label">Author</div> | <div class="home-card__label">Author</div> | ||
<div class="home-link"> | <div class="home-link"> | ||
< | 안준호 (Ahn, Junho)<br> | ||
KAIST E3-1 CASYS Lab<br> | |||
✉️ junhoahn@kaist.ac.kr | |||
<div class="home-link__button">[https://sites.google.com/view/junhoahn/ Curriculum Vitae]</div> | <div class="home-link__button">[https://sites.google.com/view/junhoahn/ Curriculum Vitae]</div> | ||
</div> | </div> | ||
| 56번째 줄: | 56번째 줄: | ||
</div> | </div> | ||
</tabber> | </tabber> | ||
<br> | |||
<div class="home-card"> | |||
<div class="home-card__label">최근 바뀜</div> | |||
{{Special:RecentChanges/15,hidecategorization,hideminor}} | |||
</div> | |||
2024년 12월 11일 (수) 17:26 판
Nori wiki
Author
안준호 (Ahn, Junho)
KAIST E3-1 CASYS Lab
✉️ junhoahn@kaist.ac.kr
Submissions
- USENIX SECURITY 2024 Junho Ahn, Jaehyeon Lee, KangHyuk Lee, Wooseok Gwak, Minseong Hwang, Youngjin Kwon, "BUDAlloc: Defeating Use-After-Free Bugs by Decoupling Virtual Address Management from Kernel" (Acceptance rate: 18.32%, BK21++)
공사중...
공사중...
최근 바뀜
약어 목록:
- 새글
- 새 문서 (새 문서 목록도 보세요)
- 잔글
- 사소한 편집
- 봇
- 봇이 수행한 편집
- (±123)
- 바이트 수로 표현한 문서 크기의 차이
2026년 3월 25일 (수)
| 새글 08:20 | Data Flow Analysis 차이역사 +8,978 Ahn9807 토론 기여 (새 문서: 분류:프로그램 분석 == 개요 == '''Data Flow Analysis'''는 프로그램의 각 지점(program point)에서 변수나 메모리 상태에 대한 정보를 계산하는 정적 분석 기법이다. 이 분석은 프로그램을 실행하지 않고도, 가능한 모든 실행 경로를 고려하여 변수의 값, 상태, 혹은 속성(property)을 추론하는 것을 목표로 한다. 특히, Data Flow Analysis는 프로그램을 '''Control Flow Graph (CFG)'''로 변...) | ||||
| 05:59 | 올리기 기록 Ahn9807 토론 기여님이 파일:Data Flow Analysis Lattice.png 파일을 올렸습니다 | ||||
2026년 3월 23일 (월)
| 새글 07:11 | AddressSanitizer Optimization 차이역사 +13,272 Ahn9807 토론 기여 (새 문서: 분류:AddressSanitizer 분류:Program Analysis 분류:Optimization == 개요 == 이 문서는 AddressSanitizer(ASan)의 실행 오버헤드를 줄이기 위한 다양한 최적화 기법들을 정리한 문서이다. ASan은 heap, stack, global object에 대한 out-of-bounds access와 heap use-after-free를 효과적으로 검출하지만, 각 memory access마다 shadow memory를 확인하는 check를 삽입하므로 실행 시간 오버헤드가 크다. == Remo...) | ||||