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

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