klee-dev  

Messages by Thread

• [klee-dev] [curiousity] list of dangerous operations Ayrat Khalimov
• [klee-dev] Execute bitcode functions Vu Le
  • [klee-dev] Execute bitcode functions Vu Le
• [klee-dev] hello, i want to build a httpd.bc (apache httpd) chpie
• [klee-dev] Repeating KLEE's coreutils experiment Kin Ma
• [klee-dev] WeightedRandomSearcher and DiscretePDF Ayrat Khalimov
  • [klee-dev] WeightedRandomSearcher and DiscretePDF David A. Ramos
  • [klee-dev] WeightedRandomSearcher and DiscretePDF David A. Ramos
  • [klee-dev] WeightedRandomSearcher and DiscretePDF Ayrat Khalimov
  • [klee-dev] WeightedRandomSearcher and DiscretePDF David A. Ramos
  • [klee-dev] WeightedRandomSearcher and DiscretePDF Ayrat Khalimov
  • [klee-dev] WeightedRandomSearcher and DiscretePDF Ayrat Khalimov
  • [klee-dev] WeightedRandomSearcher and DiscretePDF David A. Ramos
• [klee-dev] Could Klee support multi-tasks applications? 李仁见
  • [klee-dev] Could Klee support multi-tasks applications? Raimondas Sasnauskas
• [klee-dev] SMT/Klee: caching when call some_func() twice Ayrat Khalimov
  • [klee-dev] SMT/Klee: caching when call some_func() twice Cristian Cadar
• [klee-dev] failed to compile klee against llvm-2.8 yuyang liu
  • [klee-dev] failed to compile klee against llvm-2.8 Milen Dzhumerov
• [klee-dev] failed to compile klee yuyang liu
  • [klee-dev] failed to compile klee Milen Dzhumerov
• [klee-dev] How to build busybox 1.18.1 with KLEE? Yunho Kim
  • Re: [klee-dev] How to build busybox 1.18.1 with KLEE? Wang Shuai
• [klee-dev] klee can not test structured input to test parser. Shuying Liang
  • [klee-dev] klee can not test structured input to test parser. Elnatan Reisner
• [klee-dev] how to debug klee chenting19870201
• [klee-dev] Compilation Problem (HEAD r122598 + LLVM 2.8) Milen Dzhumerov
  • [klee-dev] Compilation Problem (HEAD r122598 + LLVM 2.8) Marinescu, Paul
• [klee-dev] Error while compiling klee Ronaldo
• [klee-dev] help! I run into problems when using KLEE chenting19870201
  • [klee-dev] help! I run into problems when using KLEE Vladimir G. Ivanovic
• No subject
• [klee-dev] How to implement the valloc() semantics on KLEE? Heming Cui
• [klee-dev] KLEE-related projects/papers Cristian Cadar
• [klee-dev] Status of floating point support Denver Gingerich
  • [klee-dev] Status of floating point support Peter Collingbourne
  • [klee-dev] Status of floating point support Denver Gingerich
  • [klee-dev] Status of floating point support Peter Collingbourne
  • [klee-dev] Status of floating point support Mauro Baluda
  • [klee-dev] Status of floating point support Peter Collingbourne
• [klee-dev] A question about the memory usage of local variable of functions in klee (for llvm-2.6) Raimondas Sasnauskas
• [klee-dev] WriteCov.c and StaticDestructor.cpp test cases fail on Mac OS X 10.5.0 Raimondas Sasnauskas
• [klee-dev] question about KLEE and parallelism Stephen Siegel
  • [klee-dev] question about KLEE and parallelism Raimondas Sasnauskas
• [klee-dev] Fail on "make check" Alastair Donaldson
  • [klee-dev] Fail on "make check" Raimondas Sasnauskas
  • [klee-dev] Fail on "make check" Peter Collingbourne
  • [klee-dev] Fail on "make check" Alastair Donaldson
• [klee-dev] Build using LLVM-2.8 observations David Lightstone
• [klee-dev] ExprBuilder::True Li Xuan Ji
• [klee-dev] Replaying KLEE generated test cases Giuseppe Di Guglielmo
  • [klee-dev] Replaying KLEE generated test cases Giuseppe Di Guglielmo
• [klee-dev] gprof and klee Suhabe Bugrara
• [PATCH] When allocating an overlapping memory object, klee_error instead of asserting. This unbreaks the test suite on LLVM 2.9+ Peter Collingbourne
• [klee-dev] Branch coverage, statement covergate Giuseppe Di Guglielmo
• [klee-dev] Replaying KLEE generated test cases Giuseppe Di Guglielmo
• [klee-dev] Klee crash Stefano Soffia
• [klee-dev] Building klee against llvm-2.8 Li Xuan Ji
• [klee-dev] Older versions of KLEE (OSDI 2008) Giuseppe Di Guglielmo
• [klee-dev] KLEE BoF at LLVM developer conference Daniel Dunbar
• [klee-dev] Maximizing Branch Coverage (not path coverage) Giuseppe Di Guglielmo
  • [klee-dev] Maximizing Branch Coverage (not path coverage) David Lightstone
  • [klee-dev] Maximizing Branch Coverage (not path coverage) Giuseppe Di Guglielmo
  • [klee-dev] Maximizing Branch Coverage (not path coverage) Daniel Dunbar
  • [klee-dev] Maximizing Branch Coverage (not path coverage) Giuseppe Di Guglielmo
  • [klee-dev] Maximizing Branch Coverage (not path coverage) David Lightstone
  • [klee-dev] Maximizing Branch Coverage (not path coverage) Tao Xie
• [klee-dev] Path completed much fewer than the tutorials Wei Hu
• [klee-dev] Klee make check fails Vijay Ganesh
  • [klee-dev] Klee make check fails Cristian Cadar
  • [klee-dev] Klee Make check fails Bogdan Copos
  • Re: [klee-dev] Klee Make check fails Cristian Cadar
  • Re: [klee-dev] Klee Make check fails Cristian Cadar
• [klee-dev] I got a false positive in Klee Wang, Wenhua
  • [klee-dev] I got a false positive in Klee David A. Ramos
• [klee-dev] strange klee performance issue Chris Hayden
• [klee-dev] one question about applying Klee to multi-file applications. Wang, Wenhua
  • [klee-dev] one question about applying Klee to multi-file applications. Raimondas Sasnauskas
  • [klee-dev] one question about applying Klee to multi-file applications. Cristian Zamfir
  • [klee-dev] one question about applying Klee to multi-file applications. George Argyros
  • [klee-dev] one question about applying Klee to multi-file applications. Wang, Wenhua
• [klee-dev] Symbolic inputs that are numbers and Klee Sreekumar Kodakara
  • [klee-dev] Symbolic inputs that are numbers and Klee Cristian Cadar
• [klee-dev] "make check" fails varying number of tests Denver Gingerich
  • [klee-dev] "make check" fails varying number of tests Denver Gingerich
• [klee-dev] Questions regarding POSIX model. arrowdodger
• [klee-dev] The patch for PR6171: "KLEE 64-bit Crashes on Some Coreutils" nobled
• [klee-dev] Klee Optimizations Generate Incorrect Code Stefan Bucur
  • [klee-dev] Klee Optimizations Generate Incorrect Code Cristian Cadar
  • [klee-dev] Klee Optimizations Generate Incorrect Code Daniel Dunbar
• [klee-dev] klee replay and coverage information Xiao Qu
  • [klee-dev] klee replay and coverage information Wujie Zheng
  • [klee-dev] klee replay and coverage information Xiao Qu
  • [klee-dev] klee replay and coverage information Cristian Cadar
  • [klee-dev] klee replay and coverage information Xiao Qu
  • [klee-dev] klee replay and coverage information Cristian Cadar
• [klee-dev] Expr Li Xuan Ji
  • [klee-dev] Expr Cristian Cadar
• [klee-dev] The problems met when compiling Klee LI LEI
  • [klee-dev] The problems met when compiling Klee Daniel Dunbar
  • [klee-dev] The problems met when compiling Klee nobled
  • [klee-dev] The problems met when compiling Klee Daniel Dunbar
  • [klee-dev] replay with library Xiao Qu
  • [klee-dev] replay with library Daniel Dunbar
  • [klee-dev] replay with library Xiao Qu
  • [klee-dev] replay with library David A. Ramos
  • [klee-dev] The problems met when compiling Klee Daniel Dunbar
• [klee-dev] A Puzzle about installing KLEE on FreeBSD 8.1 neonlight_1979
  • [klee-dev] A Puzzle about installing KLEE on FreeBSD 8.1 arrowdodger
• [klee-dev] Non-determinism in Klee Bueno, Denis
  • [klee-dev] Non-determinism in Klee Cristian Cadar
  • [klee-dev] Non-determinism in Klee Bueno, Denis
  • [klee-dev] Non-determinism in Klee Cristian Cadar
  • [klee-dev] Non-determinism in Klee Daniel Dunbar
  • [klee-dev] Non-determinism in Klee Bueno, Denis
  • [klee-dev] Non-determinism in KLEE Hongxu Chen
  • Re: [klee-dev] Non-determinism in KLEE Hongxu Chen
  • Re: [klee-dev] Non-determinism in KLEE Hongxu Chen
  • Re: [klee-dev] Non-determinism in KLEE Paul Marinescu
  • Re: [klee-dev] Non-determinism in KLEE Hongxu Chen
  • Re: [klee-dev] Non-determinism in KLEE Cristian Cadar
  • Re: [klee-dev] Non-determinism in KLEE Hongxu Chen
• [klee-dev] klee buildbot Li Xuan Ji
  • [klee-dev] KLEE buildbot Cristian Cadar
• [klee-dev] Seeing values in initializeGlobals() Hemanth Murthy
  • [klee-dev] Seeing values in initializeGlobals() Stefan Bucur
• [klee-dev] Problem with using klee Kuan Xiang Wen
  • [klee-dev] Problem with using klee Peter Collingbourne
• [klee-dev] Reproducing bugs in KLEE Brent Lim
  • [klee-dev] Reproducing bugs in KLEE Daniel Dunbar
  • [klee-dev] Reproducing bugs in KLEE Cristian Cadar
  • [klee-dev] Reproducing bugs in KLEE Daniel Dunbar
• [klee-dev] Problem with function invocation via function pointers Hemanth Murthy
  • [klee-dev] Problem with function invocation via function pointers Daniel Dunbar
• [klee-dev] Unable to compile klee Kuan Xiang Wen
  • [klee-dev] Unable to compile klee Daniel Dunbar
  • [klee-dev] Unable to compile klee Michael Stone
• [klee-dev] stpQueryLogPath and stpQueryPCLogPath Seungbeom Kim
• [klee-dev] Segmentation fault heechul Yun
  • [klee-dev] Segmentation fault Daniel Dunbar
  • [klee-dev] Segmentation fault Cristian Zamfir
  • [klee-dev] Segmentation fault Cristian Cadar
  • [klee-dev] Segmentation fault Cristian Zamfir
  • [klee-dev] Segmentation fault heechul Yun
  • [klee-dev] Segmentation fault Cristian Zamfir
  • [klee-dev] Segmentation fault Cristian Cadar
  • [klee-dev] Segmentation fault Cristian Zamfir
  • [klee-dev] Segmentation fault Cristian Cadar
  • [klee-dev] Segmentation fault heechul Yun
  • [klee-dev] Segmentation fault Cristian Zamfir
  • [klee-dev] Segmentation fault heechul Yun
  • [klee-dev] Segmentation fault heechul Yun
  • [klee-dev] Segmentation fault Cristian Zamfir
  • [klee-dev] Segmentation fault 王悦
  • [klee-dev] segmentation fault Reza Ahmadi
  • Re: [klee-dev] segmentation fault Dan Liew
• [klee-dev] CFG of program Li Xuan Ji
  • [klee-dev] CFG of program Cristian Zamfir
• [klee-dev] symbolic files and replay Alvin Cheung
  • [klee-dev] symbolic files and replay Cristian Zamfir
• [klee-dev] Using newer versions of STP Peter Collingbourne
  • [klee-dev] Using newer versions of STP Cristian Cadar
  • [klee-dev] Using newer versions of STP Daniel Dunbar
  • [klee-dev] Using newer versions of STP Peter Collingbourne
• [klee-dev] KLEE 2.7 Cristian Zamfir
  • [klee-dev] KLEE 2.7 Cristian Zamfir
• [klee-dev] Floating point Support Robby Cochran
  • [klee-dev] Floating point Support Peter Collingbourne
• [klee-dev] question about uclibc Daniel Dunbar
• [klee-dev] help:klee install error Daniel Dunbar
• [klee-dev] Question about -sym-args on -init-env Chris Hobbs
  • [klee-dev] Question about -sym-args on -init-env Daniel Dunbar
  • [klee-dev] Question about -sym-args on -init-env Cristian Cadar
• [klee-dev] Compile problems Daniel Dunbar
• [klee-dev] uclibc on Darwin 64 Daniel Dunbar
• [klee-dev] network socket error George Argyros
  • [klee-dev] network socket error Cristian Zamfir
• [klee-dev] How to disable labels in KLEE expressions? [email protected]
  • [klee-dev] How to disable labels in KLEE expressions? Heming Cui
  • [klee-dev] How to disable labels in KLEE expressions? Heming Cui
  • [klee-dev] How to disable labels in KLEE expressions? Daniel Dunbar
• [klee-dev] WARNING: Linking two modules of different data layouts! Chris Hobbs
• [klee-dev] Question on KLEE's -load option Stefan Bucur
  • [klee-dev] Question on KLEE's -load option Daniel Dunbar
• [klee-dev] Linking a .bc file using -load option Hemanth Murthy
  • [klee-dev] Linking a .bc file using -load option [email protected]
• [klee-dev] "make check" Failures with uClibc Chris Hobbs
  • [klee-dev] "make check" Failures with uClibc Daniel Dunbar
• [klee-dev] Fail to compile klee - Ubuntu 10.04 Salim Sarımurat
  • [klee-dev] Fail to compile klee - Ubuntu 10.04 Salim Sarımurat
  • [klee-dev] Fail to compile klee - Ubuntu 10.04 Cristian Cadar
  • [klee-dev] Fail to compile klee - Ubuntu 10.04 Salim Sarımurat
• [klee-dev] apply klee to kernel codes Liu Jian
  • [klee-dev] apply klee to kernel codes Daniel Dunbar
• [klee-dev] klee_assume and functions Li Xuan Ji
  • [klee-dev] klee_assume and functions Daniel Dunbar
• [klee-dev] klee fails on pread Wujie Zheng
  • [klee-dev] klee fails on pread Daniel Dunbar
• [klee-dev] Segmentation fault with <iostream> Seungbeom Kim
  • [klee-dev] Segmentation fault with <iostream> Daniel Dunbar

• Later messages