Ahn9807의 사용자 기여

2024년 12월 10일 (화)

• 06:552024년 12월 10일 (화) 06:55 차이 역사 +5,950 새글 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에서 사...
• 03:462024년 12월 10일 (화) 03:46 차이 역사 +3,181 새글 State machine 새 문서: 분류: 프로그래밍 언어 == 개요 == '''상태 기계(State Machine)'''는 프로그램이나 시스템이 가질 수 있는 다양한 상태와 상태 간의 전이(transition)를 모델링한 수학적 개념이다. 이는 특정 입력이나 조건에 따라 상태가 어떻게 변화하는지를 설명하며, 소프트웨어 개발, 제어 시스템 설계, 하드웨어 설계 등 다양한 분야에서 사용된다. == 구성 요소 == 상태 기계는 다음... 최신
• 03:422024년 12월 10일 (화) 03:42 차이 역사 +25 새글 Fuzzer Fuzzing 문서로 넘겨주기 최신 태그: 새 넘겨주기

2024년 12월 9일 (월)

• 14:012024년 12월 9일 (월) 14:01 차이 역사 +9 Fuzzing 편집 요약 없음 최신
• 05:422024년 12월 9일 (월) 05:42 차이 역사 +37 새글 Black-box testing 블랙박스 검사 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 05:422024년 12월 9일 (월) 05:42 차이 역사 +540 새글 블랙박스 검사 새 문서: 분류: 소프트웨어 테스트 == 개요 == Black-box testing은 소프트웨어에 대한 지식 없이, Input그리고 Output만을 가지고 테스트를 수행하는 경우를 말한다. 대부분의 소프트웨어 테스트는 추가적인 정보획득을 통해서 White-box testing혹은 Gray-box testing으로 수행되나, 단순한 Unit testing과 같은 경우에서는 많은 경우 Black-box testing을 통하여 쉽게 구현된다. == 같이 보기 =... 최신
• 05:402024년 12월 9일 (월) 05:40 차이 역사 +40 새글 Gray-box testing 그레이박스 검사 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 05:392024년 12월 9일 (월) 05:39 차이 역사 −6 잔글 그레이박스 검사 편집 요약 없음 최신
• 05:392024년 12월 9일 (월) 05:39 차이 역사 +654 새글 그레이박스 검사 새 문서: 분류: 소프트웨어 테스트 == 개요 == Gray-box testing은 소프트웨어의 내부 구조의 일부만 알고 있는 경우에 사용되는 방식을 맗나다. 또한 Gray-box testing에서는 소프트웨어의 내부 구조를 모르더라도 Intel PT와 같은 하드웨어 방식, 혹은 소프트웨어 디버거의 사용과 같이 다양한 방식으로 소프트웨어의 작동 과정을 파악할 수 있는 툴을 통해서 Blax-box testing보다는...
• 05:002024년 12월 9일 (월) 05:00 차이 역사 +40 새글 White-box testing 화이트박스 검사 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 04:592024년 12월 9일 (월) 04:59 차이 역사 +474 새글 화이트박스 검사 새 문서: 분류: 소프트웨어 테스트 == 개요 == White-box testing은 소프트웨어 테스팅에서 응용 프로그램의 내부 구조를 모두 알 수 있는 경우를 말한다. White-box testing을 소스 코드에 대한 접근이 가능하여, 내부적인 control flow, data flow, branch, debug information과 같은 모든 소스코드의 내용에 접근가능한 경우를 말한다. == 같이 보기 == #그레이박스 검사 #블랙박스 검사 최신
• 04:562024년 12월 9일 (월) 04:56 차이 역사 +1 잔글 코드 커버리지 편집 요약 없음
• 04:542024년 12월 9일 (월) 04:54 차이 역사 +37 새글 Code coverage 코드 커버리지 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 04:542024년 12월 9일 (월) 04:54 차이 역사 +5,411 새글 코드 커버리지 새 문서: 분류: Fuzzing 분류: 소프트웨어 테스트 == 개요 == '''코드 커버리지(Code Coverage)'''는 소프트웨어 테스팅에서 테스트가 소스 코드의 어느 정도를 실행했는지를 측정하는 메트릭이다. 이를 통해 테스트의 효과를 평가하고, 테스트가 코드의 주요 부분을 충분히 검증하고 있는지 판단할 수 있다. 코드 커버리지는 주로 테스트의 완전성을 확인하기 위해 사용되며, 실...
• 03:402024년 12월 9일 (월) 03:40 차이 역사 −429 잔글 대문 편집 요약 없음

2024년 12월 6일 (금)

• 14:042024년 12월 6일 (금) 14:04 차이 역사 +25 새글 퍼징 Fuzzing 문서로 넘겨주기 최신 태그: 새 넘겨주기
• 14:012024년 12월 6일 (금) 14:01 차이 역사 +3,577 새글 Fuzzing 새 문서: 분류: Fuzzing == 개요 == FUzzing은 소프트웨어 테스트 기법으로서, 컴퓨터 프로그램에 유효하고 무작우의 데이터를 입력하는 것이다. 이후 프로그램은 잘못된 실행을 하는지에 대한 체크를 통해서 잠재적인 버그를 찾는다. 퍼징은 주로 소프트웨어나 컴퓨터 시스템들의 보안 문제를 테스트하기 위해 사용된다. 퍼징 프로그램의 형태로 변이 기반(Mutation)과 생성 기...
• 13:492024년 12월 6일 (금) 13:49 차이 역사 +22 잔글 분류:소프트웨어 테스트 편집 요약 없음 최신
• 13:392024년 12월 6일 (금) 13:39 차이 역사 −7 잔글 Xen and the Art of Virtualization 편집 요약 없음 최신
• 13:382024년 12월 6일 (금) 13:38 차이 역사 −6 잔글 X-Containers: Breaking Down Barriers to Improve Performance and Isolation of Cloud-Native Containers 편집 요약 없음
• 13:382024년 12월 6일 (금) 13:38 차이 역사 −5 잔글 Unikraft: Fast, Specialized Unikernels the Easy Way 편집 요약 없음 최신
• 13:382024년 12월 6일 (금) 13:38 차이 역사 −6 잔글 Unikernels: Library operating systems for the cloud 편집 요약 없음 최신
• 13:382024년 12월 6일 (금) 13:38 차이 역사 −5 잔글 Unikernel Linux (UKL) 편집 요약 없음 최신
• 13:372024년 12월 6일 (금) 13:37 차이 역사 +8 잔글 UBfuzz: Finding Bugs in Sanitizer Implementations 편집 요약 없음 최신
• 13:372024년 12월 6일 (금) 13:37 차이 역사 −8 잔글 The UNIX Time-Sharing System 편집 요약 없음 최신
• 13:372024년 12월 6일 (금) 13:37 차이 역사 −8 잔글 The performance of the Container Shipping I/O system 편집 요약 없음 최신
• 13:362024년 12월 6일 (금) 13:36 차이 역사 +28 새글 분류:USENIX VEE 새 문서: 분류: 시스템 논문 최신
• 13:352024년 12월 6일 (금) 13:35 차이 역사 −6 잔글 The Pauseless GC Algorithm 편집 요약 없음 최신
• 13:342024년 12월 6일 (금) 13:34 차이 역사 −8 The Multikernel: A new OS architecture for scalable multicore systems 편집 요약 없음 최신
• 13:342024년 12월 6일 (금) 13:34 차이 역사 −6 잔글 The Design and Implementation of Hyperupcalls 편집 요약 없음 최신
• 13:332024년 12월 6일 (금) 13:33 차이 역사 −8 잔글 The Aurora Single Level Store Operating System 편집 요약 없음 최신
• 13:322024년 12월 6일 (금) 13:32 차이 역사 +28 새글 분류:USENIX FAST 새 문서: 분류: 시스템 논문 최신
• 13:322024년 12월 6일 (금) 13:32 차이 역사 −5 잔글 High Velocity Kernel File Systems with Bento 편집 요약 없음 최신
• 13:312024년 12월 6일 (금) 13:31 차이 역사 −6 잔글 HawkEye: Efficient Fine-grained OS Support for Huge Pages 편집 요약 없음
• 13:312024년 12월 6일 (금) 13:31 차이 역사 −13 잔글 Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication 편집 요약 없음 최신
• 13:302024년 12월 6일 (금) 13:30 차이 역사 −6 잔글 Harmonizing Performance and Isolation in Microkernels with Efficient Intra-kernel Isolation and Communication 편집 요약 없음
• 13:302024년 12월 6일 (금) 13:30 차이 역사 −25 잔글 Hardening Hypervisors with Ombro 편집 요약 없음 최신
• 13:302024년 12월 6일 (금) 13:30 차이 역사 −5 잔글 FreeSentry: Protecting Against Use-After-Free Vulnerabilities Due to Dangling Pointers 편집 요약 없음 최신
• 13:302024년 12월 6일 (금) 13:30 차이 역사 +2 잔글 FreeGuard: A Faster Secure Heap Allocator 편집 요약 없음 최신
• 13:292024년 12월 6일 (금) 13:29 차이 역사 −6 잔글 FetchBPF: Customizable Prefetching Policies in Linux with eBPF 편집 요약 없음 최신
• 13:292024년 12월 6일 (금) 13:29 차이 역사 −6 잔글 EXTMEM: Enabling Application-Aware Virtual Memory Management for Data-Intensive Applications 편집 요약 없음 최신
• 13:292024년 12월 6일 (금) 13:29 차이 역사 −6 잔글 Extension Framework for File Systems in User space 편집 요약 없음 최신
• 13:282024년 12월 6일 (금) 13:28 차이 역사 −8 잔글 Extensibility, safety and performance in the SPIN operating system 편집 요약 없음 최신
• 13:282024년 12월 6일 (금) 13:28 차이 역사 +15 잔글 ERIM: Secure, efficient in-process isolation with protection keys (MPK) 편집 요약 없음 최신
• 13:272024년 12월 6일 (금) 13:27 차이 역사 −8 잔글 Strata: A Cross Media File System 편집 요약 없음 최신
• 13:262024년 12월 6일 (금) 13:26 차이 역사 −5 잔글 HXDP: Efficient software packet processing on FPGA NICs 편집 요약 없음 최신
• 13:262024년 12월 6일 (금) 13:26 차이 역사 −8 잔글 Specification and verification in the field: Applying formal methods to BPF just-in-time compilers in the Linux kernel 편집 요약 없음 최신
• 13:252024년 12월 6일 (금) 13:25 차이 역사 +28 새글 분류:ACM TOCS 새 문서: 분류: 시스템 논문 최신
• 13:252024년 12월 6일 (금) 13:25 차이 역사 −8 Sharing and Protection in a Single-Address-Space Operating System 편집 요약 없음 최신
• 13:242024년 12월 6일 (금) 13:24 차이 역사 −8 잔글 Secure Virtual Architecture: A Safe Execution Environment for Commodity Operating Systems 편집 요약 없음 최신