이진 파일에서 버그 헌팅을 위한 심볼릭 실행

카테고리

Empty

Summary

이 프레젠테이션은 이진 파일에서 버그를 찾기 위한 심볼릭 실행 기법에 대해 설명합니다. 심볼릭 실행은 프로그램의 실행 경로를 분석하여 잠재적인 결함을 식별하는 데 사용됩니다. 이 기법은 보안 분석 및 소프트웨어 검증에 유용하며, 다양한 도구와 기법이 소개됩니다.

•

Link - https://docs.google.com/presentation/d/1E3uE-4mYpenw0s40rtMbIdxj3fJgC79aHCeiIlJSY5Y/edit#slide=id.p

Content

Symbolic Execution For Bug Hunting in Binaries - https://docs.google.com/presentation/d/1E3uE-4mYpenw0s40rtMbIdxj3fJgC79aHCeiIlJSY5Y/edit#slide=id.p

Made with Slashpage