klee-dev  

Messages by Date

• 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
• 2012/01/18 Re: [klee-dev] PATCH: Bug fix for invalid offsets when getelementptr takes negative indices Stefan Bucur
• 2012/01/18 Re: [klee-dev] PATCH: Support for bitcasted aliased calls Peter Collingbourne
• 2012/01/18 Re: [klee-dev] PATCH: Bug fix for invalid offsets when getelementptr takes negative indices Peter Collingbourne
• 2012/01/18 [klee-dev] PATCH: Bug fix for invalid offsets when getelementptr takes negative indices Stefan Bucur
• 2012/01/18 [klee-dev] PATCH: Support for bitcasted aliased calls Stefan Bucur
• 2012/01/18 [klee-dev] Bug? Paul Thomson
• 2012/01/13 Re: [klee-dev] "klee: error: Cannot find linker input '.../Debug/..." arrowdodger
• 2012/01/13 [klee-dev] "klee: error: Cannot find linker input '.../Debug/..." Geof Sawaya
• 2011/12/16 [klee-dev] KLEE on Ubuntu 11.10 Daniel Wainwright
• 2011/12/12 Re: [klee-dev] [Patch] general small fixes for Klee, motivated by compiling under Minix ben gras
• 2011/12/12 Re: [klee-dev] [Patch] general small fixes for Klee, motivated by compiling under Minix ben gras
• 2011/12/12 Re: [klee-dev] [Patch] general small fixes for Klee, motivated by compiling under Minix arrowdodger
• 2011/12/11 Re: [klee-dev] [Patch] general small fixes for Klee, motivated by compiling under Minix Michael Stone
• 2011/12/11 Re: [klee-dev] [Patch] general small fixes for Klee, motivated by compiling under Minix ben gras
• 2011/12/11 Re: [klee-dev] [Patch] general small fixes for Klee, motivated by compiling under Minix Cristian Cadar
• 2011/12/11 Re: [klee-dev] POSIX tests never terminate Cristian Cadar
• 2011/12/11 Re: [klee-dev] Accessing klee's process memory from program being executed. arrowdodger
• 2011/12/11 [klee-dev] Using Klee against shared libraries Michael Lochov
• 2011/12/11 [klee-dev] [Patch] general small fixes for Klee, motivated by compiling under Minix ben gras
• 2011/12/06 Re: [klee-dev] How do you manage your project? Cristian Cadar
• 2011/12/06 Re: [klee-dev] Accessing klee's process memory from program being executed. arrowdodger
• 2011/12/05 Re: [klee-dev] Accessing klee's process memory from program being executed. Paul Marinescu
• 2011/12/05 [klee-dev] Accessing klee's process memory from program being executed. arrowdodger
• 2011/12/04 [klee-dev] Executing Extern Functions Symbolically Jango Fett
• 2011/11/21 Re: [klee-dev] A question about expression evaluation Paul Marinescu
• 2011/11/21 [klee-dev] A question about expression evaluation Peng Li
• 2011/11/17 Re: [klee-dev] Building klee with LLVM/CLANG 2.9 on windows Alexandre Gouraud
• 2011/11/13 [klee-dev] How do you manage your project? Zhang Yufeng
• 2011/11/08 [klee-dev] Building klee with LLVM/CLANG 2.9 on windows Alexandre Gouraud
• 2011/11/04 Re: [klee-dev] bug in ObjectState::read? Cristian Cadar
• 2011/11/04 [klee-dev] bug in ObjectState::read? Tom Bergan
• 2011/11/03 Re: [klee-dev] How to get the path constrain in a readable way Cristian Cadar
• 2011/11/03 [klee-dev] How to get the path constrain in a readable way amitaï madar
• 2011/10/27 Re: [klee-dev] experiment Paul Marinescu
• 2011/10/27 Re: [klee-dev] experiment David Ramos
• 2011/10/27 Re: [klee-dev] experiment [email protected]
• 2011/10/27 Re: [klee-dev] experiment Paul Marinescu
• 2011/10/26 [klee-dev] experiment yunfei
• 2011/10/25 Re: [klee-dev] Debugging With The Klee CDE Distribution Cristian Cadar
• 2011/10/21 Re: [klee-dev] cloud9 arrowdodger
• 2011/10/21 [klee-dev] how are the conditional constructs represented in klee? Hristo Valev
• 2011/10/21 [klee-dev] cloud9 yunfei
• 2011/10/19 [klee-dev] Parallelisation, and breadth before depth? Dr. David Alan Gilbert
• 2011/10/15 [klee-dev] Debugging With The Klee CDE Distribution Jango Fett
• 2011/10/15 [klee-dev] Counter Example Cache Slows Down KLEE YJKim
• 2011/10/11 [klee-dev] KLEE time overhead YJKim
• 2011/10/09 Re: [klee-dev] A question about calling external function in KLEE Cristian Cadar
• 2011/10/03 [klee-dev] A question about calling external function in KLEE Wei-Fan
• 2011/09/27 Re: [klee-dev] KLEE on tutorial one: only 2 paths Cristian Cadar
• 2011/09/27 Re: [klee-dev] KLEE on tutorial one: only 2 paths Martin Nowack
• 2011/09/27 [klee-dev] KLEE on tutorial one: only 2 paths Changjiang Jia
• 2011/09/17 Re: [klee-dev] verification of a refactoring/cleanup change David Ramos
• 2011/09/17 Re: [klee-dev] verification of a refactoring/cleanup change arrowdodger
• 2011/09/15 Re: [klee-dev] klee Cristian Cadar
• 2011/09/14 [klee-dev] klee yunfei
• 2011/08/23 Re: [klee-dev] Reliable Memory Usage Indication Stefan Bucur
• 2011/08/23 Re: [klee-dev] Reliable Memory Usage Indication David Ramos
• 2011/08/23 [klee-dev] Reliable Memory Usage Indication Stefan Bucur
• 2011/08/18 [klee-dev] Is KLEE a concolic tester Lu Huizhi
• 2011/08/18 [klee-dev] stp-optimize-divides option Ayrat Khalimov
• 2011/08/16 [klee-dev] "ERROR: object sizes differ" Trần Thị Thùy Trang
• 2011/08/16 Re: [klee-dev] POSIX tests never terminate Paul Marinescu
• 2011/08/16 Re: [klee-dev] POSIX tests never terminate arrowdodger
• 2011/08/15 [klee-dev] uclibc llvm-ar not found fix terence cadd
• 2011/08/14 [klee-dev] POSIX tests never terminate Paul Marinescu
• 2011/08/11 Re: [klee-dev] Unable to write output test case Trần Thị Thùy Trang
• 2011/08/10 [klee-dev] make reports ... strtol.c ( (and a few other files). :126: error: ‘ERANGE’ undeclared ... Kenneth Kron
• 2011/08/10 [klee-dev] Unable to write output test case Trần Thị Thùy Trang
• 2011/08/04 Re: [klee-dev] seeds functionality Lu Zhao
• 2011/08/03 Re: [klee-dev] Searchable klee-dev archive David Ramos
• 2011/08/03 Re: [klee-dev] Searchable klee-dev archive Lu Zhao
• 2011/08/03 Re: [klee-dev] seeds functionality Paul Marinescu
• 2011/08/03 Re: [klee-dev] seeds functionality Lu Zhao
• 2011/08/03 Re: [klee-dev] Problem building klee on ubuntu Peter Collingbourne
• 2011/08/03 [klee-dev] Problem building klee on ubuntu Kenneth Kron
• 2011/07/28 [klee-dev] input of next state to run the concrete execution Lu Huizhi
• 2011/07/26 Re: [klee-dev] Searchable klee-dev archive Cristian Cadar
• 2011/07/25 [klee-dev] store computing results from STP Lu Huizhi
• 2011/07/24 [klee-dev] Searchable klee-dev archive David A. Ramos
• 2011/07/24 Re: [klee-dev] Bug after "r132054" Cristian Cadar
• 2011/07/21 [klee-dev] list delay - please ignore David A. Ramos
• 2011/07/21 Re: [klee-dev] bindlocal David A. Ramos
• 2011/07/21 [klee-dev] bindlocal Lu Huizhi
• 2011/07/21 Re: [klee-dev] Converting constraint solver queries to C code Peter Collingbourne
• 2011/07/21 [klee-dev] Converting constraint solver queries to C code Vitaly Chipounov
• 2011/07/21 [klee-dev] about types of error with KLEE Liu Jian
• 2011/07/19 Re: [klee-dev] Comparing different System States David A. Ramos
• 2011/07/19 [klee-dev] Comparing different System States Henning Femmer
• 2011/07/18 Re: [klee-dev] weird struct* casting derefence problem David A. Ramos
• 2011/07/18 Re: [klee-dev] How does KLEE Track the Symbolic States David A. Ramos
• 2011/07/18 Re: [klee-dev] weird struct* casting derefence problem David A. Ramos
• 2011/07/18 [klee-dev] Bug after "r132054" Leandro Sales
• 2011/07/18 [klee-dev] How does KLEE Track the Symbolic States and Translate Them to STP Lu Huizhi
• 2011/07/18 [klee-dev] How does KLEE Track the Symbolic States and Translate Them to STP Lu Huizhi
• 2011/07/18 [klee-dev] How does KLEE Track the Symbolic States Lu Huizhi
• 2011/07/18 Re: [klee-dev] weird struct* casting derefence problem Manizzle
• 2011/07/18 Re: [klee-dev] weird struct* casting derefence problem David A. Ramos
• 2011/07/18 Re: [klee-dev] klee_make_symbolic Manizzle
• 2011/07/18 Re: [klee-dev] weird struct* casting derefence problem Manizzle
• 2011/07/18 [klee-dev] weird struct* casting derefence problem Manizzle
• 2011/07/18 Re: [klee-dev] weird struct* casting derefence problem Manizzle
• 2011/07/18 Re: [klee-dev] klee_make_symbolic Raimondas Sasnauskas
• 2011/07/18 Re: [klee-dev] klee_make_symbolic Milen Dzhumerov
• 2011/07/18 [klee-dev] klee_make_symbolic David A. Ramos
• 2011/07/18 [klee-dev] klee_make_symbolic Manizzle
• 2011/07/17 [klee-dev] ask for help Peter Davies
• 2011/07/17 [klee-dev] ask for help Zhang Yufeng
• 2011/07/15 [klee-dev] ask for help Paul Marinescu
• 2011/07/14 [klee-dev] ask for help Zhang Yufeng
• 2011/07/13 [klee-dev] seeds functionality Paul Marinescu
• 2011/07/12 [klee-dev] Global variables initialized before uclibc is initialized Cynthia Sturton
• 2011/07/12 [klee-dev] seeds functionality Ayrat Khalimov
• 2011/07/07 [klee-dev] [PATCH] Add some const declarations. arrowdodger
• 2011/07/05 [klee-dev] assertion errors: best way to resolve? Manizzle
• 2011/07/05 [klee-dev] [PATCH] Add some const declarations. Peter Davies
• 2011/07/02 [klee-dev] pathcondition for concrete values Leandro Sales
• 2011/06/30 [klee-dev] build coreutils 8.9 with klee-gcc - updated Paul Thomson
• 2011/06/29 [klee-dev] build coreutils 8.9 with klee-gcc - updated Lu Zhao
• 2011/06/29 [klee-dev] build coreutils 8.9 with klee-gcc Lu Zhao
• 2011/06/29 [klee-dev] Choice of SMT solver Cristian Cadar
• 2011/06/29 [klee-dev] pathcondition for concrete values Cristian Cadar
• 2011/06/29 [klee-dev] pathcondition for concrete values Leandro Sales
• 2011/06/29 [klee-dev] pathcondition for concrete values Leandro Sales
• 2011/06/28 [klee-dev] Reproduce the Case study of Coreutils 8.9 김영주
• 2011/06/28 [klee-dev] pathcondition for concrete values David A. Ramos
• 2011/06/28 [klee-dev] pathcondition for concrete values Leandro Sales
• 2011/06/20 [klee-dev] KLEE CXX tests are failing with recent LLVM. arrowdodger
• 2011/06/15 [klee-dev] displaying constraints for each test case Chris Murphy
• 2011/06/15 [klee-dev] displaying constraints for each test case Chris Murphy
• 2011/06/11 [klee-dev] Handling of external functions in KLEE Paul Marinescu
• 2011/06/09 [klee-dev] Choice of SMT solver Russell Wallace
• 2011/06/09 [klee-dev] [PATCH] Build KLEE on FreeBSD. Cristian Cadar
• 2011/06/09 [klee-dev] Handling of external functions in KLEE Henning Femmer
• 2011/06/09 [klee-dev] [PATCH] Build KLEE on FreeBSD. arrowdodger
• 2011/06/08 [klee-dev] verification of a refactoring/cleanup change Andriy Gapon
• 2011/06/08 [klee-dev] verification of a refactoring/cleanup change David A. Ramos
• 2011/06/08 [klee-dev] verification of a refactoring/cleanup change Andriy Gapon
• 2011/06/07 [klee-dev] Choice of SMT solver Cristian Cadar
• 2011/06/07 [klee-dev] Choice of SMT solver Vijay Ganesh
• 2011/06/07 [klee-dev] Choice of SMT solver Cristian Cadar
• 2011/06/07 [klee-dev] Choice of SMT solver Russell Wallace
• 2011/06/02 [klee-dev] what's a ballpark estimate of baseline Klee slowdown? Paul Marinescu
• 2011/06/01 [klee-dev] what's a ballpark estimate of baseline Klee slowdown? Philip Guo
• 2011/06/01 [klee-dev] [PATCH] Build KLEE on FreeBSD. arrowdodger
• 2011/05/31 [klee-dev] External Functions + Return of Statically Allocated Pointers Cristian Cadar
• 2011/05/28 [klee-dev] PC incremented before execute instruction Paul Thomson
• 2011/05/26 [klee-dev] self-contained Klee Linux distribution ... no more compiling woes! Philip Guo
• 2011/05/26 [klee-dev] self-contained Klee Linux distribution ... no more compiling woes! Dawson Engler
• 2011/05/26 [klee-dev] self-contained Klee Linux distribution ... no more compiling woes! Cristian Cadar
• 2011/05/25 [klee-dev] self-contained Klee Linux distribution ... no more compiling woes! Philip Guo
• 2011/05/25 [klee-dev] self-contained Klee Linux distribution ... no more compiling woes! Philip Guo
• 2011/05/24 [klee-dev] WeightedRandomSearcher David A. Ramos
• 2011/05/23 [klee-dev] External Functions + Return of Statically Allocated Pointers Milen Dzhumerov
• 2011/05/18 [klee-dev] rtti error while compiling Klee a b
• 2011/05/03 [klee-dev] [PATCH] Build KLEE with trunk LLVM. arrowdodger
• 2011/05/03 [klee-dev] Klee check test suite failing Cristian Cadar
• 2011/04/26 [klee-dev] FW: QA guidance / advice needed Peter Helmstaedt
• 2011/04/26 [klee-dev] Klee check test suite failing Peter Helmstaedt
• 2011/04/26 [klee-dev] Klee check test suite failing Peter Helmstaedt
• 2011/04/23 [klee-dev] [PATCH] Build KLEE with trunk LLVM. Cristian Cadar
• 2011/04/23 [klee-dev] ExprBuilder.h:66 ref<Expr> True() Cristian Cadar
• 2011/04/23 [klee-dev] [PATCH] Build KLEE with trunk LLVM. Peter Collingbourne
• 2011/04/23 [klee-dev] [PATCH] Build KLEE with trunk LLVM. Cristian Cadar
• 2011/04/21 [klee-dev] ExprBuilder.h:66 ref<Expr> True() Li Xuan Ji
• 2011/04/21 [klee-dev] ExprBuilder.h:66 ref<Expr> True() Ayrat Khalimov
• 2011/04/20 [klee-dev] External Syscalls Logging Stefan Bucur
• 2011/04/20 [klee-dev] External Syscalls Logging Joe Hendrix
• 2011/04/20 [klee-dev] External Syscalls Logging David A. Ramos
• 2011/04/20 [klee-dev] External Syscalls Logging Stefan Bucur
• 2011/04/20 [klee-dev] Error compiling klee #2 Peter Helmstaedt
• 2011/04/20 [klee-dev] Error compiling klee Peter Helmstaedt
• 2011/04/20 [klee-dev] Error compiling klee Peter Helmstaedt
• 2011/04/19 [klee-dev] [PATCH] Build KLEE with trunk LLVM. Cristian Cadar
• 2011/04/18 [klee-dev] [PATCH] Build KLEE with trunk LLVM. arrowdodger
• 2011/04/16 [klee-dev] [PATCH] Build KLEE with trunk LLVM. arrowdodger
• 2011/04/14 [klee-dev] multiple buffer overflows in tools/klee/main.cpp Cristian Cadar
• 2011/04/14 [klee-dev] [PATCH] Build KLEE with trunk LLVM. Cristian Cadar
• 2011/04/14 [klee-dev] [PATCH] Build KLEE with trunk LLVM. Dawson Engler
• 2011/04/14 [klee-dev] [PATCH] Build KLEE with trunk LLVM. arrowdodger
• 2011/04/09 [klee-dev] multiple buffer overflows in tools/klee/main.cpp Frank Busse
• 2011/04/07 [klee-dev] Error compiling Klee against llvm-gcc-4.2-2.8-i686-linux and llvm-2.8 Rubern Chakravarthi
• 2011/04/06 [klee-dev] curiosity question about runtime procedure range_check David Lightstone
• 2011/04/06 [klee-dev] Curiosity question about Test case David Lightstone
• 2011/04/05 [klee-dev] [PATCH] Build KLEE with trunk LLVM. arrowdodger
• 2011/04/01 [klee-dev] Crosschecking infrastructure Timothy McClory
• 2011/03/30 [klee-dev] QA guidance / advice needed arrowdodger
• 2011/03/30 [klee-dev] QA guidance / advice needed David Lightstone
• 2011/03/29 [klee-dev] [PATCH] Build KLEE with trunk LLVM. arrowdodger
• 2011/03/28 [klee-dev] [PATCH] Build KLEE with trunk LLVM. arrowdodger
• 2011/03/27 [klee-dev] klee segmentation fault David Lightstone
• 2011/03/25 [klee-dev] replay with library David A. Ramos
• 2011/03/25 [klee-dev] replay with library Xiao Qu
• 2011/03/24 [klee-dev] How to run klee for linking a library ? arrowdodger
• 2011/03/24 [klee-dev] klee and Cunit SENE, Sali

• Earlier messages
• Later messages