klee-dev  

Messages by Date

• 2013/01/09 [klee-dev] File not recognized 李永超
• 2013/01/06 [klee-dev] KLEE for C++ programs using pthreads. Dilip Murali
• 2013/01/04 Re: [klee-dev] KLEE usage compiler dependent ? Vitaly Chipounov
• 2013/01/02 Re: [klee-dev] KLEE usage compiler dependent ? Jonathan Neuschäfer
• 2013/01/02 [klee-dev] KLEE usage compiler dependent ? Jyoti
• 2012/12/18 Re: [klee-dev] klee crash question John Regehr
• 2012/12/18 Re: [klee-dev] klee crash question Vijay Ganesh
• 2012/12/18 Re: [klee-dev] klee crash question Stefan Bucur
• 2012/12/18 Re: [klee-dev] klee crash question Daniel Dunbar
• 2012/12/18 Re: [klee-dev] klee crash question Paul Marinescu
• 2012/12/18 Re: [klee-dev] klee crash question John Regehr
• 2012/12/18 [klee-dev] klee crash question John Regehr
• 2012/12/13 [klee-dev] Trouble installing LLVM2.9 and klee on Ubuntu 12.10 X86_64 Dilip Murali
• 2012/12/12 [klee-dev] Mailing list migration to [email protected] Cristian Cadar
• 2012/11/28 Re: [klee-dev] Klee Make check fails Cristian Cadar
• 2012/11/27 [klee-dev] interested in klee Maria Shirokova
• 2012/11/20 Re: [klee-dev] Klee Make check fails Cristian Cadar
• 2012/11/19 [klee-dev] Klee Make check fails Bogdan Copos
• 2012/11/15 Re: [klee-dev] Why does KLEE fail large memory allocations? Cristian Cadar
• 2012/11/14 [klee-dev] Why does KLEE fail large memory allocations? Bowen Zhou
• 2012/11/05 Re: [klee-dev] Using Klee Cristian Cadar
• 2012/11/04 [klee-dev] Using Klee Bogdan Copos
• 2012/11/02 [klee-dev] Seeding on existing test cases Bowen Zhou
• 2012/10/30 [klee-dev] strange update on ref<Expr> Qiuping Yi
• 2012/10/30 Re: [klee-dev] how to get a new copy of execution state? Qiuping Yi
• 2012/10/30 Re: [klee-dev] how to get a new copy of execution state? Paul Marinescu
• 2012/10/28 Re: [klee-dev] how to get a new copy of execution state? Jonathan Neuschäfer
• 2012/10/28 [klee-dev] how to get a new copy of execution state? Qiuping Yi
• 2012/10/25 Re: [klee-dev] Linearizability Baris Kasikci
• 2012/10/25 [klee-dev] Linearizability Andreas Wilhelm
• 2012/10/24 Re: [klee-dev] [PATCHSET] random minor fixes for KLEE Cristian Cadar
• 2012/10/24 [klee-dev] SMT-LIB support in KLEE Cristian Cadar
• 2012/10/19 Re: [klee-dev] Trunk won't compile Cristian Cadar
• 2012/10/19 [klee-dev] Trunk won't compile Stephan Falke
• 2012/10/15 Re: [klee-dev] klee_assert hangs (1 symbolic integer) Wei Ming Khoo
• 2012/10/14 Re: [klee-dev] klee_assert hangs (1 symbolic integer) Jonathan Neuschäfer
• 2012/10/14 [klee-dev] Question about symbolic files Xiangyu Li
• 2012/10/14 [klee-dev] [PATCH 3/6] tools/klee/main.cpp: move duplicate code to a function Jonathan Neuschäfer
• 2012/10/14 [klee-dev] [PATCH 6/6] klee/main: update symbol list for klee_get_value* Jonathan Neuschäfer
• 2012/10/14 [klee-dev] [PATCH 4/6] TODO.txt: drop "rename .bout to .ktest" item Jonathan Neuschäfer
• 2012/10/14 [klee-dev] [PATCH 5/6] examples/sort: fix a little memory leak Jonathan Neuschäfer
• 2012/10/14 [klee-dev] klee_assert hangs (1 symbolic integer) Wei Ming Khoo
• 2012/10/14 [klee-dev] [PATCH 1/6] www/Tutorial-1.html: fix naming inconsistency in example Jonathan Neuschäfer
• 2012/10/14 [klee-dev] [PATCHSET] random minor fixes for KLEE Jonathan Neuschäfer
• 2012/10/14 [klee-dev] [PATCH 2/6] tools/klee/main.cpp: move increment into for-loop head Jonathan Neuschäfer
• 2012/10/14 Re: [klee-dev] Symbolic File Jonathan Neuschäfer
• 2012/10/10 [klee-dev] Is there any work done that Klee can work on part of the program Hucheng Zhou
• 2012/10/10 Re: [klee-dev] Symbolic File David Ramos
• 2012/10/10 Re: [klee-dev] Symbolic File Delcypher
• 2012/10/10 Re: [klee-dev] Symbolic File Neha Rungta
• 2012/10/10 [klee-dev] Symbolic File Neha Rungta
• 2012/10/09 Re: [klee-dev] configure: error: Unable to link with libstp Hucheng Zhou
• 2012/10/09 Re: [klee-dev] configure: error: Unable to link with libstp Hucheng Zhou
• 2012/10/09 Re: [klee-dev] configure: error: Unable to link with libstp Delcypher
• 2012/10/09 Re: [klee-dev] configure: error: Unable to link with libstp Hucheng Zhou
• 2012/10/09 [klee-dev] configure: error: Unable to link with libstp Hucheng Zhou
• 2012/10/04 Re: [klee-dev] 1st post - install klee in ubunutu 12.04 LTS Cristian Cadar
• 2012/09/14 Re: [klee-dev] error in Coreutils Case Study Qiuping Yi
• 2012/09/14 Re: [klee-dev] error in Coreutils Case Study Delcypher
• 2012/09/13 Re: [klee-dev] error in Coreutils Case Study Qiuping Yi
• 2012/09/12 [klee-dev] Search heuristics in KLEE Cristian Cadar
• 2012/09/12 Re: [klee-dev] error in Coreutils Case Study Delcypher
• 2012/09/11 Re: [klee-dev] Bug(s) in ConstantExpr class Delcypher
• 2012/09/11 Re: [klee-dev] Bug(s) in ConstantExpr class Cristian Cadar
• 2012/09/11 Re: [klee-dev] Assertion failure when code calls __xstat64 (and other Delcypher
• 2012/09/11 Re: [klee-dev] error in Coreutils Case Study Delcypher
• 2012/09/11 [klee-dev] error in Coreutils Case Study Qiuping Yi
• 2012/09/10 Re: [klee-dev] Assertion failure when code calls __xstat64 (and other zhou0px
• 2012/09/06 Re: [klee-dev] Symbolic index into array of function pointers Cristian Cadar
• 2012/09/03 [klee-dev] Symbolic index into array of function pointers Thurston Dang
• 2012/09/01 Re: [klee-dev] SEGFAULT bug in KLEE running on sort in core-utils Delcypher
• 2012/09/01 Re: [klee-dev] SEGFAULT bug in KLEE running on sort in core-utils Paul Marinescu
• 2012/09/01 [klee-dev] SEGFAULT bug in KLEE running on sort in core-utils Delcypher
• 2012/08/24 [klee-dev] a question about klee and llvm instructions, someone can help me?thank you very much~~ 周艺
• 2012/08/24 Re: [klee-dev] Debugging KLEE assertion failures Delcypher
• 2012/08/23 [klee-dev] how to execute llvm byte code backward in KLEE Qiuping Yi
• 2012/08/23 [klee-dev] Debugging KLEE assertion failures Ryan Govostes
• 2012/08/22 Re: [klee-dev] build errors with klee and uclibc Paul Thomson
• 2012/08/22 [klee-dev] find all the paths after give a concrete value to a symbolic variable,¿ --make-concret-symbolic? marta vic
• 2012/08/21 [klee-dev] build errors with klee and uclibc luning
• 2012/08/19 [klee-dev] Fwd: Building errors on uClibc Delcypher
• 2012/08/17 Re: [klee-dev] Building errors on uClibc haihao shen
• 2012/08/17 Re: [klee-dev] Building errors on uClibc Delcypher
• 2012/08/16 [klee-dev] Building errors on uClibc haihao shen
• 2012/08/16 Re: [klee-dev] substitute concrete values into path condition zhangxy
• 2012/08/16 Re: [klee-dev] substitute concrete values into path condition Paul Marinescu
• 2012/08/15 [klee-dev] substitute concrete values into path condition zhangxy
• 2012/08/13 Re: [klee-dev] How to make KLEE work on the external libraries in native bitcode Peng Li
• 2012/08/12 Re: [klee-dev] How to make KLEE work on the external libraries in native bitcode Paul Marinescu
• 2012/08/12 [klee-dev] How to make KLEE work on the external libraries in native bitcode Peng Li
• 2012/08/12 Re: [klee-dev] dejagnu not found Qiuping Yi
• 2012/08/12 Re: [klee-dev] dejagnu not found Qiuping Yi
• 2012/08/12 Re: [klee-dev] dejagnu not found Delcypher
• 2012/08/12 Re: [klee-dev] dejagnu not found Qiuping Yi
• 2012/08/10 [klee-dev] dejagnu not found Qiuping Yi
• 2012/08/07 [klee-dev] Bug(s) in ConstantExpr class Delcypher
• 2012/07/31 Re: [klee-dev] Question about working version of Klee, STP and PySTP and default Klee STP when not provided on configure script Cristian Cadar
• 2012/07/26 [klee-dev] How to transfer an member of 'AddressSpace.objects' in to an 'Expr'? Tao He
• 2012/07/23 Re: [klee-dev] Question about working version of Klee, STP and PySTP and default Klee STP when not provided on configure script Delcypher
• 2012/07/21 [klee-dev] Using Klee without modifying code, path conditions and source line condition associated Carlos Andrade
• 2012/07/21 Re: [klee-dev] Question about working version of Klee, STP and PySTP and default Klee STP when not provided on configure script Carlos Andrade
• 2012/07/20 Re: [klee-dev] Question about working version of Klee, STP and PySTP and default Klee STP when not provided on configure script Cristian Cadar
• 2012/07/20 Re: [klee-dev] A typo? Cristian Cadar
• 2012/07/20 Re: [klee-dev] Question about working version of Klee, STP and PySTP and default Klee STP when not provided on configure script Delcypher
• 2012/07/20 [klee-dev] Question about working version of Klee, STP and PySTP and default Klee STP when not provided on configure script Carlos Andrade
• 2012/07/16 [klee-dev] A typo? Peng Li
• 2012/07/11 Re: [klee-dev] A question on Kleaver Jeff Huang
• 2012/07/05 [klee-dev] How convert the values of klee to write in c code? (without using klee-replay or "KTEST_FILE=") marta vic
• 2012/07/03 Re: [klee-dev] Modifying KLEE's default behavior gwpublic
• 2012/07/03 [klee-dev] Modifying KLEE's default behavior Nathan Alderfer
• 2012/06/29 [klee-dev] A question on Kleaver Jeff Huang
• 2012/06/21 [klee-dev] KLEE compilation error and make check fails zhenyu wang
• 2012/06/20 Re: [klee-dev] User specified assembly address Kapil Anand
• 2012/06/20 [klee-dev] User specified assembly address Kapil Anand
• 2012/06/19 Re: [klee-dev] Segment fault while running KLEE-Package Paul Marinescu
• 2012/06/19 [klee-dev] Segment fault while running KLEE-Package Kapil Anand
• 2012/06/19 Re: [klee-dev] Unable to compile uclibc with clang Cristian Cadar
• 2012/06/15 [klee-dev] Unable to compile uclibc with clang fady ghanim
• 2012/05/25 Re: [klee-dev] klee and solve nolinear constraints Cristian Cadar
• 2012/05/14 [klee-dev] klee and solve nolinear constraints Xiaomei Hou
• 2012/05/10 Re: [klee-dev] klee and httpd Paul Marinescu
• 2012/05/10 [klee-dev] klee and httpd Lionel PRAT
• 2012/05/10 [klee-dev] klee and httpd Lionel PRAT
• 2012/05/10 [klee-dev] klee and httpd Lionel PRAT
• 2012/05/02 [klee-dev] KLEE with failing system calls Fredrick . Mainor
• 2012/04/26 Re: [klee-dev] Klee and buffer overflow detect Paul Marinescu
• 2012/04/26 [klee-dev] Klee and buffer overflow detect Lionel PRAT
• 2012/04/25 Re: [klee-dev] klee loop infinity Cristian Cadar
• 2012/04/25 [klee-dev] klee loop infinity Lionel PRAT
• 2012/04/20 [klee-dev] Klee compile issue Lin Feng
• 2012/04/10 Re: [klee-dev] STP compile issue for KLEE Michael Stone
• 2012/04/10 [klee-dev] STP compile issue for KLEE Changjiang Jia
• 2012/04/07 Re: [klee-dev] PATCH: avoid destruction of T in self-assignment of ref<T> Cristian Cadar
• 2012/04/07 Re: [klee-dev] Can't make_symbolic a struct member Cristian Cadar
• 2012/04/06 [klee-dev] Can't make_symbolic a struct member Ryan Govostes
• 2012/04/05 Re: [klee-dev] symbolic input as an int Cristian Cadar
• 2012/04/05 [klee-dev] I have a problem about klee wei
• 2012/04/04 [klee-dev] symbolic input as an int amitaï madar
• 2012/03/18 [klee-dev] How to view symPaths.ts and paths.ts Jorge A. Navas
• 2012/03/14 [klee-dev] Interpreting .path files snavabpo
• 2012/03/13 [klee-dev] Error building uClibc on Darwin64 snavabpo
• 2012/03/13 Re: [klee-dev] Trying to undertand OSDI cases and the results marta vic
• 2012/03/13 [klee-dev] Build Error in Executor.cpp using LLVM 2.8 snavabpo
• 2012/03/12 [klee-dev] Symbolic string inputs Jiaqi Tan
• 2012/03/07 Re: [klee-dev] Compiling Klee with Posix Support David Fischer
• 2012/03/06 [klee-dev] Compiling Klee with Posix Support David Fischer
• 2012/03/03 Re: [klee-dev] how to check whether one data satisfy the constraint Cristian Cadar
• 2012/03/02 [klee-dev] Trying to undertand OSDI cases and the results marta vic
• 2012/02/23 Re: [klee-dev] vnumber in Executor::eval Jiaqi Tan
• 2012/02/23 Re: [klee-dev] vnumber in Executor::eval Paul Marinescu
• 2012/02/22 Re: [klee-dev] vnumber in Executor::eval Jiaqi Tan
• 2012/02/22 Re: [klee-dev] About build coreutils with LLVM Jiaqi Tan
• 2012/02/22 Re: [klee-dev] About build coreutils with LLVM David A. Ramos
• 2012/02/22 [klee-dev] About build coreutils with LLVM You Li
• 2012/02/21 Re: [klee-dev] vnumber in Executor::eval Jiaqi Tan
• 2012/02/21 Re: [klee-dev] vnumber in Executor::eval Paul Marinescu
• 2012/02/21 Re: [klee-dev] vnumber in Executor::eval Jiaqi Tan
• 2012/02/21 Re: [klee-dev] vnumber in Executor::eval Jiaqi Tan
• 2012/02/21 Re: [klee-dev] vnumber in Executor::eval Paul Marinescu
• 2012/02/21 Re: [klee-dev] vnumber in Executor::eval Jiaqi Tan
• 2012/02/19 [klee-dev] Meaning of KLEE error message Jiaqi Tan
• 2012/02/18 [klee-dev] consultation Xiaomei Hou
• 2012/02/17 [klee-dev] Assertion failure when code calls __xstat64 (and other Busybox - KLEE problems) Jiaqi Tan
• 2012/02/15 [klee-dev] how to check whether one data satisfy the constraint 赵夏
• 2012/02/13 Re: [klee-dev] Caching during Branch Execution Neha Rungta
• 2012/02/13 Re: [klee-dev] Caching during Branch Execution Neha Rungta
• 2012/02/13 [klee-dev] Caching during Branch Execution Neha Rungta
• 2012/02/13 Re: [klee-dev] Caching during Branch Execution David A. Ramos
• 2012/02/07 Re: [klee-dev] verification of a refactoring/cleanup change David Ramos
• 2012/02/07 Re: [klee-dev] verification of a refactoring/cleanup change Jiri Slaby
• 2012/02/02 Re: [klee-dev] Mutually Exclusive if-statements Paul Marinescu
• 2012/01/31 Re: [klee-dev] Mutually Exclusive if-statements James Hongyi Zeng
• 2012/01/31 Re: [klee-dev] Mutually Exclusive if-statements Paul Marinescu
• 2012/01/31 Re: [klee-dev] Mutually Exclusive if-statements James Hongyi Zeng
• 2012/01/30 [klee-dev] Mutually Exclusive if-statements James Hongyi Zeng
• 2012/01/27 Re: [klee-dev] Duplicate test cases Super Zhang
• 2012/01/27 Re: [klee-dev] Duplicate test cases Paul Thomson
• 2012/01/27 [klee-dev] Duplicate test cases James Hongyi Zeng
• 2012/01/25 Re: [klee-dev] blog post and a question John Regehr
• 2012/01/25 Re: [klee-dev] blog post and a question Cristian Cadar
• 2012/01/25 Re: [klee-dev] blog post and a question Ott Tinn
• 2012/01/25 Re: [klee-dev] blog post and a question Ott Tinn
• 2012/01/25 Re: [klee-dev] blog post and a question Kangkook Jee
• 2012/01/24 Re: [klee-dev] blog post and a question John Regehr
• 2012/01/24 Re: [klee-dev] blog post and a question Raimondas Sasnauskas
• 2012/01/24 Re: [klee-dev] blog post and a question David Antonio Ramos
• 2012/01/24 Re: [klee-dev] blog post and a question John Regehr
• 2012/01/24 [klee-dev] blog post and a question John Regehr
• 2012/01/24 Re: [klee-dev] KLEE and Kleaver with Yices or other solvers Cristian Cadar
• 2012/01/24 Re: [klee-dev] KLEE and Kleaver with Yices or other solvers gwpublic
• 2012/01/23 [klee-dev] KLEE and Kleaver with Yices or other solvers Daniel Wainwright
• 2012/01/23 [klee-dev] POSIX runtime support on BSD systems Serguey Kuritsin
• 2012/01/21 Re: [klee-dev] Problems when compiling KLEE runtime Super Zhang
• 2012/01/21 Re: [klee-dev] Maximum bound of argument "name" in function klee_make_symbolic Super Zhang
• 2012/01/21 Re: [klee-dev] strace error when running CDE-package gwpublic
• 2012/01/20 Re: [klee-dev] Problems when compiling KLEE runtime James Hongyi Zeng
• 2012/01/20 [klee-dev] Problems when compiling KLEE runtime James Hongyi Zeng
• 2012/01/20 [klee-dev] strace error when running CDE-package Henning Günther
• 2012/01/19 [klee-dev] Maximum bound of argument "name" in function klee_make_symbolic Trần Thị Thùy Trang
• 2012/01/18 Re: [klee-dev] memory leak patch Cristian Cadar

• Earlier messages
• Later messages