klee-dev  

Messages by Thread

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

• Earlier messages
• Later messages