klee-dev  

Messages by Date

• 2016/06/23 Re: [klee-dev] Use of --optimize flag Daniel Guo
• 2016/06/23 [klee-dev] Use of --optimize flag RAJDEEP MUKHERJEE
• 2016/06/21 [klee-dev] PhD position to work on KLEE at Imperial College London Cristian Cadar
• 2016/06/19 Re: [klee-dev] Writing tests for KLEE Marko Dimjašević
• 2016/06/16 Re: [klee-dev] Will KLEE Be Able to Do Floating-Point Error Reasoning? Andrew Santosa
• 2016/06/16 [klee-dev] Will KLEE Be Able to Do Floating-Point Error Reasoning? Andrew Santosa
• 2016/06/15 Re: [klee-dev] Writing tests for KLEE Martin Nowack
• 2016/06/14 Re: [klee-dev] Writing tests for KLEE Marko Dimjašević
• 2016/06/14 Re: [klee-dev] Writing tests for KLEE Martin Nowack
• 2016/06/13 [klee-dev] Writing tests for KLEE Marko Dimjašević
• 2016/06/09 Re: [klee-dev] Modify the Building Intructions for STP Cristian Cadar
• 2016/06/09 [klee-dev] Modify the Building Intructions for STP clinton bowen
• 2016/06/08 [klee-dev] klee crash on expr Valiant wang
• 2016/06/03 Re: [klee-dev] What is a query construct Cristian Cadar
• 2016/06/02 [klee-dev] Updating KLEE-uClibc to the most recent version of uClibc Marko Dimjašević
• 2016/06/02 [klee-dev] What is a query construct Jeff Wilson
• 2016/06/02 [klee-dev] klee terminates immediately by stepping over the first statement "atexit(llvm_shutdown); " on eclipse meng qingkun
• 2016/05/27 Re: [klee-dev] KLEE unable to load a symbol Marko Dimjašević
• 2016/05/27 Re: [klee-dev] KLEE unable to load a symbol Andrea Mattavelli
• 2016/05/27 Re: [klee-dev] KLEE unable to load a symbol Marko Dimjašević
• 2016/05/27 Re: [klee-dev] Floating-Point Symbolic Execution Cristian Cadar
• 2016/05/27 [klee-dev] Floating-Point Symbolic Execution Andrew Santosa
• 2016/05/26 [klee-dev] Segmentation fault when testing Flex Marko Dimjašević
• 2016/05/26 [klee-dev] KLEE unable to load a symbol Marko Dimjašević
• 2016/05/24 [klee-dev] How to create a dummy symbol expression Gao 高Min 敏
• 2016/05/21 Re: [klee-dev] why do I get a very low value of BCov / branch coverage Sumit Kumar
• 2016/05/20 Re: [klee-dev] Implementing support for the Firehose file format Marko Dimjašević
• 2016/05/19 Re: [klee-dev] why do I get a very low value of BCov / branch coverage Cristian Cadar
• 2016/05/19 Re: [klee-dev] why do I get a very low value of BCov / branch coverage Sumit Kumar
• 2016/05/19 Re: [klee-dev] Implementing support for the Firehose file format Martin Nowack
• 2016/05/19 Re: [klee-dev] why do I get a very low value of BCov / branch coverage Martin Nowack
• 2016/05/17 [klee-dev] why do I get a very low value of BCov / branch coverage Sumit Kumar
• 2016/05/16 Re: [klee-dev] Option for generating MC/DC test cases David B Lightstone
• 2016/05/16 Re: [klee-dev] Option for generating MC/DC test cases Damir
• 2016/05/12 Re: [klee-dev] Option for generating MC/DC test cases David Lightstone
• 2016/05/12 Re: [klee-dev] Option for generating MC/DC test cases Damir
• 2016/05/12 Re: [klee-dev] Option for generating MC/DC test cases David B Lightstone
• 2016/05/12 Re: [klee-dev] Option for generating MC/DC test cases Damir
• 2016/05/11 Re: [klee-dev] Option for generating MC/DC testcases Damir
• 2016/05/11 Re: [klee-dev] Option for generating MC/DC test cases Damir
• 2016/05/11 Re: [klee-dev] Option for generating MC/DC testcases Dan Liew
• 2016/05/10 [klee-dev] Implementing support for the Firehose file format Marko Dimjašević
• 2016/05/10 Re: [klee-dev] Option for generating MC/DC test cases David B Lightstone
• 2016/05/10 Re: [klee-dev] Option for generating MC/DC testcases Damir
• 2016/05/09 Re: [klee-dev] Option for generating MC/DC testcases David Lightstone
• 2016/05/09 Re: [klee-dev] Option for generating MC/DC testcases Damir
• 2016/05/09 Re: [klee-dev] Option for generating MC/DC testcases David Lightstone
• 2016/05/09 Re: [klee-dev] Option for generating MC/DC testcases Damir
• 2016/05/09 [klee-dev] Option for generating MC/DC testcases Damir
• 2016/05/08 [klee-dev] Doxygen documentation link not working Marko Dimjašević
• 2016/04/29 Re: [klee-dev] how to add label to assert statements Dan Liew
• 2016/04/29 Re: [klee-dev] how to add label to assert statements Sumit Kumar
• 2016/04/29 Re: [klee-dev] how to add label to assert statements Dan Liew
• 2016/04/28 Re: [klee-dev] how to add label to assert statements Sumit Kumar
• 2016/04/28 Re: [klee-dev] how to add label to assert statements Dan Liew
• 2016/04/28 Re: [klee-dev] how to add label to assert statements Sumit Kumar
• 2016/04/28 Re: [klee-dev] how to add label to assert statements Sumit Kumar
• 2016/04/25 Re: [klee-dev] how to add label to assert statements Thuan Pham
• 2016/04/25 [klee-dev] how to add label to assert statements Sumit Kumar
• 2016/04/24 Re: [klee-dev] meaning of description of the getValue method Sumit Kumar
• 2016/04/24 Re: [klee-dev] meaning of description of the getValue method Andrew Santosa
• 2016/04/24 [klee-dev] purpose of conditionals in fork method Sumit Kumar
• 2016/04/24 [klee-dev] meaning of description of the getValue method Sumit Kumar
• 2016/04/21 Re: [klee-dev] Is KLEE input only source code, or does it support arbitrary binaries too? Jim Lacy
• 2016/04/21 Re: [klee-dev] Is KLEE input only source code, or does it support arbitrary binaries too? Chris Hobbs
• 2016/04/21 [klee-dev] Is KLEE input only source code, or does it support arbitrary binaries too? Jim Lacy
• 2016/04/19 Re: [klee-dev] does the newly created state share anything with its sibling 张枨宇
• 2016/04/18 Re: [klee-dev] Some questions about SMT solvers Dan Liew
• 2016/04/18 Re: [klee-dev] Some questions about SMT solvers Fabrizio Biondi
• 2016/04/18 Re: [klee-dev] Some questions about SMT solvers Fabrizio Biondi
• 2016/04/17 Re: [klee-dev] Some questions about SMT solvers Dan Liew
• 2016/04/17 Re: [klee-dev] Some questions about SMT solvers Cristian Cadar
• 2016/04/16 Re: [klee-dev] Some questions about SMT solvers Andrew Santosa
• 2016/04/15 [klee-dev] Some questions about SMT solvers Fabrizio Biondi
• 2016/04/15 Re: [klee-dev] does the newly created state share anything with its sibling 张枨宇
• 2016/04/11 [klee-dev] does the newly created state share anything with its sibling Sumit Kumar
• 2016/04/08 Re: [klee-dev] how KLEE handles variable scoping Dan Liew
• 2016/04/08 [klee-dev] how KLEE handles variable scoping Sumit Kumar
• 2016/04/05 Re: [klee-dev] fork Sudipta Chattopadhyay
• 2016/04/04 Re: [klee-dev] fork Sumit Kumar
• 2016/04/04 [klee-dev] please explain the comments for NotOptimized Kind Sumit Kumar
• 2016/04/04 Re: [klee-dev] how to introduce a new symbolic variable Sumit Kumar
• 2016/04/04 Re: [klee-dev] how to introduce a new symbolic variable Dan Liew
• 2016/04/04 Re: [klee-dev] How to Interpret Klee Path Predicate Dan Liew
• 2016/04/04 Re: [klee-dev] Steps required for adding expr Dan Liew
• 2016/04/04 [klee-dev] Steps required for adding expr Sumit Kumar
• 2016/04/04 [klee-dev] how to introduce a new symbolic variable Sumit Kumar
• 2016/04/03 Re: [klee-dev] KLEE generated only one path whereas program has two Dan Liew
• 2016/04/03 [klee-dev] fork Natasha Arshad
• 2016/04/03 [klee-dev] KLEE generated only one path whereas program has two Sumit Kumar
• 2016/04/01 Re: [klee-dev] KLEE 1.2.0 released Cristian Cadar
• 2016/03/31 Re: [klee-dev] KLEE 1.2.0 released Sumit Kumar
• 2016/03/31 [klee-dev] KLEE 1.2.0 released Cristian Cadar
• 2016/03/28 Re: [klee-dev] what the third argument in SpecialFunctionHandler::handleMakeSymbolic Sumit Kumar
• 2016/03/25 [klee-dev] how can I extract the name and index of the array Sumit Kumar
• 2016/03/24 Re: [klee-dev] how to clone an expression Dan Liew
• 2016/03/24 [klee-dev] how to clone an expression Sumit Kumar
• 2016/03/24 Re: [klee-dev] where is the class for "EqExpr" located Sumit Kumar
• 2016/03/23 Re: [klee-dev] static variable that should be accessible from any method Andrew Santosa
• 2016/03/23 Re: [klee-dev] where is the class for "EqExpr" located Andrew Santosa
• 2016/03/23 [klee-dev] where is the class for "EqExpr" located Sumit Kumar
• 2016/03/23 [klee-dev] static variable that should be accessible from any method Sumit Kumar
• 2016/03/21 Re: [klee-dev] How to Interpret Klee Path Predicate Dan Liew
• 2016/03/21 Re: [klee-dev] How to Interpret Klee Path Predicate Dan Liew
• 2016/03/21 [klee-dev] How to Interpret Klee Path Predicate Azizul Hakim
• 2016/03/21 Re: [klee-dev] how the memory is modelled in KLEE Natasha Arshad
• 2016/03/20 [klee-dev] how the memory is modelled in KLEE Sumit Kumar
• 2016/03/20 [klee-dev] convert a non-symbolic variable to symbolic Sumit Kumar
• 2016/03/20 Re: [klee-dev] Asking for Help about Klee3.4 on docker Jiarui Wang
• 2016/03/20 [klee-dev] How can I get KLEE to generate constraints from within function calls Sumit Kumar
• 2016/03/19 Re: [klee-dev] Asking for Help about Klee3.4 on docker Jiarui Wang
• 2016/03/19 Re: [klee-dev] Asking for Help about Klee3.4 on docker Jiarui Wang
• 2016/03/19 Re: [klee-dev] Asking for Help about Klee3.4 on docker Andrea Mattavelli
• 2016/03/19 Re: [klee-dev] how to know if variable is symbolic Dan Liew
• 2016/03/19 [klee-dev] how to get this constraint in klee Sumit Kumar
• 2016/03/19 Re: [klee-dev] How can I get KLEE to generate constraints from within function calls Dan Liew
• 2016/03/19 Re: [klee-dev] what the third argument in SpecialFunctionHandler::handleMakeSymbolic Dan Liew
• 2016/03/19 Re: [klee-dev] how to know if variable is symbolic Andrew Santosa
• 2016/03/19 [klee-dev] what the third argument in SpecialFunctionHandler::handleMakeSymbolic Sumit Kumar
• 2016/03/19 [klee-dev] "search" text box in this page does not work Sumit Kumar
• 2016/03/19 Re: [klee-dev] "search" text box in this page does not work Andrea Mattavelli
• 2016/03/19 Re: [klee-dev] how to get this constraint in klee Andrew Santosa
• 2016/03/18 [klee-dev] how to know if variable is symbolic Sumit Kumar
• 2016/03/16 Re: [klee-dev] Asking for Help about Klee3.4 on docker Andrea Mattavelli
• 2016/03/16 [klee-dev] Asking for Help about Klee3.4 on docker Jiarui Wang
• 2016/03/01 Re: [klee-dev] question: how to create read expression Dan Liew
• 2016/03/01 Re: [klee-dev] Path Depth Exploration Reporting Cristian Cadar
• 2016/03/01 [klee-dev] question: how to create read expression Sumit Kumar
• 2016/02/23 Re: [klee-dev] A need for a shared library in KLEE Marko Dimjašević
• 2016/02/23 Re: [klee-dev] A need for a shared library in KLEE Marko Dimjašević
• 2016/02/23 Re: [klee-dev] A need for a shared library in KLEE Cristian Cadar
• 2016/02/23 [klee-dev] A need for a shared library in KLEE Marko Dimjašević
• 2016/02/21 Re: [klee-dev] Problems with Klee Docker Image Andrea Mattavelli
• 2016/02/21 [klee-dev] Problems with Klee Docker Image Paris Tamiolakis
• 2016/02/18 [klee-dev] Path Depth Exploration Reporting Hayes Elliott Converse
• 2016/02/10 [klee-dev] KLEE interest/adoption by industry Cristian Cadar
• 2016/02/05 [klee-dev] How do I see exactly what lines were covered in a ktest? Zaman, Tarannum
• 2016/02/04 [klee-dev] The error message about uclibc when using -libc=uclibc option nisiyu91
• 2016/02/02 Re: [klee-dev] Symbolic output in KLEE Cynthia Disenfeld
• 2016/02/02 Re: [klee-dev] bug in klee/stp Cristian Cadar
• 2016/02/02 Re: [klee-dev] Symbolic output in KLEE Cristian Cadar
• 2016/02/02 Re: [klee-dev] KLEE aborts on some small examples Cristian Cadar
• 2016/02/02 [klee-dev] Symbolic output in KLEE Cynthia Disenfeld
• 2016/02/02 Re: [klee-dev] KLEE aborts on some small examples ThanhVu (Vu) Nguyen
• 2016/02/02 Re: [klee-dev] bug in klee/stp Marek Chalupa
• 2016/02/02 Re: [klee-dev] bug in klee/stp Marek Chalupa
• 2016/02/02 Re: [klee-dev] bug in klee/stp Sven
• 2016/02/02 Re: [klee-dev] bug in klee/stp Pablo González de Aledo
• 2016/02/02 [klee-dev] bug in klee/stp Marek Chalupa
• 2016/01/27 Re: [klee-dev] Moderating posts Cristian Cadar
• 2016/01/27 [klee-dev] Moderating posts ThanhVu (Vu) Nguyen
• 2016/01/27 [klee-dev] KLEE aborts on some small examples ThanhVu (Vu) Nguyen
• 2016/01/17 Re: [klee-dev] Klee coreutils interpretation errors Oswaldo Olivo
• 2016/01/12 [klee-dev] about the Covnew searcher Qixue Xiao
• 2016/01/08 Re: [klee-dev] a question about kleaver Dan Liew
• 2016/01/08 [klee-dev] a question about kleaver xiaoqixue_1
• 2016/01/06 Re: [klee-dev] Running Coreutil with Klee Zaman, Tarannum
• 2016/01/06 Re: [klee-dev] Running Coreutil with Klee Christopher Hobbs
• 2016/01/06 [klee-dev] Running Coreutil with Klee Zaman, Tarannum
• 2016/01/06 Re: [klee-dev] zesti now? Cristian Cadar
• 2016/01/06 Re: [klee-dev] Klee path statistics and merging options Cristian Cadar
• 2016/01/05 Re: [klee-dev] Klee path statistics and merging options RAJDEEP MUKHERJEE
• 2016/01/05 Re: [klee-dev] Testing coreutils: Invalid record felicia
• 2016/01/05 Re: [klee-dev] Klee path statistics and merging options Dan Liew
• 2015/12/29 Re: [klee-dev] Klee path statistics and merging options Carril Rodriguez, Luis Manuel (IPD)
• 2015/12/28 Re: [klee-dev] Testing coreutils: Invalid record Dan Liew
• 2015/12/27 [klee-dev] Testing coreutils: Invalid record felicia
• 2015/12/19 Re: [klee-dev] Klee path statistics and merging options RAJDEEP MUKHERJEE
• 2015/12/18 Re: [klee-dev] Klee path statistics and merging options Dan Liew
• 2015/12/18 [klee-dev] zesti now? John Regehr
• 2015/12/17 Re: [klee-dev] Warning: Switching to C++11 soon Cristian Cadar
• 2015/12/17 [klee-dev] Warning: Switching to C++11 soon Dan Liew
• 2015/12/17 [klee-dev] Klee path statistics and merging options RAJDEEP MUKHERJEE
• 2015/12/14 [klee-dev] Klee coreutils interpretation errors luoluyao
• 2015/11/19 Re: [klee-dev] Launchpad PPA for KLEE Attila Török
• 2015/11/19 Re: [klee-dev] Launchpad PPA for KLEE Cristian Cadar
• 2015/11/19 [klee-dev] Klee coreutils interpretation errors Hayes Converse
• 2015/11/18 [klee-dev] Error about inline assembly in uclibc Shengtuo Hu
• 2015/11/18 Re: [klee-dev] Launchpad PPA for KLEE Attila Török
• 2015/11/18 Re: [klee-dev] Launchpad PPA for KLEE Cristian Cadar
• 2015/11/18 [klee-dev] Launchpad PPA for KLEE Attila Török
• 2015/11/13 Re: [klee-dev] make: error: Unable to link with functions of libllvm Marek Chalupa
• 2015/11/13 [klee-dev] Reading arrays generated by klee. Udayan Tandon
• 2015/11/13 [klee-dev] KLEE 1.1.0 released Cristian Cadar
• 2015/11/06 [klee-dev] Compiling error Alberto Barbaro
• 2015/11/06 Re: [klee-dev] Compiling error Alberto Barbaro
• 2015/11/04 Re: [klee-dev] Adding assignments to state constraints Kuchta, Tomasz
• 2015/11/04 Re: [klee-dev] make: error: Unable to link with functions of libllvm Martin Nowack
• 2015/11/04 Re: [klee-dev] make: error: Unable to link with functions of libllvm Dan Liew
• 2015/11/04 [klee-dev] make: error: Unable to link with functions of libllvm Ren Kimura
• 2015/11/04 Re: [klee-dev] Adding assignments to state constraints felicia
• 2015/11/04 Re: [klee-dev] Adding assignments to state constraints Dan Liew
• 2015/11/04 Re: [klee-dev] Adding assignments to state constraints felicia
• 2015/11/04 Re: [klee-dev] Adding assignments to state constraints Kuchta, Tomasz
• 2015/11/04 [klee-dev] Adding assignments to state constraints felicia
• 2015/11/03 Re: [klee-dev] Visualize Symbolic Tree Cristian Cadar
• 2015/11/03 [klee-dev] Resuming Klee Wajih Ul Hassan
• 2015/11/03 [klee-dev] Visualize Symbolic Tree Wajih ul hassan
• 2015/10/29 [klee-dev] Some help with klee Udayan Tandon
• 2015/10/24 Re: [klee-dev] KLEE "hang" while executing a system call Thuan Pham

• Earlier messages
• Later messages