주요 공개 기록

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

• 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 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 3일 (화) 06:53 Ahn9807 토론 기여님이 분류:ACM ISCA 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 12월 2일 (월) 06:56 Ahn9807 토론 기여님이 Operating System Transactions 문서를 만들었습니다 (새 문서: 분류: ACM SOSP Donald E. Porter, Owen S. Hofmann, Christopher J. Rossbach, Alexander Benn, and Emmett Witchel SOSP’09 == 개요 == 시스템 콜을 Transaction하게 만든 디자인을 제시한 논문이다. == Motivation == Applications developer들은 논리적으로 연관된 여러개의 시스템콜을 사용한다. 이러한 Complexity는 buggy하거나 malicious한 어플리케이션에서 Critical한 Attack point혹은 Data lose로 이어질 수 있다...)
• 2024년 11월 29일 (금) 04:47 Ahn9807 토론 기여님이 분류:ACM EuroSys 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 29일 (금) 04:46 Ahn9807 토론 기여님이 분류:ACM ASPLOS 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 29일 (금) 04:43 Ahn9807 토론 기여님이 분류:ACM Micro 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 29일 (금) 04:42 Ahn9807 토론 기여님이 분류:USENIX ATC 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 29일 (금) 04:40 Ahn9807 토론 기여님이 Identifying On-/Off-CPU Bottlenecks Together with Blocked Samples 문서를 만들었습니다 (새 문서: 분류: USENIX OSDI == 개요 == * 최적화를 하게 되면 병목이 계속 변경되게 된다. COZ Profiling은 병목이 바뀌는 지점을 알려줘서 어떤 부분이 최적화의 대상이 되는지 프로파일링 할 수 있는 시스템을 제공하였다. * COZ는 코드의 특정 지점을 가상으로 빠르게 만들어서, 병목의 지점을 찾았다. 가상으로 빠를때, 나머지 친구들을 일부로 느리게 만들어서 전반적으로 B가...)
• 2024년 11월 29일 (금) 04:34 Ahn9807 토론 기여님이 분류:USENIX OSDI 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 29일 (금) 04:33 Ahn9807 토론 기여님이 분류:ACM CCS 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 29일 (금) 04:33 Ahn9807 토론 기여님이 분류:IEEE S&P 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 27일 (수) 05:40 Ahn9807 토론 기여님이 MOAT: Towards Safe BPF Kernel Extension 문서를 만들었습니다 (새 문서: 분류: USENIX Security USENIX Security 2024 Hongyi Lu, Shuai Wang, Techang Wu, Wanning He, Fengwei Zhang == 개요 == MOAT는 eBPF의 문제점을 Intel PKS를 통해서 해결한 논문이다. == Motivation == eBPF는 널리 사용되고 있지만 다음 두개의 문제점을 가지고 있다. TO BE CONTINUED X == Importance == == Design == == Challenge == == Conclusion ==)
• 2024년 11월 26일 (화) 11:04 Ahn9807 토론 기여님이 분류:ACM SOSP 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 26일 (화) 10:58 Ahn9807 토론 기여님이 분류:USENIX Security 문서를 만들었습니다 (새 문서: 분류: 시스템 논문)
• 2024년 11월 26일 (화) 10:57 Ahn9807 토론 기여님이 Conclusion 문서를 만들었습니다 (새 문서: 분류: 시스템 논문 == 주의 사항 == * Conclusion은 필자의 주관적인 평가로, 일부 틀리거나 과장된 내용이 있을 수 있습니다. * 논문에서 언급된 장점을 충분히 이해한 뒤, 연구의 발전 가능성을 탐구하기 위해 단점을 중심으로 분석하려고 노력하였습니다. * Conclusion의 내용은 Reviewer의 입장에서 연구를 연습하고, 차후 논문 아이디어를 발전시키기 위한 목적으로 작...)
• 2024년 11월 26일 (화) 08:20 Ahn9807 토론 기여님이 HIVE: A Hardware-assisted Isolated Execution Environment for eBPF on AArch64 문서를 만들었습니다 (새 문서: 분류: USENIX Security Peihua Zhang, Chenggang Wu, Xiangyu Meng, Yinqian Zhang, ... and Zhe Wang 33rd USENIX Security Symposium (USENIX Security 2024) == 개요 == eBPF의 한계를 극복하기 위해서 Runtime check을 통해서 static verification의 한계를 극복한 논문이다. == Motivation == eBPF는 크게 두개의 문제가 있다. * Complexity issue: eBPF verifier가 legal program을 false positive하게 reject하는 경우 * Security issue: Malicious...)
• 2024년 11월 22일 (금) 11:23 Ahn9807 토론 기여님이 SATB 문서를 만들었습니다 (Snapshot at the beginging 문서로 넘겨주기) 태그: 새 넘겨주기
• 2024년 11월 22일 (금) 11:21 Ahn9807 토론 기여님이 Snapshot at the begining 문서를 만들었습니다 (새 문서: 분류: Garbage collection == Snapshot at the Beginning == '''Snapshot at the Beginning'''은 가비지 컬렉션(Garbage Collection, GC)에서 객체 참조 상태를 추적하기 위해 사용되는 전략이다. 주로 동시 가비지 컬렉션(Concurrent Garbage Collection)에서 사용되며, GC가 시작하는 시점의 객체 참조 상태(스냅샷)를 기준으로 살아있는 객체를 마킹한다. 이 전략은 객체 참조 상태의 동적 변경에 따른...)
• 2024년 11월 22일 (금) 10:45 Ahn9807 토론 기여님이 파일:G1GC.png 문서를 만들었습니다
• 2024년 11월 22일 (금) 10:45 Ahn9807 토론 기여님이 파일:G1GC.png 파일을 올렸습니다
• 2024년 11월 22일 (금) 04:44 Ahn9807 토론 기여님이 Card table 문서를 만들었습니다 (새 문서: 분류: Garbage collection == Card Table 개요 == Card Table은 객체 참조 관계를 효율적으로 관리하기 위해 사용하는 데이터 구조이다. 주로 Generational GC에서 세대 간 참조를 추적하는 데 사용된다. == Card Table의 역할 == ;Generational GC의 효율성 보장 :Generational GC는 Young 세대와 Old 세대 간 객체 참조를 관리해야 한다. Card Table은 Old 세대에서 Young 세대를 참조하는 객체를 효율적...)