klee-dev@keeda.stanford.edu

0

replies

Klee-related internship position

started 2013-11-05 06:59:03 UTC

2013-11-05 06:59:03 UTC

Lewis Young

1

reply

why different traces are generated under the same input?

started 2013-11-02 21:20:13 UTC

2013-11-04 16:57:29 UTC

Cristian Cadar

0

replies

Mockup of klee-like tool using integer and real non-linear logics

started 2013-11-01 18:05:18 UTC

2013-11-01 18:05:18 UTC

Pablo González de Aledo

2

replies

How to preserve program variables?

started 2013-11-01 13:20:45 UTC

2013-11-01 15:30:39 UTC

Daniel Liew

3

replies

how to compile gnu utility 'find' using klee-gcc?

started 2013-10-31 06:28:04 UTC

2013-11-01 06:44:49 UTC

Hongxu Chen

0

replies

failed external call: __overflow

started 2013-10-31 23:29:05 UTC

2013-10-31 23:29:05 UTC

Hongxu Chen

3

replies

klee_make_symbolic function definition

started 2013-10-31 13:17:59 UTC

2013-10-31 14:38:27 UTC

Hongxu Chen

7

replies

klee seems to crash when testing a simple program

started 2013-02-22 00:02:15 UTC

2013-10-30 21:25:05 UTC

Tomasz Kuchta

0

replies

Does Klee store variable identifiers?

started 2013-10-30 20:34:19 UTC

2013-10-30 20:34:19 UTC

Loi Luu

6

replies

Collect functions and values of parameters

started 2013-10-28 15:54:39 UTC

2013-10-29 23:02:57 UTC

Loi Luu

8

replies

Complete Input with klee

started 2013-10-28 09:06:54 UTC

2013-10-29 06:45:33 UTC

Urmas Repinski

3

replies

KLEE-FP compilation

started 2013-10-28 07:46:48 UTC

2013-10-28 11:05:57 UTC

Peter Collingbourne

0

replies

KLEE-MultiSolver now available

started 2013-10-23 23:04:45 UTC

2013-10-23 23:04:45 UTC

Cristian Cadar

4

replies

Using klee with LLVM 3.3 + Clang

started 2013-10-16 13:42:23 UTC

2013-10-17 19:29:20 UTC

Cristian Cadar

0

replies

KLEE buildbot

started 2013-10-14 23:00:39 UTC

2013-10-14 23:00:39 UTC

Cristian Cadar

1

reply

error when compiling with wllvm

started 2013-10-12 07:14:35 UTC

2013-10-12 14:23:49 UTC

Daniel Liew

3

replies

KLEE with Gzip

started 2013-10-12 05:14:04 UTC

2013-10-12 10:02:15 UTC

Urmas Repinski

1

reply

Use Kleaver to get test input from KQuery constraints

started 2013-10-11 08:00:48 UTC

2013-10-11 10:25:29 UTC

Kuchta, Tomasz

0

replies

create socket error: Address family not supported by protocol(errno: 97)

started 2013-10-10 17:22:13 UTC

2013-10-10 17:22:13 UTC

lyc364

5

replies

Wllvm cannot find klee

started 2013-10-04 12:03:11 UTC

2013-10-06 16:30:42 UTC

Daniel Liew

1

reply

question about -max-time flag

started 2013-10-04 19:53:09 UTC

2013-10-04 19:58:50 UTC

Tomasz Kuchta

3

replies

Testing Structures with klee

started 2013-10-03 19:46:17 UTC

2013-10-04 15:10:52 UTC

Daniel Liew

0

replies

STP from GitHub

started 2013-10-01 03:34:14 UTC

2013-10-01 03:34:14 UTC

Daniel Liew

2

replies

using KLEE with read()/write() instead of fread()/fwrite() or fscanf/fprintf

started 2013-09-11 02:53:52 UTC

2013-10-01 01:59:37 UTC

ANAS faruqui

10

replies

Build Errors of klee-uclibc in Ubuntu 11.10

started 2013-09-29 22:28:14 UTC

2013-09-30 22:55:54 UTC

Saikat Dutta

0

replies

Notice about compiling llvm2.9 on recent versions of glibc

started 2013-09-27 16:37:11 UTC

2013-09-27 16:37:11 UTC

Daniel Liew

5

replies

Reproduce the OSDI'08 coreutils result on the latest version of KLEE

started 2013-09-24 23:56:02 UTC

2013-09-25 05:33:39 UTC

Paul Marinescu

21

replies

Running Multifile Applications using Klee

started 2013-09-17 23:25:13 UTC

2013-09-22 21:31:35 UTC

Daniel Liew

1

reply

Problems while building Klee with LLVM 3.4

started 2013-09-18 18:08:29 UTC

2013-09-19 15:03:51 UTC

Cristian Cadar

2

replies

How to restrict the character space of symbolic string

started 2013-09-16 12:43:44 UTC

2013-09-16 14:16:34 UTC

Loi Luu