연구 결과 요약

2023 6 , Fuzz testing 년 월 저는 분야에 대한 연구를 시작했습니다 먼저 , OSSFuzzBugs프로젝트를 접하고 관련 , 논문을 리뷰함으로써 전반적인 개념과 기술을 이해하였습니다.
OSSFuzzBugs는 유닛 테스트 퍼징 연구를 위한 오픈 소스 프로젝트 결함 벤치마크입니다. 이 프로젝트는 다양한 오픈 소스 프로젝트의 결함을 찾기 위해 Fuzz testing을 사용하고 있습니다. Fuzz testing은 무작위 입력을 사용하여 소프트웨어를 테스트하는 방법입니다 이 방법은 소프트웨어의 결함을 찾는 데 효과적이지만 많은 시간이 걸리고, 많은 리소스를 사용합니다.

LLVM Compiler Fuzzing : Breaking Things with Random Inputs 라는 교재를 통해 Fuzz testing에 대한 실무적인 경험을 쌓았습니다 는 . LLVM Compiler LLVM 프로젝트의 컴파일러입니다 이. LLVM IR 컴파일러는 이라는 중간 표현을 사용하여 소프트웨어를 컴파일합니다 은 . LLVM IR Fuzz testing에 사용될 수 있습니다. Fuzzing :Breaking Things with Random Inputs Fuzz testing 는 에 대한 교재입니다 이. Fuzz testing 책은 의 개념 원리 방법 도구 그리고 적용 분야에 대해 설명합니다 또한 Fuzz testing 사용하여 실제 소프트웨어를 테스트하는 방법에 대한 예제를 제공합니다.

또한, 논리학에 대한 공부를 통해 추론에 대한 이해를 높이고 이를 , Fuzz testing에 적용하는 방법을 연구했습니다 논리학은 . 추론에 대한 연구입니다 추론은 . 논리적 증거를 사용하여 결론을 도출하는 과정입니다 논리학은 . Fuzz testing에 적용될 수 있습니다 예를 들어, Fuzz testing를 사용하여 소프트웨어의 결함을 찾을 때 논리학을 , 사용하여 결함이 있는 코드의 위치를 추론할 수 있습니다.

2023년 7월, 저는 Fuzz testing에 대한 이해를 높였고 논리학을 Fuzz testing 사용하여을 개선하는 방법에 대한 아이디어를 얻었습니다 향후 Fuzz testing 연구에서는 을 사용하여 소프트웨어의 결함을 더 효과적으로 찾는 방법을 연구할 계획입니다.

요일별 과정 요약

2023. 6. 19.

개인 사무실

• OSSFuzzBugs: 유닛 테스트 퍼징 연구를 위한 오픈 소스 프로젝트 결함 벤치마크와 The Art, Science, and Engineering of Fuzzing:
A Survey 두 편의 논문 리뷰
• Fuzzing : Breaking Things with Random Inputs라는 교재를 읽고 보고서를 작성
• 논리학의 정의와 종류 논리학의 , 기본 연산자 논리학의 , 응용 공부

2023. 6. 21.

개인 사무실

• 소프트웨어 보안과 바이너리 분석 논문 리뷰
• Fuzzing : Breaking Things with Random Inputs라는 제목의 보고서를 수정
• 명제 논리의 기초와 명제 논리의 연습 문제 공부

2023. 6. 22.

개인 사무실

• LLVM 설치
• LLVM Compiler의 사용법 학습
• 집합과 함수와 집합과 함수의 연습 문제 공부

2023. 6. 23.

하이테크

• LLVM Compiler 실습
• LLVM Compiler Fuzzing 를 사용하여 테스트 진행
• 관계와 연산과 관계와 연산의 연습 문제 공부

2023. 6. 26.

개인 사무실

• LLVM Compiler Fuzzing 로 테스트 결과 분석
• 집합과 함수의 응용과 관계와 연산의 응용 공부

2023. 6. 28.

하이테크

• Fuzzing: A Survey Fuzzing in Practice 와 두 편의 논문 리뷰
• Fuzzing : Breaking Things with Random Inputs PPT 라는 제목의 를 작성
• 귀납적 추론과 귀납적 추론의 연습 문제 공부

2023. 7. 3.

하이테크

• Fuzzing for Security Testing 논문 리뷰
• Fuzzing : Breaking Things with Random Inputs 보고서 수정
• 연역적 추론과 연역적 추론의 연습 문제 공부

2023. 7. 5.

하이테크

• LLVM Compiler의 사용법 학습
• 추론의 종류와 추론의 종류의 연습 문제 공부

2023. 7. 7.

하이테크

• LLVM Compiler의 사용법 실습 시작
• 추론의 원리와 추론의 원리의 연습 문제 공부

2023. 7. 10.

하이테크

• LLVM Compiler Fuzzing 로 테스트