klee-dev@keeda.stanford.edu

1

reply

Generate multiple concrete inputs to cover each path‏

started 2013-09-16 03:25:43 UTC

2013-09-16 14:05:55 UTC

Daniel Liew

4

replies

KLEE ERROR (Coreutils): failed external call: klee_init_env

started 2013-09-15 03:07:16 UTC

2013-09-16 02:17:06 UTC

Oswaldo Olivo

1

reply

test suites in zesti paper

started 2013-09-06 09:39:55 UTC

2013-09-15 05:25:36 UTC

Paul Marinescu

1

reply

llvm-2.9 configuration error

started 2013-09-10 20:30:10 UTC

2013-09-10 20:56:49 UTC

Urmas Repinski

0

replies

STP failing to compile on Bison 3.0 (patch included)

started 2013-09-06 08:19:59 UTC

2013-09-06 08:19:59 UTC

Vijay Ganesh

1

reply

How could I use klee to test big programs?

started 2013-08-15 18:56:11 UTC

2013-09-03 12:36:02 UTC

Kuchta, Tomasz

1

reply

KLEE: ERROR: unable to load symbol(_Stdout) while initializing globals.

started 2013-08-29 23:40:42 UTC

2013-08-30 20:23:10 UTC

Cristian Cadar

2

replies

Problems with symbolic execution of 'rm' from the Coreutil

started 2013-08-29 01:36:15 UTC

2013-08-29 23:28:59 UTC

Samaneh Navabpour

0

replies

Example of recursive define in real system/ programs

started 2013-08-13 12:43:33 UTC

2013-08-13 12:43:33 UTC

Loi Luu

0

replies

KLEE on GitHub

started 2013-08-06 21:17:09 UTC

2013-08-06 21:17:09 UTC

Cristian Cadar

1

reply

Delivery Status Notification (Failure)

started 2013-08-02 08:30:55 UTC

2013-08-02 14:53:44 UTC

Jonathan Neuschäfer

2

replies

Patches for Python 3 compatibility

started 2013-07-27 17:25:05 UTC

2013-07-27 17:56:42 UTC

Daniel Liew

1

reply

Concrete input values for some variables

started 2013-07-19 04:13:57 UTC

2013-07-19 15:17:51 UTC

Cristian Cadar

6

replies

Help needed on generating bitcode

started 2013-07-16 04:04:32 UTC

2013-07-16 15:30:50 UTC

Daniel Liew

5

replies

[PATCH 3/3] Fix NotExpr::computeHash() shadowing hashValue

started 2013-07-02 02:25:35 UTC

2013-07-12 18:02:18 UTC

Jonathan Neuschäfer

0

replies

KLEE developer's guide

started 2013-07-04 15:17:31 UTC

2013-07-04 15:17:31 UTC

Cristian Cadar

8

replies

how klee_set_forking works exactly?

started 2013-06-22 00:01:12 UTC

2013-07-03 23:11:20 UTC

Daniel Dunbar

5

replies

KLEE installation problem

started 2013-06-25 08:54:00 UTC

2013-07-03 16:07:49 UTC

Daniel Liew

0

replies

[PATCH 1/3] www/GetStarted.html: fix reference to posix/uclibc step

started 2013-07-02 02:25:33 UTC

2013-07-02 02:25:33 UTC

Jonathan Neuschäfer

4

replies

The license of runtime/klee-libc

started 2013-06-25 19:01:09 UTC

2013-06-27 03:28:05 UTC

Jonathan Neuschäfer

7

replies

[zesti] ZESTI Coreutils Experiments

started 2013-06-25 16:41:59 UTC

2013-06-25 23:16:19 UTC

Paul Marinescu

1

reply

Question

started 2013-06-20 22:58:29 UTC

2013-06-21 15:23:29 UTC

Urmas Repinski

2

replies

KLEE installation problem

started 2013-06-19 13:54:14 UTC

2013-06-19 17:05:08 UTC

Urmas Repinski

10

replies

KLEE build

started 2013-06-17 13:11:56 UTC

2013-06-17 15:02:14 UTC

Urmas Repinski

5

replies

create ponter/array access bounds expressions with klee

started 2013-06-14 12:31:51 UTC

2013-06-15 17:28:21 UTC

Eric Lu

2

replies

Shared memory region between forked processes?

started 2013-06-14 00:34:19 UTC

2013-06-14 14:05:32 UTC

Jonathan Neuschäfer

2

replies

z3 for klee

started 2013-06-07 19:27:25 UTC

2013-06-07 20:53:01 UTC

Hristina Palikareva

1

reply

Information about how KLEE would be executed in other arquitectures

started 2013-06-07 12:12:48 UTC

2013-06-07 13:15:14 UTC

Jonathan Neuschäfer

4

replies

linker problem

started 2013-06-04 16:05:17 UTC

2013-06-06 13:28:38 UTC

Alexandru Ionut Diaconescu

0

replies

klee building problem

started 2013-05-29 14:44:44 UTC

2013-05-29 14:44:44 UTC

Alexandru Ionut Diaconescu