klee

2열

1답변

cloud9를 실행하는 동안 오류가 발생했습니다. "오류 : ld가 신호 11로 종료되었습니다."

우분투에서 cloud9 응용 프로그램을 실행하려고합니다. 그러나 명령을 내게 오류를주고있다 llvm[2]: Linking Release+Asserts executable klee (without symbols) collect2: error: ld terminated with signal 11 [Segmentation fault], core dumped

0열

1답변

MIPS 오류시 KLEE 컴파일

이제 MIPS에서 KLEE을 사용하려고합니다. 하지만 makefile로 컴파일하면 error:unknown target triple "mips64el-unkown-linux-gnu", please use -triple or -arch KLEE surport MIPS와 KLEE의 문서에도이 정보가 있는지 모르겠다. MIPS에서 KLEE을 사용 했습니까?

3열

1답변

KLEE 경고 및 입력 없음

KLEE에서 새롭게 추가되었습니다. 나는 klee를 설치했고 지침을 올바르게 따라갔습니다. 내가 튜토리얼에서 프로그램을 실행하는 경우 : KLEE: output directory = "klee-out-0" KLEE: done: total instructions = 51 KLEE: done: completed paths = 3 KLEE: done: g

2열

1답변

KLEE 오류를 사용하여 실행

나는 Klee을 처음 사용하므로 튜토리얼을 만들기 시작했습니다. 컴파일을 위해 내가 사용하는 경우 : LLVM-GCC --emit-LLVM -c -g get_sign.c 다음 나는 오류를 얻을 클레의 get_sign.o을 사용하여 실행하려고 : KLEE를 : 오류 : 'get_sign.o'프로그램을로드하는 중 오류가 발생했습니다. 잘못된 MODULE_COD

1열

1답변

klee on C++ 14 개 프로그램

C++14에있는 프로그램에서는 klee을 사용할 수 없습니다. llvm-3.4은 지원하지 않습니다. 그러나 어떤 방법, 트릭, 실험적인 버전 등이 있는지 알고 싶습니다. 그러면 C++ 14 프로그램에서 klee를 사용할 수 있습니다.

-1열

1답변

논문에서 논의 된 KLEE core-utils 실험의 입력은 무엇입니까?

나는이 논문의 그림 7의 결과를 재현 문제에 봉착 그러나 klee.cde -max-time=60 --optimize --libc=uclibc --posix-runtime ./tac.bc -r -sym-files 20 1 : 특히 http://www.stanford.edu/~engler/klee-osdi-2008.pdf 을, 나는 핵심 폴더의 유틸리티의

0열

1답변

klee가 Objectfile을 실행할 때 sleep() 함수가 작동하지 않는 이유는 무엇입니까?

어제 나는 stackoverflow에 대한 질문을했지만 명확하게 설명하지 않았으므로 묻는 방법이 바뀌고 문제가 명확해질 수 있습니다. /* * First KLEE tutorial: testing a small function */ #include <unistd.h> int get_sign(int x) { if (x == 0) re

1열

1답변

jdk에서 klee를 실행하는 방법은 무엇입니까?

나는 KLEE에 새로 왔어. 내가 Klee 도구를 실행하고 싶다. Java에서 KLEE를 실행할 수 있다고 말해 줄 수 있니? 네, 자습서를 보여주십시오.

0열

1답변

KLEE는 초기화되지 않은 변수 오류를 지금 KLEE을 배우고

를 찾을 수없는 나는 간단한 코드 작성 : #include "klee/klee.h" #include <stdio.h> #include <stdlib.h> int test(int *p) { int *q = (int *) malloc(sizeof(int)); if ((*p) == (*q)) { printf("reading

0열

1답변

어설 션 오류 발견 후 KLEE 경로 탐색을 중지하는 방법

어설 션을 한 번 실행하는 데 실패하면 KLEE은이를보고 한 다음이를 무시하고 다른 실행을 계속 검색합니다. 그럼 내 질문에 온다 : 어떤 구성이나 속임수가 KLEE가 어설 션을 찾을 수 없을 때 검색을 중지하도록 강요 하는가? 아니면 소스 코드를 수정하고 KLEE을 구현하여 다시 구현해야합니까? 영감을주는 솔루션에 대한 희망. 미리 감사드립니다!