klee-dev  

Messages by Thread

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

• Earlier messages
• Later messages