StackOverflow Questions for Tag: klee

Shaun Francis

Reputation: 11

Using VLD to get the bytecode for php files

phpllvmbytecodeanalysisklee

Score: 1

Answers: 0

Men Simon

Reputation: 1

KLEE_RUN_TEST_ERROR: object name mismatch. Requesting "output_port" but returning "user_buf"

kernelllvmebpfxdp-bpfklee

Score: 0

Answers: 0

anonymous bear

Reputation: 145

Combined OpenSSL bitcode can't be executed in KLEE

opensslllvmbitcodeklee

Score: 0

Answers: 0

fabCic

Reputation: 31

Does KLEE symbolic execution support code coverage with gcov or other tools?

code-coveragegcovkleesymbolic-execution

Score: 2

Answers: 0

Nabel Zaharudin

Reputation: 21

Setting up KLEE for testing a specific Linux kernel function

clinux-kernelklee

Score: 1

Answers: 0

Arpita Dutta

Reputation: 49

How to solve "ptrace operation not permitted"?

debuggingubuntu-16.04ptraceklee

Score: 0

Answers: 0

rwallace

Reputation: 33639

Limits of Klee (the LLVM program analysis tool)

code-analysisllvmverificationklee

Score: 21

Answers: 3

Julie

Reputation: 1

I am unable to get back the file I saved after exiting from the Klee

cterminalubuntu-18.04kleesymbolic-execution

Score: 0

Answers: 1

RJ J

Reputation: 25

Why IR is needed for symbolic execution?

kleesymbolic-execution

Score: 1

Answers: 1

bam

Reputation: 5

How do I create a testcase that targets a specified branch?

llvmkleesymbolic-execution

Score: 0

Answers: 1

Katelyn Chenelle

Reputation: 1

KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record

cclangllvmklee

Score: -1

Answers: 1

bam

Reputation: 5

How to use llvm target initialize function

buildclangllvmcross-compilingklee

Score: 0

Answers: 1

Nann

Reputation: 1

Configure Error on KLEE Docker: C compiler cannot create executables

llvmgnu-coreutilsklee

Score: 0

Answers: 1

NikLeberg

Reputation: 65

Is this how to test a stateful API with klee symbolic execution?

ctestingkleesymbolic-execution

Score: 1

Answers: 1

mrZ

Reputation: 27

Undefined reference to klee when building s2e

cmakemakefilellvmreverse-engineeringklee

Score: 1

Answers: 1

Abhinath Kumar

Reputation: 5

C compiler cannot create executables during build of Coreutils with LLVM

ubuntuclangllvmklee

Score: 0

Answers: 1

Shaheen Cullen-Baratloo

Reputation: 1

How to use the max-time tag with klee

echollvmgnu-coreutilsklee

Score: 0

Answers: 1

rcobelli

Reputation: 309

KLEE: Appending variables with different alignment need to be linked

swiftllvmklee

Score: 0

Answers: 1

Dingbao Xie

Reputation: 736

KLEE: ERROR: unknown intrinsic: llvm.objectsize.i64.p0i8

llvmklee

Score: 1

Answers: 2

fabCic

Reputation: 31

LLVM interate over the content of a structure accessed through pointer in KLEE code

c++structllvmklee

Score: 1

Answers: 0

PreviousPage 1Next

StackOverflow Questions for Tag: klee

Using VLD to get the bytecode for php files

KLEE_RUN_TEST_ERROR: object name mismatch. Requesting &quot;output_port&quot; but returning &quot;user_buf&quot;

Combined OpenSSL bitcode can&#39;t be executed in KLEE

Does KLEE symbolic execution support code coverage with gcov or other tools?

Setting up KLEE for testing a specific Linux kernel function

How to solve &quot;ptrace operation not permitted&quot;?

Limits of Klee (the LLVM program analysis tool)

I am unable to get back the file I saved after exiting from the Klee

Why IR is needed for symbolic execution?

How do I create a testcase that targets a specified branch?

KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record

How to use llvm target initialize function

Configure Error on KLEE Docker: C compiler cannot create executables

Is this how to test a stateful API with klee symbolic execution?

Undefined reference to klee when building s2e

C compiler cannot create executables during build of Coreutils with LLVM

How to use the max-time tag with klee

KLEE: Appending variables with different alignment need to be linked

KLEE: ERROR: unknown intrinsic: llvm.objectsize.i64.p0i8

LLVM interate over the content of a structure accessed through pointer in KLEE code

KLEE_RUN_TEST_ERROR: object name mismatch. Requesting "output_port" but returning "user_buf"

Combined OpenSSL bitcode can't be executed in KLEE

How to solve "ptrace operation not permitted"?