klee-dev

Messages by Date

2017/06/19 Re: [klee-dev] failed external call: fgets Dan Liew
2017/06/16 [klee-dev] klee/runtime/POSIX/fd.c:40: memory error: out of bound pointer Nourah mmm
2017/06/16 [klee-dev] failed external call: fgets Nourah mmm
2017/06/15 [klee-dev] C++ and file with .dat extension Nourah mmm
2017/06/12 Re: [klee-dev] Current status of Z3 with FP-support Dan Liew
2017/06/12 Re: [klee-dev] Add a new solver to klee Cristian Cadar
2017/06/12 [klee-dev] Current status of Z3 with FP-support Henrik Tjäder
2017/06/11 Re: [klee-dev] Getting path formula in dimacs format Dan Liew
2017/06/11 [klee-dev] Getting path formula in dimacs format Awanish
2017/06/09 Re: [klee-dev] Add a new solver to klee Andrew Santosa
2017/06/08 [klee-dev] Add a new solver to klee Cx Qingyang
2017/06/02 [klee-dev] Running latest coreutils with klee build on llvm3.4 Awanish Pandey
2017/05/28 Re: [klee-dev] KLEE behaviour with function call to uclibc Dan Liew
2017/05/27 Re: [klee-dev] KLEE behaviour with function call to uclibc Shehbaz Jaffer
2017/05/27 Re: [klee-dev] KLEE behaviour with function call to uclibc Dan Liew
2017/05/26 [klee-dev] KLEE behaviour with function call to uclibc Shehbaz Jaffer
2017/05/24 [klee-dev] Concolic testers based on KLEE Fremont, Daniel J (3480)
2017/05/20 Re: [klee-dev] Sorry to disturb you again，i encounter another question in learning the third klee tutorial David Manouchehri
2017/05/15 Re: [klee-dev] Excuse me, i need some help. Cristian Cadar
2017/05/11 [klee-dev] klee can't handle when the constant is a statement label, how to solve this problem? Xuzhijian
2017/05/11 [klee-dev] ?????? One phenomenon after the execution using klee ????
2017/05/11 Re: [klee-dev] One phenomenon after the execution using klee Dan Liew
2017/05/10 [klee-dev] Excuse me, i need some help. ????
2017/05/09 [klee-dev] One phenomenon after the execution using klee ????
2017/05/09 [klee-dev] How to implement the lazy memory allocation in KLEE? buka
2017/05/08 [klee-dev] Once again, It is my own mistake in my previous post titled as ""Sorry to disturb you again??i encounter another question in learning the third klee tutorial" ????
2017/05/08 [klee-dev] Sorry to disturb you again??i encounter another question in learning the third klee tutorial ????
2017/05/08 [klee-dev] KLEE and Mutation Testing Alex Denisov
2017/05/07 Re: [klee-dev] Klee-uclibc.bca Error when Running Coreutils Dan Liew
2017/05/07 [klee-dev] I am so sorry for my mistake made in my previous post titled as " Excuse me??i maybe find an error which is in the implementation of KLEE" ????
2017/05/07 [klee-dev] Excuse me??i maybe find an error which is in the implementation of KLEE ????
2017/05/06 [klee-dev] Klee-uclibc.bca Error when Running Coreutils Zhiyi Zhang
2017/05/03 [klee-dev] ?????? an error occurs when building klee from source againstLLVM 3.4 ????
2017/05/02 Re: [klee-dev] an error occurs when building klee from source against LLVM 3.4 Dan Liew
2017/05/01 [klee-dev] an error occurs when building klee from source against LLVM 3.4 ????
2017/04/27 Re: [klee-dev] Constant array declarations for klee_print_expr Cristian Cadar
2017/04/24 [klee-dev] ??????????: Sorry, may i ask a question? ????
2017/04/20 [klee-dev] Constant array declarations for klee_print_expr David Andrews
2017/04/14 Re: [klee-dev] KLEE "make" errors with LLVM-3.4.2 Zhiyi Zhang
2017/04/13 Re: [klee-dev] KLEE "make" errors with LLVM-3.4.2 Dan Liew
2017/04/13 [klee-dev] 答复: Sorry, may i ask a question? Xuzhijian
2017/04/11 [klee-dev] Sorry, may i ask a question? 曾杰
2017/04/10 Re: [klee-dev] Add new solver like dreal to backend of klee Dan Liew
2017/04/07 Re: [klee-dev] Converting KQuery numbers to signed integers Dan Liew
2017/04/07 [klee-dev] Converting KQuery numbers to signed integers Papapanagiotakis-Bousy, Iason
2017/03/30 Re: [klee-dev] LLVM directory does not exist/ not found Dan Liew
2017/03/28 Re: [klee-dev] find_llvm.cmake has problems in llvm version like 3.4svn Dan Liew
2017/03/28 [klee-dev] find_llvm.cmake has problems in llvm version like 3.4svn 王悦
2017/03/28 [klee-dev] LLVM directory does not exist/ not found Shaikha Al-Khuder
2017/03/27 [klee-dev] klee - mmap - error Sandeep Romana
2017/03/25 Re: [klee-dev] Testing Klee examples on ubuntu Andrea Mattavelli
2017/03/25 [klee-dev] Fwd: Testing Klee examples on ubuntu Shaikha Al-Khuder
2017/03/21 Re: [klee-dev] LLVM3.4 installation problem on Ubuntu 16.04 LTS Rutledge, Richard L
2017/03/18 [klee-dev] Research Software Developer position at UNC Chapel Hill Mike Reiter
2017/03/06 [klee-dev] Save data in the same way of KTestObject Christie Christie
2017/03/02 Re: [klee-dev] Adding initial state as a constraint Dan Liew
2017/03/01 [klee-dev] Adding initial state as a constraint Chelsea Metcalf
2017/02/21 [klee-dev] Failed external call: vprintf with klee-uclibc Randall
2017/02/18 [klee-dev] debug the process of klee excute Cx Qingyang
2017/02/06 Re: [klee-dev] Signed Integer Overflow Checking using KLEE Luca Dariz
2017/02/04 [klee-dev] Signed Integer Overflow Checking using KLEE Shaobo He
2017/01/30 Re: [klee-dev] One question about external dispatcher Qiuping Yi
2017/01/28 Re: [klee-dev] One question about external dispatcher Dan Liew
2017/01/28 Re: [klee-dev] Can klee generate a combined path expression to reach a particular statement? Dan Liew
2017/01/27 [klee-dev] Can klee generate a combined path expression to reach a particular statement? Cong Yan
2017/01/26 [klee-dev] One question about external dispatcher Qiuping Yi
2017/01/26 Re: [klee-dev] Target-Directed Symbolic Execution with KLEE Yannic Noller
2017/01/25 Re: [klee-dev] Target-Directed Symbolic Execution with KLEE Cristian Cadar
2017/01/23 Re: [klee-dev] Target-Directed Symbolic Execution with KLEE Yannic Noller
2017/01/23 Re: [klee-dev] Target-Directed Symbolic Execution with KLEE Papapanagiotakis-Bousy, Iason
2017/01/23 [klee-dev] Target-Directed Symbolic Execution with KLEE Yannic Noller
2017/01/18 [klee-dev] Implied Value Concretization Andrew Chi
2017/01/18 [klee-dev] IMPORTANT: Build system changes Dan Liew
2017/01/18 Re: [klee-dev] (Re)implementing a randomized fork Sean Heelan
2017/01/18 Re: [klee-dev] (Re)implementing a randomized fork Chengyu Zhang
2017/01/17 [klee-dev] (Re)implementing a randomized fork Sean Heelan
2017/01/15 Re: [klee-dev] How to limit unrolling loops times Chengyu Zhang
2017/01/11 Re: [klee-dev] how to dampen ktest exuberance with symbolic index into symbolic array Richard Rutledge
2017/01/11 [klee-dev] Printing ExecutionState and ConstraintManager Papapanagiotakis-Bousy, Iason
2017/01/10 Re: [klee-dev] Choosing the concrete values and getting the symbolic constraints Cristian Cadar
2017/01/10 Re: [klee-dev] Interpreting the output of --write-sym-paths and --write-paths Cristian Cadar
2017/01/10 Re: [klee-dev] How to limit unrolling loops times Cristian Cadar
2017/01/10 Re: [klee-dev] how to dampen ktest exuberance with symbolic index into symbolic array Cristian Cadar
2017/01/10 Re: [klee-dev] Add new solver like dreal to backend of klee Dan Liew
2017/01/10 Re: [klee-dev] how to dampen ktest exuberance with symbolic index into symbolic array Dan Liew
2017/01/10 [klee-dev] Add new solver like dreal to backend of klee Cx Qingyang
2017/01/09 [klee-dev] how to dampen ktest exuberance with symbolic index into symbolic array Richard Rutledge
2017/01/09 [klee-dev] Interpreting the output of --write-sym-paths and --write-paths Sean Heelan
2017/01/05 [klee-dev] Modifying the DFS searcher. Papapanagiotakis-Bousy, Iason
2017/01/04 [klee-dev] How to limit unrolling loops times Chengyu Zhang
2016/12/29 Re: [klee-dev] use klee-fp support float Chengyu Zhang
2016/12/29 [klee-dev] use klee-fp support float Cx Qingyang
2016/12/28 Re: [klee-dev] Running grep with klee Dan Liew
2016/12/27 [klee-dev] Running grep with klee Awanish
2016/12/26 Re: [klee-dev] Is possible to mark a function as uninterpreted function? Andrew Santosa
2016/12/26 Re: [klee-dev] Is possible to mark a function as uninterpreted function? Yude Lin
2016/12/23 Re: [klee-dev] Is possible to mark a function as uninterpreted function? Andrew Santosa
2016/12/23 Re: [klee-dev] Is possible to mark a function as uninterpreted function? Yude Lin
2016/12/22 Re: [klee-dev] Add a C++ file for klee's POSIX library Dan Liew
2016/12/21 [klee-dev] Add a C++ file for klee's POSIX library Randall
2016/12/20 [klee-dev] An error when running a program that needs external library. el habib Boudjema
2016/12/19 Re: [klee-dev] KLEE build instructions errata Andrea Mattavelli
2016/12/19 [klee-dev] KLEE build instructions errata Martin Dehnel-Wild
2016/12/16 Re: [klee-dev] Is possible to mark a function as uninterpreted function? Andrew Santosa
2016/12/16 Re: [klee-dev] Building constraints with Expr Papapanagiotakis-Bousy, Iason
2016/12/16 Re: [klee-dev] Is possible to mark a function as uninterpreted function? Dan Liew
2016/12/16 Re: [klee-dev] Building constraints with Expr Dan Liew
2016/12/16 Re: [klee-dev] Error using klee-replay Cristian Cadar
2016/12/16 [klee-dev] Building constraints with Expr Papapanagiotakis-Bousy, Iason
2016/12/15 Re: [klee-dev] Is possible to mark a function as uninterpreted function? Andrew Santosa
2016/12/15 [klee-dev] How to support networking, with Klee? el habib Boudjema
2016/12/14 [klee-dev] Is possible to mark a function as uninterpreted function? Javier Godoy
2016/12/14 Re: [klee-dev] Choosing the concrete values and getting the symbolic constraints Papapanagiotakis-Bousy, Iason
2016/12/14 Re: [klee-dev] Choosing the concrete values and getting the symbolic constraints Thuan Pham
2016/12/13 Re: [klee-dev] Choosing the concrete values and getting the symbolic constraints Daniel Guo
2016/12/13 Re: [klee-dev] Running Apache server with KLEE Andrew Santosa
2016/12/13 [klee-dev] Running Apache server with KLEE Awanish
2016/12/12 [klee-dev] Error using klee-replay Sean Heelan
2016/12/12 [klee-dev] Choosing the concrete values and getting the symbolic constraints Papapanagiotakis-Bousy, Iason
2016/12/12 Re: [klee-dev] Information on reproducing exeperimetation on Coreutils.6.10 with Klee. Chengyu Zhang
2016/12/12 Re: [klee-dev] Information on reproducing exeperimetation on Coreutils.6.10 with Klee. el habib Boudjema
2016/12/12 Re: [klee-dev] Information on reproducing exeperimetation on Coreutils.6.10 with Klee. Andrea Mattavelli
2016/12/12 [klee-dev] Information on reproducing exeperimetation on Coreutils.6.10 with Klee. el habib Boudjema
2016/12/11 Re: [klee-dev] Store path in Klee Andrew Santosa
2016/12/11 [klee-dev] Store path in Klee Chelsea Metcalf
2016/12/06 Re: [klee-dev] Bugs found by KLEE (or symbolic execution in general) Cristian Cadar
2016/12/05 Re: [klee-dev] Bugs found by KLEE (or symbolic execution in general) Marek Chalupa
2016/12/05 [klee-dev] Bugs found by KLEE (or symbolic execution in general) Sean Heelan
2016/12/04 Re: [klee-dev] How to get only path conditions in human friendly mode? Andrew Santosa
2016/12/03 [klee-dev] How to get only path conditions in human friendly mode? Javier Godoy
2016/11/30 [klee-dev] KLEE 1.3.0 released Cristian Cadar
2016/11/28 Re: [klee-dev] How to get （or capture ） the value of replaying a test case and the usage of KLEE Cristian Cadar
2016/11/27 Re: [klee-dev] How to get （or capture ） the value of replaying a test case and the usage of KLEE Andrew Santosa
2016/11/24 Re: [klee-dev] Testing newest Coreutils Andrea Mattavelli
2016/11/24 Re: [klee-dev] Testing newest Coreutils Thuan Pham
2016/11/24 Re: [klee-dev] Testing newest Coreutils Dan Liew
2016/11/23 [klee-dev] Testing newest Coreutils Thuan Pham
2016/11/22 Re: [klee-dev] The algorithm of Min-Dist-to-Uncovered Searcher Chengyu Zhang
2016/11/21 Re: [klee-dev] The algorithm of Min-Dist-to-Uncovered Searcher Martin Nowack
2016/11/18 Re: [klee-dev] The algorithm of Min-Dist-to-Uncovered Searcher Chengyu Zhang
2016/11/13 Re: [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image Thuan Pham
2016/11/11 Re: [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image Dan Liew
2016/11/11 Re: [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image Andrea Mattavelli
2016/11/11 Re: [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image Thuan Pham
2016/11/11 [klee-dev] Cannot compile Coreutils 6.10 inside KLEE Docker image Thuan Pham
2016/11/10 Re: [klee-dev] Question about how Klee performs symbolic execution Rutledge, Richard L
2016/11/10 Re: [klee-dev] Question about how Klee performs symbolic execution Cristian Cadar
2016/11/10 Re: [klee-dev] Question about how Klee performs symbolic execution Rutledge, Richard L
2016/11/10 Re: [klee-dev] Question about how Klee performs symbolic execution Shehbaz Jaffer
2016/11/10 [klee-dev] Question about how Klee performs symbolic execution Rutledge, Richard L
2016/11/05 Re: [klee-dev] Inline assembly, concurrency Andrew Santosa
2016/11/04 [klee-dev] Inline assembly, concurrency Marko Dimjašević
2016/11/03 Re: [klee-dev] Path constraints as equations of integers Dan Liew
2016/11/03 Re: [klee-dev] Print out intermediate symbolic representation for each path instead on generating test-case for each path Dan Liew
2016/11/02 [klee-dev] Print out intermediate symbolic representation for each path instead on generating test-case for each path s.darabi
2016/11/02 [klee-dev] The algorithm of Min-Dist-to-Uncovered Searcher Chengyu Zhang
2016/11/01 Re: [klee-dev] Path constraints as equations of integers Andrew Santosa
2016/11/01 [klee-dev] Path constraints as equations of integers Papapanagiotakis-Bousy, Iason
2016/10/20 Re: [klee-dev] Question about uclibc with scanf Cristian Cadar
2016/10/20 [klee-dev] Question about uclibc with scanf Randall
2016/10/17 Re: [klee-dev] Adding support for another C library Dan Liew
2016/10/17 Re: [klee-dev] Adding support for another C library Marko Dimjašević
2016/10/17 Re: [klee-dev] Adding support for another C library Dan Liew
2016/10/16 Re: [klee-dev] Adding support for another C library David Manouchehri
2016/10/15 Re: [klee-dev] Adding support for another C library Marko Dimjašević
2016/10/14 Re: [klee-dev] KLEE-Web launch ????????????
2016/10/14 [klee-dev] Adding support for another C library Marko Dimjašević
2016/10/14 Re: [klee-dev] Linking C++ runtime Cristian Cadar
2016/10/13 Re: [klee-dev] Linking C++ runtime Eric Laberge
2016/10/12 [klee-dev] KLEE-Web launch Cristian Cadar
2016/09/28 Re: [klee-dev] Linking C++ runtime Cristian Cadar
2016/09/26 Re: [klee-dev] Linking C++ runtime Reza Ahmadi
2016/09/26 Re: [klee-dev] Linking C++ runtime Dan Liew
2016/09/26 Re: [klee-dev] segmentation fault Dan Liew
2016/09/26 [klee-dev] Linking C++ runtime Eric Laberge
2016/09/26 [klee-dev] Handling segmentation fault in external call? David Manouchehri
2016/09/23 [klee-dev] segmentation fault Reza Ahmadi
2016/09/23 Re: [klee-dev] LibC recommendations? [Re: Updating KLEE-uClibc to the most recent version of uClibc] Marko Dimjašević
2016/09/19 Re: [klee-dev] Error in make check Dan Liew
2016/09/19 [klee-dev] Error in make check Awanish
2016/08/19 [klee-dev] LibC recommendations? [Re: Updating KLEE-uClibc to the most recent version of uClibc] Cristian Cadar
2016/08/19 Re: [klee-dev] Prevent klee from terminating a state upon facing an error Cristian Cadar
2016/08/18 Re: [klee-dev] klee and c++14 Dan Liew
2016/08/18 Re: [klee-dev] klee-uclibc installation fails Dan Liew
2016/08/18 Re: [klee-dev] make check fails 10 tests Dan Liew
2016/08/18 [klee-dev] Prevent klee from terminating a state upon facing an error Randolph Wong
2016/08/17 [klee-dev] make check fails 10 tests Reza Ahmadi
2016/08/17 [klee-dev] klee-uclibc installation fails Reza Ahmadi
2016/08/16 [klee-dev] klee and c++14 Leandro Rabindranath Leon
2016/08/05 [klee-dev] Symbolic array size Aymeric Fromherz
2016/07/24 Re: [klee-dev] Solving path constraints incrementally Andrew Santosa
2016/07/24 [klee-dev] Solving path constraints incrementally Sergey Mechtaev
2016/07/20 Re: [klee-dev] Klee is not compiled on Ubuntu 16.02 Martin Nowack
2016/07/20 [klee-dev] Klee is not compiled on Ubuntu 16.02 Reza Ahmadi
2016/07/19 Re: [klee-dev] Implementing support for the Firehose file format Martin Nowack
2016/07/19 Re: [klee-dev] Implementing support for the Firehose file format Marko Dimjašević
2016/07/06 Re: [klee-dev] confuse how klee collect symbolic constraints Andrew Santosa
2016/07/05 Re: [klee-dev] How to compile c/c++ project to a unique LLVM IR bitcode? Marko Dimjašević
2016/07/05 [klee-dev] How to compile c/c++ project to a unique LLVM IR bitcode? meng qingkun
2016/07/02 Re: [klee-dev] Implementing support for the Firehose file format Marko Dimjašević