klee-dev  

Messages by Thread

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

• Earlier messages
• Later messages