KLEE의 기본 명령줄 옵션 개요에서 언급한 대로, KLEE는 심볼릭 환경의 일부로 여러 옵션을 제공한다. 그러나 이러한 옵션의 사용은 새로운 사용자에게는 종종 이해하기 어렵다. 이 튜토리얼은… 더 보기 »심볼릭 환경 사용: 테스트 대상 프로그램에 대한 심볼릭 파일 및 명령줄 인수와 같은 심볼릭 환경을 사용하는 방법에 대한 가이드 및 예제
이것은 간단한 정규 표현식 일치 함수를 테스트하기 위해 KLEE를 사용하는 예제이다.소스 트리에서 examples/regexp에 기본 예제를 찾을 수 있다. Regexp.c에는 간단한 정규 표현식 일치 함수와 KLEE를… 더 보기 »KLEE 두번째 튜토리얼: 간단한 정규 표현식 라이브러리를 테스트해보기
작은 함수를 테스트해보기 이 튜토리얼은 KLEE를 사용하여 간단한 함수를 테스트하는 데 필요한 주요 단계를 설명한다. 다음은 get_sign이라는 간단한 함수이다. 이 예제의 전체 코드는 examples/get_sign 아래의… 더 보기 »KLEE 첫번째 튜토리얼: 작은 함수를 테스트해보기
보호 글이라서 요약이 없습니다.
보호 글이라서 요약이 없습니다.
보호 글이라서 요약이 없습니다.
시컨버터 만들기 만약 아두이노 키트를 가지고 있다면, 따로 USB to TTL 장비 없이 아두이노로 대체가 가능하다!방법은 간단하다. 아두이노 코드를 아래와 같이 구성하고 아두이노에 업로드한다. 그리고… 더 보기 »아두이노를 USB to TTL 시리얼 컨버터로 만들기
Description 이 문제는 작동하고 있는 서비스(ssp_001)의 바이너리와 소스코드가 주어집니다.프로그램의 취약점을 찾고 SSP 방어 기법을 우회하여 익스플로잇해 셸을 획득한 후, “flag” 파일을 읽으세요.“flag” 파일의 내용을 워게임… 더 보기 »ssp_001
Desciption 이 문제는 작동하고 있는 서비스(ssp_000)의 바이너리와 소스코드가 주어집니다.프로그램의 취약점을 찾고 SSP 방어 기법을 우회하여 익스플로잇해 셸을 획득한 후, “flag” 파일을 읽으세요.“flag” 파일의 내용을 워게임… 더 보기 »ssp_000