하얀정령

KLEE를 사용하여 GNU Coreutils를 테스트하는 방법에 대한 튜토리얼 더 자세한 KLEE 사용 설명으로, OSDI’08 Coreutils 실험 설명에 따라 KLEE를 사용하여 GNU Coreutils를 테스트하는 방법을 살펴보겠다.… 더 보기 »Coreutils 테스트: KLEE를 사용하여 GNU Coreutils를 테스트하는 방법에 대한 자세한 설명

KLEE의 기본 명령줄 옵션 개요에서 언급한 대로, KLEE는 심볼릭 환경의 일부로 여러 옵션을 제공한다. 그러나 이러한 옵션의 사용은 새로운 사용자에게는 종종 이해하기 어렵다. 이 튜토리얼은… 더 보기 »심볼릭 환경 사용: 테스트 대상 프로그램에 대한 심볼릭 파일 및 명령줄 인수와 같은 심볼릭 환경을 사용하는 방법에 대한 가이드 및 예제

이것은 간단한 정규 표현식 일치 함수를 테스트하기 위해 KLEE를 사용하는 예제이다.소스 트리에서 examples/regexp에 기본 예제를 찾을 수 있다. Regexp.c에는 간단한 정규 표현식 일치 함수와 KLEE를… 더 보기 »KLEE 두번째 튜토리얼: 간단한 정규 표현식 라이브러리를 테스트해보기

작은 함수를 테스트해보기 이 튜토리얼은 KLEE를 사용하여 간단한 함수를 테스트하는 데 필요한 주요 단계를 설명한다. 다음은 get_sign이라는 간단한 함수이다. 이 예제의 전체 코드는 examples/get_sign 아래의… 더 보기 »KLEE 첫번째 튜토리얼: 작은 함수를 테스트해보기