klee-dev@keeda.stanford.edu

0

replies

klee build error with llvm/clang 3.3

started 2014-08-08 02:39:19 UTC

2014-08-08 02:39:19 UTC

Mark R. Tuttle

0

replies

Zesti: Making a particular instruction as sensitive

started 2014-08-05 00:38:57 UTC

2014-08-05 00:38:57 UTC

Sandeep Dasgupta

2

replies

Klee: error while loading shared libraries: libstp.so: cannot open shared object file

started 2014-07-29 19:27:16 UTC

2014-07-31 17:15:04 UTC

Breno Miranda

1

reply

How to make stdin symbolic?

started 2014-07-28 16:33:51 UTC

2014-07-31 01:37:04 UTC

Sylvain Gault

0

replies

Making a copy of std::vector<const Array*> objects

started 2014-07-29 18:36:16 UTC

2014-07-29 18:36:16 UTC

Younghwan Go

0

replies

Klee options

started 2014-07-29 14:18:21 UTC

2014-07-29 14:18:21 UTC

Zhiyi Zhang

0

replies

problem when calling Executor::runFunctionAsMain multiple times

started 2014-07-27 19:03:50 UTC

2014-07-27 19:03:50 UTC

Zhiqiang Zhang

4

replies

memcmp generate too many paths

started 2014-07-24 05:43:28 UTC

2014-07-24 07:17:03 UTC

Sylvain Gault

1

reply

KLEE with gcc 4.5

started 2014-07-16 21:09:43 UTC

2014-07-17 05:05:43 UTC

Daniel Liew

2

replies

About LLVM 3.x and Clang support

started 2014-07-14 19:40:45 UTC

2014-07-15 13:50:33 UTC

Daniel Liew

3

replies

Simple code for KLEE

started 2014-07-10 16:26:35 UTC

2014-07-10 19:25:43 UTC

Urmas Repinski

0

replies

Constraint independent and caching

started 2014-07-08 20:48:55 UTC

2014-07-08 20:48:55 UTC

Tianhai Liu

2

replies

Targeting some specific states

started 2014-07-07 22:05:17 UTC

2014-07-08 01:28:36 UTC

Sylvain Gault

0

replies

KLEE: ERROR: error opening file "test000061.cvc"

started 2014-07-06 20:28:51 UTC

2014-07-06 20:28:51 UTC

이원준

2

replies

klee-uclibc fail to compile

started 2014-07-03 15:22:36 UTC

2014-07-04 22:39:33 UTC

Daniel Liew

2

replies

error report empty

started 2014-06-25 18:05:43 UTC

2014-07-04 20:00:32 UTC

Daniel Liew

0

replies

choose concrete path

started 2014-07-02 11:28:49 UTC

2014-07-02 11:28:49 UTC

Martin Nowotny

0

replies

newbie questions to klee: .err-file - klee_assert - div by zero

started 2014-06-26 16:35:33 UTC

2014-06-26 16:35:33 UTC

Esser, Michael

1

reply

Looking for linear constraints solvers are slow on

started 2014-06-25 20:05:41 UTC

2014-06-25 20:19:44 UTC

Hristina Palikareva

1

reply

compile error with klee

started 2014-06-24 22:41:10 UTC

2014-06-25 17:26:42 UTC

Michael Esser

1

reply

Range analysis using Klee

started 2014-06-24 15:27:42 UTC

2014-06-24 23:17:22 UTC

Oscar Soria Dustmann

1

reply

error while configuring klee

started 2014-06-23 17:19:49 UTC

2014-06-24 03:39:41 UTC

Daniel Liew

1

reply

Path exploration termination

started 2014-06-03 15:17:22 UTC

2014-06-03 19:23:20 UTC

Radu Stoenescu

0

replies

KLEE: ERROR: failed external call: bsearch

started 2014-06-03 11:22:01 UTC

2014-06-03 11:22:01 UTC

허승녕

4

replies

3 quick questions about KLEE

started 2014-05-20 18:37:01 UTC

2014-06-03 05:14:42 UTC

小、　　￣洁

3

replies

(no subject)

started 2014-05-22 07:19:54 UTC

2014-06-02 21:04:18 UTC

Oscar Soria Dustmann

0

replies

Why KLEE dont fill last 2byte?

started 2014-06-02 16:10:44 UTC

2014-06-02 16:10:44 UTC

이원준

1

reply

how to resolve the dynamic share lib handling problem in klee

started 2014-05-27 19:48:26 UTC

2014-05-28 02:38:36 UTC

Paul Marinescu

1

reply

How can I link two object files using llvm-ld?

started 2014-05-22 21:54:33 UTC

2014-05-22 22:08:05 UTC

Daniel Liew

0

replies

a question in linkwithuclibc

started 2014-05-22 12:35:10 UTC

2014-05-22 12:35:10 UTC

Qixue Xiao