topcue

보호되어 있는 글입니다.

[논문 리뷰] The Art, Science, and Engineering of Fuzzing: A Survey원문 : https://arxiv.org/abs/1812.00140[목차]7. Configuration Updating7.1 Evolutionary Seed Pool Update7.2 Maintaining a Minset8. Related Work9. Concluding Remarks7. Configuration UpdatingCONFUPDATE 함수는 블랙/그레이/화이트 박스 퍼저의 동작을 구분하는 데 중요한 역할을 한다. Algorithm 1에서 설명하였듯이 CONFUPDATE 함수는 현재 fuzz run 중에 수집된 configuration 및 실행 정보를 기반으로 configuration..

[논문 리뷰] The Art, Science, and Engineering of Fuzzing: A Survey원문 : https://arxiv.org/abs/1812.00140[목차]6. Input Evaluation6.1 Bug Oracles6.1.1 Memory and Type Safety6.1.2 Undefined Behaviors6.1.3 Input Validation6.1.4 Semantic Difference6.2 Execution Optimizations6.3 Triage6.3.1 Deduplication6.3.1.1 Stack Backtrace Hashing:6.3.1.2 Coverage-based Deduplication:6.3.1.3 Semantics-aware Deduplicatio..

[논문 리뷰] The Art, Science, and Engineering of Fuzzing: A Survey원문 : https://arxiv.org/abs/1812.00140[목차]5. Input Generation5.1 Model-based (Generation-based) Fuzzers5.1.1 Predefined Model5.1.2 Inferred Model5.1.2.1 Model Inference in PREPROCESS:5.1.2.2 Model Inference in CONFUPDATE:5.1.3 Encoder Model5.2 Model-less (Mutation-based) Fuzzers5.2.1 Bit-Flipping5.2.2 Arithmetic Mutation5.2.3 Block-bas..

[논문 리뷰] The Art, Science, and Engineering of Fuzzing: A Survey원문 : https://arxiv.org/abs/1812.00140[목차]4. Scheduling4.1 The Fuzz Configuration Scheduling (FCS) Problem4.2 Black-box FCS Algorithms4.3 Grey-box FCS Algorithms4. Scheduling퍼징에서 scheduling은 다음 fuzz iteration을 위해 fuzz configuration을 선택하는 것을 의미한다. 전술했듯이, 각 configuration의 내용은 퍼저의 유형에 따라 다르다.간단한 퍼저의 경우 스케줄링이 단순하다. 예를 들어, zzuf의 기본 모드는 하나의 ..

[논문 리뷰] The Art, Science, and Engineering of Fuzzing: A Survey원문 : https://arxiv.org/abs/1812.00140[목차]3. Preprocess3.1 Instrumentation3.1.1 Execution Feedback3.1.2 In-Memory Fuzzing3.1.3 Thread Scheduling3.2 Seed Selection3.3 Seed Trimming3.4 Preparing a Driver Application3. Preprocess어떤 퍼저는 첫 번째 fuzz iteration 전에 fuzz configuration의 초기 set을 수정한다. 이러한 preprocess(전처리)는 보통 PUT를 instrument(:추론)하고,..

[논문 리뷰] The Art, Science, and Engineering of Fuzzing: A Survey원문 : https://arxiv.org/abs/1812.00140[목차]2. Systemization, Taxonomy and Test Programs2.1 Fuzzing & Fuzz Testing2.2 Paper Selection Criteria2.3 Fuzz Testing Algorithm2.4 Taxonomy of Fuzzers2.4.1 Black-box Fuzzer2.4.2 White-box Fuzzer2.4.3 Grey-box Fuzzer2.5 Fuzzer Genealogy and Overview2. Systemization, Taxonomy and Test Programsfuzz라는..

[논문 리뷰] The Art, Science, and Engineering of Fuzzing: A Survey원문 : https://arxiv.org/abs/1812.00140논문 리뷰를 하려 한다. 분명히 이 논문을 이미 두 번 읽었고 이번이 세 번째이다. 하지만 21페이지라는 분량과 240개의 레퍼런스 그리고 무엇보다 온통 영어로 작성된 논문이기 때문에 매번 새롭다.본인은 퍼징에 대한 진입장벽이 꽤 높다고 생각한다. 처음 퍼저를 처음 접한 곳은 출처가 불분명한 여러 블로그들의 글이었고, 이후 generic한 어느 퍼저의 기술 문서를 읽으면서 공부했다. 그리고 나서 이 논문이 나왔다. 그전까지는 수많은 퍼저들을 망라하는 survey 논문이 없었다고 한다. 아마 있었어도 영어라서 안 읽었을 것 같다.본..