주요 공개 기록

noriwiki에서 사용할 수 있는 모든 기록이 표시됩니다. 기록 종류나 사용자 이름(대소문자 구별) 또는 영향을 받는 문서(대소문자 구별)를 선택하여 범위를 좁혀서 살펴볼 수 있습니다.

• 2024년 12월 11일 (수) 17:57 Ahn9807 토론 기여님이 CommentStreams:Dae8b68875e91dccf37a47df10b0b949 답변을 삭제했습니다
• 2024년 12월 11일 (수) 17:55 Ahn9807 토론 기여님이 Ahn9807님의 권한을 사무관, 인터페이스 관리자, 관리자에서 사무관, 인터페이스 관리자, 관리자, 기록보호자, 조정자 (CommentStreams)(으)로 바꾸었습니다
• 2024년 12월 11일 (수) 17:52 Ahn9807 토론 기여님이 CommentStreams:Dae8b68875e91dccf37a47df10b0b949 답변을 만들었습니다
• 2024년 12월 11일 (수) 17:52 Ahn9807 토론 기여님이 CommentStreams:Dae8b68875e91dccf37a47df10b0b949 문서를 만들었습니다
• 2024년 12월 11일 (수) 10:29 Ahn9807 토론 기여님이 도움말:Style guide 문서를 만들었습니다 (새 문서: == 영어 한글 표기법 == * 우세한 표현이 있을 경우 그 표현법을 따름. 운영체제 Operating system -> 운영체제 Virtual file system 가상 파일 시스템 -> Virtual file system * 표현의 빈도가 비슷할 경우 영어 표기법을 따름. Lock, 락 -> Lock * 축약어가 존재할 경우 전체 내용을 제목으로 함. File descriptor, FD -> File descriptor * 굳어진 경우가 아니면 영어표기를 소문자 표기를 원칙으로...)
• 2024년 12월 11일 (수) 09:49 Ahn9807 토론 기여님이 미디어위키:Citizen.js 문서를 만들었습니다 (새 문서: 여기의 모든 자바스크립트는 시티즌 스킨을 사용하는 사용자에게 로드됩니다: Current version of MediaWiki does not support ES6: mw.loader.using(['mediawiki.util']).done(function () { Trigger search box when click on the fake search button on main page: var searchTrigger = document.getElementById('citizen-search-trigger'); if (searchTrigger) { searchTrigger.addEventListener('click', function () { var search = document.getElementB...)
• 2024년 12월 11일 (수) 09:43 Ahn9807 토론 기여님이 미디어위키:Common.js 문서를 만들었습니다 (새 문서: 이 자바스크립트 설정은 모든 문서, 모든 사용자에게 적용됩니다.: mw.loader.using(['mediawiki.util']).done( function () { var searchTrigger = document.getElementById('citizen-search-trigger'); if (searchTrigger) { searchTrigger.addEventListener( 'click', function () { var search = document.getElementById('citizen-search-details'); var isSearchHidden = document.body.classList.contains('citizen-scroll-...)
• 2024년 12월 11일 (수) 07:17 Ahn9807 토론 기여님이 틀:대문/header 문서를 만들었습니다 (새 문서: <templatestyles src="Template:대문/header/styles.css"/><div class="home-header"> <div class="home-header__pretitle">👋 Welcome to the</div> <h1 class="home-header__title">NORI WIKI</h1> <div class="home-header__subtitle">Junho Ahn's personal note pages</div> <div id="citizen-search-trigger" class="home-header__search" role="button"><span class="home-header__searchText">🔎 Search the Nori Wiki</span></div></div>)
• 2024년 12월 11일 (수) 06:57 Ahn9807 토론 기여님이 틀:대문/shared/styles.css 문서를 만들었습니다 (새 문서: .home-grid { display: grid; grid: auto-flow dense/repeat( auto-fit, minmax( 9.375rem, 1fr ) ); grid-auto-rows: minmax( 3rem, auto ); grid-gap: var( --space-xs ); } .home-grid--col2 { grid-template-columns: 1fr 1fr; } .home-grid a.external { background-image: none; } .home-badge { display: flex; gap: var(--space-xxs); font-size: var(--font-size-x-small); padding: var(--space-xxs) var(--space-xs); background: var(--color-surface-2); color: var(--color-ba...)
• 2024년 12월 11일 (수) 06:56 Ahn9807 토론 기여님이 틀:대문/shared/styles.css 문서를 넘겨주기를 만들지 않고 틀:대문/header/styles.css 문서로 이동했습니다
• 2024년 12월 11일 (수) 06:55 Ahn9807 토론 기여님이 틀:Main page/shared/styles.css 문서를 넘겨주기를 만들지 않고 틀:대문/shared/styles.css 문서로 이동했습니다
• 2024년 12월 11일 (수) 06:54 Ahn9807 토론 기여님이 틀:Main page/shared/styles.css 문서를 만들었습니다 (새 문서: .home-grid { display: grid; grid: auto-flow dense/repeat( auto-fit, minmax( 9.375rem, 1fr ) ); grid-auto-rows: minmax( 3rem, auto ); grid-gap: var( --space-xs ); } .home-grid--col2 { grid-template-columns: 1fr 1fr; } .home-grid a.external { background-image: none; } .home-badge { display: flex; gap: var(--space-xxs); font-size: var(--font-size-x-small); padding: var(--space-xxs) var(--space-xs); background: var(--color-surface-2); color: var(--color-ba...)
• 2024년 12월 11일 (수) 04:51 Ahn9807 토론 기여님이 파일:Noriwiki Logo.png 문서를 만들었습니다 (노리위키 로고 파일)
• 2024년 12월 11일 (수) 04:51 Ahn9807 토론 기여님이 파일:Noriwiki Logo.png 파일을 올렸습니다 (노리위키 로고 파일)
• 2024년 12월 10일 (화) 14:59 Ahn9807 토론 기여님이 System call 문서를 만들었습니다 (시스템 콜 문서로 넘겨주기) 태그: 새 넘겨주기
• 2024년 12월 10일 (화) 14:59 Ahn9807 토론 기여님이 StateFuzz: System Call-Based State-Aware Linux Driver Fuzzing 문서를 만들었습니다 (새 문서: 분류: USENIX Security Bodong Zhao, Zheming Li, Shisong Qin, Zheyu Ma, Ming Yuan, Wenyu Zhu, Zhihong Tian, Chao Zhang USENIX Security 2022 == 개요 == Syzkaller의 코드 커버리지를 Device driver에 맞도록 최적화 시켜, Device driver fuzzing에 최적화된 퍼저를 개발하였다. == Motivation == Fuzzer는 매우 다양한 분야에서 사용된다. 그러나 State에 대한 고려없이는 커버리지가 효율적이지 못하다는...)
• 2024년 12월 10일 (화) 06:55 Ahn9807 토론 기여님이 IJON: Exploring Deep State Spaces via Fuzzing 문서를 만들었습니다 (새 문서: 분류: IEEE S&P Cornelius Aschermann, Sergej Schumilo, Ali Abbasi, and Thorsten Holz 2020 IEEE Symposium on Security and Privacy (SP) == 개요 == 기존 Fuzzer들은 Complex한 State machine들을 정확하게 추적하지 못하였다. IJON은 개발자가 소스코드에 Annotation을 할수 있도록 하여서, 보다 정확한 State guidance fuzzing이 가능하도록 하였다. == Motivation == Fuzzer들이 점차 발전하고 있지만, Fuzzing에서 사...)
• 2024년 12월 10일 (화) 03:46 Ahn9807 토론 기여님이 State machine 문서를 만들었습니다 (새 문서: 분류: 프로그래밍 언어 == 개요 == '''상태 기계(State Machine)'''는 프로그램이나 시스템이 가질 수 있는 다양한 상태와 상태 간의 전이(transition)를 모델링한 수학적 개념이다. 이는 특정 입력이나 조건에 따라 상태가 어떻게 변화하는지를 설명하며, 소프트웨어 개발, 제어 시스템 설계, 하드웨어 설계 등 다양한 분야에서 사용된다. == 구성 요소 == 상태 기계는 다음...)
• 2024년 12월 10일 (화) 03:42 Ahn9807 토론 기여님이 Fuzzer 문서를 만들었습니다 (Fuzzing 문서로 넘겨주기) 태그: 새 넘겨주기
• 2024년 12월 9일 (월) 05:42 Ahn9807 토론 기여님이 Black-box testing 문서를 만들었습니다 (블랙박스 검사 문서로 넘겨주기) 태그: 새 넘겨주기
• 2024년 12월 9일 (월) 05:42 Ahn9807 토론 기여님이 블랙박스 검사 문서를 만들었습니다 (새 문서: 분류: 소프트웨어 테스트 == 개요 == Black-box testing은 소프트웨어에 대한 지식 없이, Input그리고 Output만을 가지고 테스트를 수행하는 경우를 말한다. 대부분의 소프트웨어 테스트는 추가적인 정보획득을 통해서 White-box testing혹은 Gray-box testing으로 수행되나, 단순한 Unit testing과 같은 경우에서는 많은 경우 Black-box testing을 통하여 쉽게 구현된다. == 같이 보기 =...)
• 2024년 12월 9일 (월) 05:40 Ahn9807 토론 기여님이 Gray-box testing 문서를 만들었습니다 (그레이박스 검사 문서로 넘겨주기) 태그: 새 넘겨주기
• 2024년 12월 9일 (월) 05:39 Ahn9807 토론 기여님이 그레이박스 검사 문서를 만들었습니다 (새 문서: 분류: 소프트웨어 테스트 == 개요 == Gray-box testing은 소프트웨어의 내부 구조의 일부만 알고 있는 경우에 사용되는 방식을 맗나다. 또한 Gray-box testing에서는 소프트웨어의 내부 구조를 모르더라도 Intel PT와 같은 하드웨어 방식, 혹은 소프트웨어 디버거의 사용과 같이 다양한 방식으로 소프트웨어의 작동 과정을 파악할 수 있는 툴을 통해서 Blax-box testing보다는...)
• 2024년 12월 9일 (월) 05:00 Ahn9807 토론 기여님이 White-box testing 문서를 만들었습니다 (화이트박스 검사 문서로 넘겨주기) 태그: 새 넘겨주기
• 2024년 12월 9일 (월) 04:59 Ahn9807 토론 기여님이 화이트박스 검사 문서를 만들었습니다 (새 문서: 분류: 소프트웨어 테스트 == 개요 == White-box testing은 소프트웨어 테스팅에서 응용 프로그램의 내부 구조를 모두 알 수 있는 경우를 말한다. White-box testing을 소스 코드에 대한 접근이 가능하여, 내부적인 control flow, data flow, branch, debug information과 같은 모든 소스코드의 내용에 접근가능한 경우를 말한다. == 같이 보기 == #그레이박스 검사 #블랙박스 검사)
• 2024년 12월 9일 (월) 04:54 Ahn9807 토론 기여님이 Code coverage 문서를 만들었습니다 (코드 커버리지 문서로 넘겨주기) 태그: 새 넘겨주기
• 2024년 12월 9일 (월) 04:54 Ahn9807 토론 기여님이 코드 커버리지 문서를 만들었습니다 (새 문서: 분류: Fuzzing 분류: 소프트웨어 테스트 == 개요 == '''코드 커버리지(Code Coverage)'''는 소프트웨어 테스팅에서 테스트가 소스 코드의 어느 정도를 실행했는지를 측정하는 메트릭이다. 이를 통해 테스트의 효과를 평가하고, 테스트가 코드의 주요 부분을 충분히 검증하고 있는지 판단할 수 있다. 코드 커버리지는 주로 테스트의 완전성을 확인하기 위해 사용되며, 실...)
• 2024년 12월 6일 (금) 14:04 Ahn9807 토론 기여님이 퍼징 문서를 만들었습니다 (Fuzzing 문서로 넘겨주기) 태그: 새 넘겨주기
• 2024년 12월 6일 (금) 14:01 Ahn9807 토론 기여님이 Fuzzing 문서를 만들었습니다 (새 문서: 분류: Fuzzing == 개요 == FUzzing은 소프트웨어 테스트 기법으로서, 컴퓨터 프로그램에 유효하고 무작우의 데이터를 입력하는 것이다. 이후 프로그램은 잘못된 실행을 하는지에 대한 체크를 통해서 잠재적인 버그를 찾는다. 퍼징은 주로 소프트웨어나 컴퓨터 시스템들의 보안 문제를 테스트하기 위해 사용된다. 퍼징 프로그램의 형태로 변이 기반(Mutation)과 생성 기...)
• 2024년 12월 6일 (금) 13:36 Ahn9807 토론 기여님이 분류:USENIX VEE 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 6일 (금) 13:32 Ahn9807 토론 기여님이 분류:USENIX FAST 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 6일 (금) 13:25 Ahn9807 토론 기여님이 분류:ACM TOCS 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 6일 (금) 13:23 Ahn9807 토론 기여님이 분류:ACM SIGOPS Operating Systems Review 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 6일 (금) 13:20 Ahn9807 토론 기여님이 분류:USENIX NSDI 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 6일 (금) 13:19 Ahn9807 토론 기여님이 분류:ACM PLDI 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 6일 (금) 13:16 Ahn9807 토론 기여님이 분류:ACSAC 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 6일 (금) 13:13 Ahn9807 토론 기여님이 분류:ACM FSE 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 6일 (금) 13:13 Ahn9807 토론 기여님이 BRF: Fuzzing the eBPF Runtime 문서를 만들었습니다 (새 문서: 분류: ACM FSE HSIN-WEI HUNG, ARDALAN AMIRI SANI ACM FSE 2024 == 개요 == eBPF Fuzzer설계시에 기존 시스템의 한계인 대부분의 경우 eBPF Static verifier가 프로그램을 Reject시키는 문제를 eBPF Semantic정보를 통하여 해결하여 극복한 논문이다. == Motivation == eBPF 버그 많다. eBPF 버그 Fuzzer로 잡으면 좋다. == Importance == 그러나 기존의 방식들은 eBPF Semantic에 맞지않는 프로그램을 생성하여...)
• 2024년 12월 6일 (금) 04:15 Ahn9807 토론 기여님이 Validating the eBPF Verifier via State Embedding 문서를 만들었습니다 (새 문서: 분류: USENIX OSDI Hao Sun, Zhendong Su USENIX OSDI 2024 == 개요 == State embedding (Assertion을 집어 넣는 것)을 통하여 eBPF의 State transition을 반영한 Gray-box기반의 eBPF Fuzzer를 개발함 == Motivation == eBPF중요함. 버그 많음. 기존 Fuzzer black-box임. Black-box Fuzzing으로는 eBPF에서 발생하는 버그들은 Hard to notice, Hard to detect의 두가지 성질을 가지고 있음. 따라서, 새로운 eBPF Fuzzer개발해야 함....)
• 2024년 12월 5일 (목) 09:29 Ahn9807 토론 기여님이 분류:컴파일러 문서를 만들었습니다 (새 문서: 분류: 프로그래밍 언어)
• 2024년 12월 5일 (목) 09:26 Ahn9807 토론 기여님이 Finding Correctness Bugs in eBPF Verifier with Structured and Sanitized Program 문서를 만들었습니다 (새 문서: 분류: ACM EuroSys Hao Sun, Yiru Xu, Jianzhong Liu, Yuheng Shen, Nan Guan, Yu Jiang EuroSys 2024 == 개요 == eBPF를 효과적으로 Fuzzing하는 기법에 대한 소개 == Motivation == eBPF는 중요하다. eBPF의 버그는 Critical하다. 따라서 Fuzzer를 통해서 eBPF의 버그를 해결해야 한다. == Design == ; Correctness Bug Indicators : eBPF의 버그는 크게 두가지로 나눌 수 있다. 1. eBPF가 직접 커널에 영향을 미치는 경우 2...)
• 2024년 12월 5일 (목) 09:24 Ahn9807 토론 기여님이 Noriwiki:저작권 문서를 만들었습니다 (새 문서: =License= By exercising the Licensed Rights (defined below), You accept and agree to be bound by the terms and conditions of this Creative Commons Attribution-ShareAlike 4.0 International Public License ("Public License"). To the extent this Public License may be interpreted as a contract, You are granted the Licensed Rights in consideration of Your acceptance of these terms and conditions, and the Licensor grants You such rights in consideration of benefits the Licensor receive...)
• 2024년 12월 4일 (수) 09:38 Ahn9807 토론 기여님이 분류:ACM OOPSLA 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 4일 (수) 09:37 Ahn9807 토론 기여님이 Random Testing for C and C++ Compilers with YARPGen 문서를 만들었습니다 (새 문서: 분류: ACM OOPSLA VSEVOLOD LIVINSHII, DMITRY BABOKIN, JOHN REGEHR ACM OOPSLA 2020 == 개요 == 컴파일러 테스팅을 위하여 프로그램을 랜덤 생성할시 커버리지를 높이기 위하여 코드 특성을 체계적으로 변경하는 매커니즘을 제공하고, 언어의 제한된 하위 집합에 머물지 않으면서도 정의되지 않은 동작이 없는 코드를 생성해내는 새로운 Compiler fuzzing test generator을 고안하였다. == Mot...)
• 2024년 12월 4일 (수) 05:34 Ahn9807 토론 기여님이 분류:소프트웨어 테스트 문서를 만들었습니다 (새 문서: 분류: 시스템 보안)
• 2024년 12월 4일 (수) 05:33 Ahn9807 토론 기여님이 분류:Fuzzing 문서를 만들었습니다 (새 문서: 분류: 소프트웨어 테스트)
• 2024년 12월 4일 (수) 05:31 Ahn9807 토론 기여님이 Differential testing 문서를 만들었습니다 (새 문서: 분류: Fuzzing == 개요 == Differential testing은 동일한 입력을 여러 유사한 Application (혹은 버전만 다른 같은 Application)에 제공하고 실행의 차이를 관찰하여 버그를 탐지하는 Fuzzing기법이다. Differnetial testing은 Crash나 Abortion을 유발하지 않는 Semantic혹은 Logical bug를 발견하기 위해서 사용된다. Differential testing은 다른 발로 Back-to-Back testing이라고 불리기도 한다. Differential tes...)
• 2024년 12월 3일 (화) 08:01 Ahn9807 토론 기여님이 분류:IEEE HPDC 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 3일 (화) 07:59 Ahn9807 토론 기여님이 분류:NDSS 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 3일 (화) 06:57 Ahn9807 토론 기여님이 분류:ACM SIGPLAN Notices 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)