klee-dev@keeda.stanford.edu

2

replies

Fatal Error in BVTypeCheck

started 2014-05-20 07:43:08 UTC

2014-05-21 18:14:04 UTC

Jingde Liu

1

reply

how to get an new assignment without invoke solver

started 2014-05-07 20:26:29 UTC

2014-05-21 17:38:21 UTC

Jingde Liu

1

reply

KLEE running C++ error

started 2014-05-19 04:13:09 UTC

2014-05-21 17:17:49 UTC

Martin Nowack

1

reply

Klee for a C++ project

started 2014-05-15 12:55:40 UTC

2014-05-15 19:27:31 UTC

Cristian Cadar

7

replies

(no subject)

started 2014-05-07 05:51:06 UTC

2014-05-15 12:48:57 UTC

Martin Nowack

1

reply

Invitation to connect on LinkedIn

started 2014-05-15 05:58:33 UTC

2014-05-15 05:58:42 UTC

Qiuping Yi

2

replies

Compiling without sources

started 2014-05-14 23:36:56 UTC

2014-05-15 00:48:25 UTC

Daniel Liew

4

replies

Strange behavior of KLEE when evaluating NULL pointer

started 2014-05-13 15:09:48 UTC

2014-05-14 20:20:28 UTC

Qiuping Yi

2

replies

Full Name of KLEE

started 2014-05-13 10:14:19 UTC

2014-05-13 14:18:26 UTC

小、　　￣洁

0

replies

started 2014-05-12 00:25:21 UTC

2014-05-12 00:25:21 UTC

Daniel Liew

1

reply

How can I fixed "cannot find linker input '/lib/libc.a' ?

started 2014-05-11 21:08:13 UTC

2014-05-11 23:54:39 UTC

Daniel Liew

1

reply

a question about fnction information

started 2014-05-08 19:30:54 UTC

2014-05-08 19:36:55 UTC

Qixue Xiao

2

replies

Is llvm incompatible with some cpu instruction sets?

started 2014-05-08 12:47:02 UTC

2014-05-08 15:07:14 UTC

Daniel Liew

2

replies

SMT formulae from KLEE

started 2014-05-06 22:27:23 UTC

2014-05-07 14:59:24 UTC

Daniel Liew

2

replies

回复：回复： How can I running .cpp from KLEE?

started 2014-05-06 12:54:10 UTC

2014-05-06 19:02:22 UTC

小、　　￣洁

0

replies

回复： How can I running .cpp from KLEE?

started 2014-05-05 11:21:58 UTC

2014-05-05 11:21:58 UTC

m***@public.gmane.org

1

reply

How can I running .cpp from KLEE?

started 2014-05-01 19:14:36 UTC

2014-05-01 19:31:00 UTC

Oscar Dustmann

0

replies

How can i running .cpp with KLEE?

started 2014-05-01 19:21:47 UTC

2014-05-01 19:21:47 UTC

이원준

2

replies

Assertion klee: Solver.cpp:1103: MINISAT::PropagatedFrom

started 2014-04-25 18:02:37 UTC

2014-04-25 19:04:20 UTC

Daniel Liew

0

replies

Directionless WP

started 2014-04-17 15:03:35 UTC

2014-04-17 15:03:35 UTC

Mauro Baluda

6

replies

Direct Search Towards Assertion

started 2014-04-10 13:25:10 UTC

2014-04-10 18:22:57 UTC

Paul Thomson

0

replies

Why klee can't stop after max-time?

started 2014-04-10 12:15:06 UTC

2014-04-10 12:15:06 UTC

xuzizy

1

reply

klee failed external call: ftw

started 2014-04-08 00:09:06 UTC

2014-04-08 17:02:04 UTC

Cristian Cadar

1

reply

error: ‘klee_make_symbolic’ was not declared in this scope

started 2014-04-03 06:14:25 UTC

2014-04-03 06:18:01 UTC

Daniel Liew

3

replies

symbolic aggregate data structures?

started 2014-03-31 06:57:35 UTC

2014-04-02 23:43:32 UTC

Cristian Cadar

0

replies

data structure size chosen by klee?

started 2014-03-31 07:04:10 UTC

2014-03-31 07:04:10 UTC

Mark R. Tuttle

5

replies

Strange error when compiling 'bash-4.0' using klee-gcc

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

2014-03-29 11:06:25 UTC

Qiuping Yi

0

replies

External function "mmap" can not be resolved correctly

started 2014-03-28 04:59:09 UTC

2014-03-28 04:59:09 UTC

peng li

6

replies

KLEE relationship between loop length and counter.

started 2014-03-25 14:33:26 UTC

2014-03-25 23:14:24 UTC

Urmas Repinski

1

reply

"'klee_make_symbolic' was not declared in this scope" - when analyzing C++ code

started 2014-03-17 14:04:58 UTC

2014-03-17 16:22:32 UTC

Cristian Cadar