klee-dev  

Messages by Date

• 2015/04/07 [klee-dev] Symbolic pointers and memory allocation Anitha B Gollamudi
• 2015/04/07 Re: [klee-dev] How to interpret a .path file? sudiptac
• 2015/04/07 [klee-dev] How to interpret a .path file? Zehra Naz
• 2015/04/02 [klee-dev] "ERROR: object sizes differ" when using --posix-runtime Attila Török
• 2015/04/02 [klee-dev] Debugging KLEE tips and enabling klee to work with llvm 3.6 Chace Clark
• 2015/04/02 Re: [klee-dev] klee with llvm-3.6? Heiko
• 2015/03/31 Re: [klee-dev] [KLEE-dev] printing queries in SMT2 format sudiptac
• 2015/03/31 Re: [klee-dev] [KLEE-dev] printing queries in SMT2 format Dan Liew
• 2015/03/31 [klee-dev] [KLEE-dev] printing queries in SMT2 format sudiptac
• 2015/03/27 [klee-dev] Executing Coreutils Error Zhiyi Zhang
• 2015/03/26 Re: [klee-dev] Using WLLVM together with overflow sanitizers Dingbao Xie
• 2015/03/26 [klee-dev] Using WLLVM together with overflow sanitizers Martin Hořeňovský
• 2015/03/26 Re: [klee-dev] String Analysis with KLEE Kuchta, Tomasz
• 2015/03/25 Re: [klee-dev] symbolic arguments Sean Bartell
• 2015/03/25 Re: [klee-dev] String Analysis with KLEE Anitha B Gollamudi
• 2015/03/25 [klee-dev] String Analysis with KLEE Anitha B Gollamudi
• 2015/03/25 Re: [klee-dev] Invalid recordLoading Alberto Barbaro
• 2015/03/25 Re: [klee-dev] Named Annotations in SMT-LIB2 expressions Dan Liew
• 2015/03/25 Re: [klee-dev] Invalid recordLoading Alberto Barbaro
• 2015/03/25 Re: [klee-dev] Invalid recordLoading Dan Liew
• 2015/03/24 [klee-dev] Invalid recordLoading Alberto Barbaro
• 2015/03/24 [klee-dev] Named Annotations in SMT-LIB2 expressions Srijan R Shetty
• 2015/03/22 Re: [klee-dev] klee with llvm-3.6? Dan Liew
• 2015/03/22 [klee-dev] symbolic arguments Yu Qiang
• 2015/03/22 Re: [klee-dev] klee with llvm-3.6? Cristian Cadar
• 2015/03/22 Re: [klee-dev] klee with llvm-3.6? Dan Liew
• 2015/03/22 Re: [klee-dev] Build Error on Mac OS X 10.10.2 Cristian Cadar
• 2015/03/21 Re: [klee-dev] Build Error on Mac OS X 10.10.2 Anitha B Gollamudi
• 2015/03/21 [klee-dev] Build Error on Mac OS X 10.10.2 Anitha B Gollamudi
• 2015/03/20 Re: [klee-dev] klee with llvm-3.6? Willem Pinckaers
• 2015/03/20 [klee-dev] klee with llvm-3.6? Eissfeldt, Heiko
• 2015/03/20 [klee-dev] Fwd: whole-program-llvm Zhiyi Zhang
• 2015/03/19 Re: [klee-dev] whole-program-llvm Dan Liew
• 2015/03/19 Re: [klee-dev] whole-program-llvm Zhiyi Zhang
• 2015/03/19 Re: [klee-dev] whole-program-llvm Dan Liew
• 2015/03/19 [klee-dev] whole-program-llvm Zhiyi Zhang
• 2015/03/18 Re: [klee-dev] coreutils on KLEE3.4 Zhiyi Zhang
• 2015/03/18 Re: [klee-dev] coreutils on KLEE3.4 Dan Liew
• 2015/03/18 Re: [klee-dev] coreutils on KLEE3.4 Dan Liew
• 2015/03/18 [klee-dev] coreutils on KLEE3.4 Zhiyi Zhang
• 2015/03/17 [klee-dev] coreutils on KLEE3.4 Zhiyi Zhang
• 2015/03/12 Re: [klee-dev] about klee inputs Paul Marinescu
• 2015/03/12 Re: [klee-dev] about klee inputs douglas schroeder
• 2015/03/12 Re: [klee-dev] Q Cristian Cadar
• 2015/03/11 [klee-dev] Trailing spaces Insu Yun
• 2015/03/11 Re: [klee-dev] about klee inputs Dan Liew
• 2015/03/11 Re: [klee-dev] about klee inputs Dan Liew
• 2015/03/11 [klee-dev] Plan to support pthread Insu Yun
• 2015/03/10 [klee-dev] output ktest file douglas schroeder
• 2015/03/10 [klee-dev] about klee inputs douglas schroeder
• 2015/03/10 [klee-dev] Q Bo Fang
• 2015/03/07 [klee-dev] question about concolic execution using klee xiaoqixue_1
• 2015/03/07 Re: [klee-dev] Bug in overflow error reporting and a quick question Cristian Cadar
• 2015/03/06 Re: [klee-dev] The incorrect result obtained from KLEE (BVTypeCheck: terms in atomic formulas must be of equal length) Ming-Hsien Tsai
• 2015/03/05 [klee-dev] Bug in overflow error reporting and a quick question Martin Hořeňovský
• 2015/03/03 Re: [klee-dev] KLEE pthread support Dan Liew
• 2015/03/02 [klee-dev] KLEE pthread support Insu Yun
• 2015/03/02 Re: [klee-dev] On KLEE's ability to perform formula-slicing [email protected]
• 2015/03/02 [klee-dev] On KLEE's ability to perform formula-slicing Andrea Aquino
• 2015/03/01 [klee-dev] Stop generating tests with klee assume false wamiq
• 2015/02/27 Re: [klee-dev] The incorrect result obtained from KLEE (BVTypeCheck: terms in atomic formulas must be of equal length) Dan Liew
• 2015/02/27 Re: [klee-dev] The incorrect result obtained from KLEE (BVTypeCheck: terms in atomic formulas must be of equal length) Kuchta, Tomasz
• 2015/02/27 Re: [klee-dev] The incorrect result obtained from KLEE (BVTypeCheck: terms in atomic formulas must be of equal length) Cristian Cadar
• 2015/02/27 Re: [klee-dev] The incorrect result obtained from KLEE (BVTypeCheck: terms in atomic formulas must be of equal length) Dan Liew
• 2015/02/27 Re: [klee-dev] The incorrect result obtained from KLEE (BVTypeCheck: terms in atomic formulas must be of equal length) Cristian Cadar
• 2015/02/26 Re: [klee-dev] Dockerizing Klee Dan Liew
• 2015/02/26 Re: [klee-dev] Dockerizing Klee Cristian Cadar
• 2015/02/26 Re: [klee-dev] Dockerizing Klee Pablo González de Aledo
• 2015/02/26 Re: [klee-dev] Dockerizing Klee Cristian Cadar
• 2015/02/26 [klee-dev] Dockerizing Klee Makula, Szymon
• 2015/02/26 Re: [klee-dev] Dockerizing Klee Pablo González de Aledo
• 2015/02/26 [klee-dev] The incorrect result obtained from KLEE (BVTypeCheck: terms in atomic formulas must be of equal length) Yu-Fang Chen
• 2015/02/18 [klee-dev] coverage per input douglas schroeder
• 2015/02/14 Re: [klee-dev] Applying CexPreferences during Dump States Sean Bartell
• 2015/02/13 [klee-dev] Applying CexPreferences during Dump States [email protected]
• 2015/02/10 Re: [klee-dev] Independent Solver Cristian Cadar
• 2015/02/10 Re: [klee-dev] How to solve "silently concretizing" in Klee Cristian Cadar
• 2015/01/29 [klee-dev] Fwd: Install Problems for LLVM2.9 Zhiyi Zhang
• 2015/01/25 [klee-dev] Compile KLEE on MIPS 汪小峰
• 2015/01/25 [klee-dev] How to solve "silently concretizing" in Klee Peidong Chen
• 2015/01/22 [klee-dev] Independent Solver [email protected]
• 2015/01/22 Re: [klee-dev] About klee error while compiling Marek Chalupa
• 2015/01/21 Re: [klee-dev] about struct klee test Dingbao Xie
• 2015/01/21 [klee-dev] klee test failures Peidong Chen
• 2015/01/21 [klee-dev] about struct klee test Peidong Chen
• 2015/01/21 Re: [klee-dev] About klee error while compiling Dan Liew
• 2015/01/21 [klee-dev] About klee error while compiling Peidong Chen
• 2015/01/21 Re: [klee-dev] Install Problems for LLVM2.9 Dan Liew
• 2015/01/21 [klee-dev] Install Problems for LLVM2.9 Zhiyi Zhang
• 2015/01/20 Re: [klee-dev] Klee Dump States Question Cristian Cadar
• 2015/01/19 Re: [klee-dev] Klee Dump States Question [email protected]
• 2015/01/18 Re: [klee-dev] Klee Dump States Question Cristian Cadar
• 2015/01/16 Re: [klee-dev] Klee Dump States Question [email protected]
• 2015/01/16 [klee-dev] Klee Dump States Question [email protected]
• 2015/01/02 [klee-dev] problem using makefile HAN WANG
• 2014/12/31 [klee-dev] Adding socket functions to the runtime library Noah Zentzis
• 2014/12/25 [klee-dev] Give symbolic value When (read from out of bound pointer) 徐永健
• 2014/12/22 Re: [klee-dev] execute function with symbolic argument xiaoqixue_1
• 2014/12/21 Re: [klee-dev] execute function with symbolic argument Dingbao Xie
• 2014/12/20 Re: [klee-dev] execute function with symbolic argument Hongxu Chen
• 2014/12/19 [klee-dev] execute function with symbolic argument Dingbao Xie
• 2014/12/18 [klee-dev] Explanation about seeding mode Thuan Pham
• 2014/12/16 [klee-dev] a question about use klee with zcov xiaoqixue_1
• 2014/12/15 [klee-dev] a question about use klee with zcov Qixue Xiao
• 2014/12/15 Re: [klee-dev] APint::udiv assertion fails Dan Liew
• 2014/12/15 [klee-dev] APint::udiv assertion fails Dingbao Xie
• 2014/12/11 [klee-dev] the instructions is much lesser when testing echo of coreutils-6.11 qmh17
• 2014/12/10 Re: [klee-dev] Strange value of uninitialized local variable Oscar Soria Dustmann
• 2014/12/10 Re: [klee-dev] Strange value of uninitialized local variable Jonathan Neuschäfer
• 2014/12/10 Re: [klee-dev] Error when symbolic structure Oscar Soria Dustmann
• 2014/12/10 [klee-dev] Error when symbolic structure HAN WANG
• 2014/12/04 [klee-dev] LLVM ERROR: Code generator does not support intrinsic function 'llvm.trap' lyc qingjin
• 2014/12/03 [klee-dev] can't replay a test case Dingbao Xie
• 2014/12/03 [klee-dev] internship position for KLEE Lewis Burns
• 2014/12/03 Re: [klee-dev] How can I get the contents of a symbolic file 高凤娟
• 2014/12/03 Re: [klee-dev] Compiling KLEE - metaSMT support Cristian Cadar
• 2014/12/02 Re: [klee-dev] Compiling KLEE - metaSMT support Thuan Pham
• 2014/12/02 Re: [klee-dev] Compiling KLEE - metaSMT support Hristina Palikareva
• 2014/12/02 Re: [klee-dev] KLEE cannot be found Dan Liew
• 2014/12/02 Re: [klee-dev] KLEE cannot be found Kuchta, Tomasz
• 2014/12/02 [klee-dev] KLEE cannot be found Wei Wen
• 2014/11/30 Re: [klee-dev] Compiling KLEE - metaSMT support Thuan Pham
• 2014/11/30 Re: [klee-dev] Compiling KLEE - metaSMT support Thuan Pham
• 2014/11/28 Re: [klee-dev] Compiling KLEE - metaSMT support Hristina Palikareva
• 2014/11/28 [klee-dev] Compiling KLEE - metaSMT support Thuan Pham
• 2014/11/26 Re: [klee-dev] Limiting/Guiding KLEE exploration Breno Miranda
• 2014/11/26 Re: [klee-dev] Limiting/Guiding KLEE exploration Cristian Cadar
• 2014/11/25 [klee-dev] Limiting/Guiding KLEE exploration Breno Miranda
• 2014/11/22 [klee-dev] Strange value of uninitialized local variable xdb
• 2014/11/22 Re: [klee-dev] Restrict memory access to a memory region Kuchta, Tomasz
• 2014/11/22 Re: [klee-dev] Restrict memory access to a memory region Mark R. Tuttle
• 2014/11/22 Re: [klee-dev] Restrict memory access to a memory region Kuchta, Tomasz
• 2014/11/22 [klee-dev] Restrict memory access to a memory region Mark R. Tuttle
• 2014/11/08 [klee-dev] Linking multiple bitcode files to a single one Dingbao Xie
• 2014/11/07 Re: [klee-dev] Building klee-uclibc with LLVM-3.4 Daniel Liew
• 2014/11/07 Re: [klee-dev] building Klee with Clang 3.5 Daniel Liew
• 2014/11/07 Re: [klee-dev] building Klee with Clang 3.5 Cristian Cadar
• 2014/11/07 [klee-dev] building Klee with Clang 3.5 Bob Kuo
• 2014/11/06 [klee-dev] Building klee-uclibc with LLVM-3.4 Dingbao Xie
• 2014/10/22 Re: [klee-dev] New KLEE website Daniel Liew
• 2014/10/22 [klee-dev] New KLEE website Petr Hosek
• 2014/10/21 Re: [klee-dev] segFault Paul Marinescu
• 2014/10/21 Re: [klee-dev] segFault Bin Lin
• 2014/10/21 Re: [klee-dev] segFault Bin Lin
• 2014/10/21 Re: [klee-dev] segFault Daniel Liew
• 2014/10/21 [klee-dev] segFault Bin Lin
• 2014/10/20 Re: [klee-dev] Get LLVM ERROR when compiling program using clang with option -fsanitize=undefined Mark R. Tuttle
• 2014/10/19 Re: [klee-dev] Get LLVM ERROR when compiling program using clang with option -fsanitize=undefined Cristian Cadar
• 2014/10/19 Re: [klee-dev] main function Daniel Liew
• 2014/10/19 [klee-dev] main function [email protected]
• 2014/10/18 Re: [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Emil Rakadjiev
• 2014/10/17 [klee-dev] Get LLVM ERROR when compiling program using clang with option -fsanitize=undefined Dingbao Xie
• 2014/10/17 Re: [klee-dev] Percentage of KLEE's cache hits Cristian Cadar
• 2014/10/17 Re: [klee-dev] Percentage of KLEE's cache hits Cristian Cadar
• 2014/10/17 [klee-dev] Percentage of KLEE's cache hits Andrea Aquino
• 2014/10/17 Re: [klee-dev] make klee support intrinsic function lvm.sadd.with.overflow.i32 Mark R. Tuttle
• 2014/10/17 Re: [klee-dev] make klee support intrinsic function lvm.sadd.with.overflow.i32 Daniel Liew
• 2014/10/17 [klee-dev] make klee support intrinsic function lvm.sadd.with.overflow.i32 Dingbao Xie
• 2014/10/16 Re: [klee-dev] KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4) Emil Rakadjiev
• 2014/10/15 Re: [klee-dev] KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4) Oscar Soria Dustmann
• 2014/10/15 Re: [klee-dev] KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4) Daniel Liew
• 2014/10/15 Re: [klee-dev] KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4) Cristian Cadar
• 2014/10/15 Re: [klee-dev] KLEE doesn't work properly at loop statement. Daniel Liew
• 2014/10/15 [klee-dev] KLEE doesn't work properly at loop statement. last first
• 2014/10/14 Re: [klee-dev] KLEE on integer overflow? Luca Dariz
• 2014/10/13 Re: [klee-dev] KLEE on integer overflow? Luca Dariz
• 2014/10/13 [klee-dev] KLEE on integer overflow? Mark R. Tuttle
• 2014/10/13 [klee-dev] Duplicate paths about random searching Zhiyi Zhang
• 2014/10/10 [klee-dev] KLEE setup scripts for Ubuntu (LLVM 2.9 and 3.4) Emil Rakadjiev
• 2014/10/10 Re: [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Emil Rakadjiev
• 2014/10/10 Re: [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Emil Rakadjiev
• 2014/10/10 Re: [klee-dev] FilePerm.c test fails Emil Rakadjiev
• 2014/10/09 Re: [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Cristian Cadar
• 2014/10/09 Re: [klee-dev] FilePerm.c test fails Cristian Cadar
• 2014/10/09 Re: [klee-dev] Distributed Symbolic Execution Emil Rakadjiev
• 2014/10/09 Re: [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Emil Rakadjiev
• 2014/10/09 Re: [klee-dev] FilePerm.c test fails Emil Rakadjiev
• 2014/10/08 Re: [klee-dev] Replacing external printf with an internal version for the Klee tests. Cristian Cadar
• 2014/10/08 Re: [klee-dev] Replacing external printf with an internal version for the Klee tests. Willem Pinckaers
• 2014/10/08 Re: [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Hristina Palikareva
• 2014/10/08 Re: [klee-dev] Distributed Symbolic Execution Cristian Cadar
• 2014/10/08 Re: [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Daniel Liew
• 2014/10/08 Re: [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Cristian Cadar
• 2014/10/08 Re: [klee-dev] A strange STP expression generated Cristian Cadar
• 2014/10/08 Re: [klee-dev] Replacing external printf with an internal version for the Klee tests. Cristian Cadar
• 2014/10/08 Re: [klee-dev] FilePerm.c test fails Cristian Cadar
• 2014/10/08 Re: [klee-dev] Replacing external printf with an internal version for the Klee tests. Daniel Liew
• 2014/10/08 [klee-dev] Replacing external printf with an internal version for the Klee tests. Willem Pinckaers
• 2014/10/07 Re: [klee-dev] Compiling latest git Emil Rakadjiev
• 2014/10/07 [klee-dev] Compiling latest git Quentin Stievenart
• 2014/10/05 Re: [klee-dev] Generate all solutions Kuchta, Tomasz
• 2014/10/05 [klee-dev] A strange STP expression generated Qiuping Yi
• 2014/10/05 Re: [klee-dev] Generate all solutions Sylvain Gault
• 2014/10/01 Re: [klee-dev] Ask you about compile klee-uclibc Kuchta, Tomasz
• 2014/10/01 [klee-dev] Ask you about compile klee-uclibc Dinh Ngoc Thi
• 2014/09/25 [klee-dev] Coreutils: STP division by zero errors and computeValue assertion failures Emil Rakadjiev
• 2014/09/24 Re: [klee-dev] FilePerm.c test fails Emil Rakadjiev
• 2014/09/23 Re: [klee-dev] KLEE failed to build cleanly with LLVM 3.3 Cristian Cadar
• 2014/09/23 [klee-dev] problem with running coreutils 张晓东-sei
• 2014/09/23 Re: [klee-dev] KLEE failed to build cleanly with LLVM 3.3 Sean Bartell

• Earlier messages
• Later messages