klee-dev

Messages by Date

2022/06/11 [klee-dev] 3rd International KLEE Workshop on Symbolic Execution -- submission site NOW OPEN Cristian Cadar
2022/06/04 [klee-dev] Idea: Klee experiment on Coreutils reimplementation in Rust gwpublic
2022/06/01 Re: [klee-dev] Klee terminating oddly Frank Busse
2022/06/01 Re: [klee-dev] Klee terminating oddly Sangharatna Godboley
2022/06/01 [klee-dev] Klee terminating oddly Shaheen Cullen-Baratloo
2022/05/16 [klee-dev] 3rd International KLEE Workshop on Symbolic Execution -- 15-16 September, London and online Cristian Cadar
2022/05/03 [klee-dev] KLEE for stateful C API Niklaus Leuenberger
2022/05/02 [klee-dev] Need help in understanding a kquery generated by KLEE Sandip Ghosal
2022/04/19 [klee-dev] How to determine the concretized size when dealing with malloc() Wang Austin
2022/03/11 Re: [klee-dev] fork() : creating child processes in KLEE's execution Pansilu Pitigalaarachchi
2022/03/09 Re: [klee-dev] KLEE SMT query overhead William Leeson
2022/03/09 Re: [klee-dev] KLEE SMT query overhead Frank Busse
2022/03/09 Re: [klee-dev] Collect path constraints with seed mode Cristian Cadar
2022/03/09 Re: [klee-dev] Need help in making a structure pointer symbolic Cristian Cadar
2022/03/09 Re: [klee-dev] fork() : creating child processes in KLEE's execution Cristian Cadar
2022/03/09 Re: [klee-dev] How should the function parameter be symbolised if the function parameter is a file type? Cristian Cadar
2022/03/09 [klee-dev] KLEE SMT query overhead William Leeson
2022/03/04 [klee-dev] Need help in making a structure pointer symbolic Sandip Ghosal
2022/02/23 [klee-dev] fork() : creating child processes in KLEE's execution Pansilu Pitigalaarachchi
2022/01/28 Re: [klee-dev] Packaging klee on Nix - gtest broken? Morgan
2022/01/23 Re: [klee-dev] Packaging klee on Nix - gtest broken? Morgan
2022/01/17 [klee-dev] How should the function parameter be symbolised if the function parameter is a file type? rongze xv
2022/01/17 Re: [klee-dev] Packaging klee on Nix - gtest broken? Nowack, Martin
2022/01/17 Re: [klee-dev] Packaging klee on Nix - gtest broken? Morgan
2022/01/11 Re: [klee-dev] Packaging klee on Nix - gtest broken? Nowack, Martin
2022/01/08 Re: [klee-dev] Packaging klee on Nix - gtest broken? Morgan
2022/01/08 Re: [klee-dev] Packaging klee on Nix - gtest broken? Morgan
2022/01/08 Re: [klee-dev] Packaging klee on Nix - gtest broken? Morgan
2022/01/05 Re: [klee-dev] Packaging klee on Nix - gtest broken? Cristian Cadar
2022/01/05 Re: [klee-dev] Packaging klee on Nix - gtest broken? Julian Büning
2022/01/05 Re: [klee-dev] Packaging klee on Nix - gtest broken? Lukas Zaoral
2022/01/05 Re: [klee-dev] Packaging klee on Nix - gtest broken? Julian Büning
2022/01/02 [klee-dev] Packaging klee on Nix - gtest broken? Morgan
2021/12/08 Re: [klee-dev] How can I get the testcase content in real-time? Frank Busse
2021/12/08 Re: [klee-dev] How to use KLEE to get the stack information of each test case？ Frank Busse
2021/12/08 Re: [klee-dev] Current status of KLEE support for networking Frank Busse
2021/12/08 [klee-dev] How can I get the testcase content in real-time? rongze xv
2021/12/02 Re: [klee-dev] Current status of KLEE support for networking Nowack, Martin
2021/11/24 [klee-dev] C++ support and uclibc Dwarf issue Vikram Narayan (vnarayan)
2021/11/06 Re: [klee-dev] Default counterexample value generated by solver Cristian Cadar
2021/11/02 [klee-dev] How to use KLEE to get the stack information of each test case？ rongze xv
2021/10/31 Re: [klee-dev] How to use KLEE to get the execution coverage of each test case？ Vlad Ivanov
2021/10/31 [klee-dev] How to use KLEE to get the execution coverage of each test case？ rongze xv
2021/09/23 Re: [klee-dev] Effect of --optimize Eduardo R B Marques
2021/09/23 Re: [klee-dev] Effect of --optimize Frank Busse
2021/09/23 [klee-dev] Effect of --optimize Eduardo R B Marques
2021/09/23 Re: [klee-dev] Effect of --optimize Frank Busse
2021/09/21 [klee-dev] Collect path constraints with seed mode zy j
2021/09/20 [klee-dev] Default counterexample value generated by solver Weiqi Wang
2021/09/09 Re: [klee-dev] How to distinguish klee's print of different execution paths Cristian Cadar
2021/09/09 Re: [klee-dev] Write to symbolic position Cristian Cadar
2021/09/09 Re: [klee-dev] Improving KLEE coverage Cristian Cadar
2021/09/09 Re: [klee-dev] Inquiry on path record and reply component of KLEE Cristian Cadar
2021/09/09 Re: [klee-dev] About the two methods of test replay. Cristian Cadar
2021/09/02 [klee-dev] How to distinguish klee's print of different execution paths 樊雨鑫
2021/08/26 [klee-dev] Write to symbolic position Weiqi Wang
2021/08/22 Re: [klee-dev] About filename extension of symbolic files Weiqi Wang
2021/08/20 [klee-dev] About filename extension of symbolic files Weiqi Wang
2021/08/20 Re: [klee-dev] Filename length for kleaver Weiqi Wang
2021/08/13 Re: [klee-dev] Filename length for kleaver Cristian Cadar
2021/08/07 [klee-dev] Filename length for kleaver Weiqi Wang
2021/07/31 [klee-dev] Postdoc position for KLEE expert Orso, Alessandro
2021/07/23 [klee-dev] Improving KLEE coverage Vlad Ivanov
2021/07/23 [klee-dev] Improving KLEE coverage Vlad Ivanov
2021/07/09 Re: [klee-dev] .kteest & .kquery files Pansilu Pitigalaarachchi
2021/07/07 Re: [klee-dev] About KLEE Error Frank Busse
2021/07/07 Re: [klee-dev] About KLEE Error kmohit
2021/07/06 Re: [klee-dev] KLEE --allow-seed-extension Frank Busse
2021/07/06 Re: [klee-dev] .kteest & .kquery files Frank Busse
2021/07/05 Re: [klee-dev] Unhandled Vs Exec error Frank Busse
2021/07/05 [klee-dev] Unhandled Vs Exec error kmohit
2021/07/05 [klee-dev] KLEE --allow-seed-extension HONG Jiaqi
2021/07/04 [klee-dev] Postdoctoral position at Imperial College London Cristian Cadar
2021/07/01 Re: [klee-dev] .kteest & .kquery files Pansilu Pitigalaarachchi
2021/06/30 Re: [klee-dev] Phi nodes and LLVM11 Nowack, Martin
2021/06/30 Re: [klee-dev] Phi nodes and LLVM11 Frank Busse
2021/06/30 Re: [klee-dev] Phi nodes and LLVM11 Cristian Cadar
2021/06/27 Re: [klee-dev] .kteest & .kquery files Frank Busse
2021/06/23 [klee-dev] .kteest & .kquery files Pansilu Pitigalaarachchi
2021/06/16 Re: [klee-dev] Question about KLEE Frank Busse
2021/06/16 Re: [klee-dev] Can klee modify ktest file? Frank Busse
2021/06/16 Re: [klee-dev] Klee badvector access error Frank Busse
2021/06/16 Re: [klee-dev] Errors Detected by KLEE-2.1 Frank Busse
2021/06/16 Re: [klee-dev] How to use KLEE to test web server, such as Nginx. Frank Busse
2021/06/16 Re: [klee-dev] About KLEE Error Frank Busse
2021/06/10 [klee-dev] Workshop starting in 15'! Cristian Cadar
2021/06/09 [klee-dev] [REMINDER] Registration now open for the 2nd International KLEE Workshop on Symbolic Execution Cristian Cadar
2021/06/07 [klee-dev] About KLEE Error kmohit
2021/06/07 Re: [klee-dev] question on different outputs when running under klee and with ktest file Nowack, Martin
2021/06/03 Re: [klee-dev] Unexpected behaviour while learning how to use KLEE Manuel Carrasco
2021/06/02 [klee-dev] Klee badvector access error kmohit
2021/06/02 Re: [klee-dev] Unexpected behaviour while learning how to use KLEE Alastair Reid
2021/06/02 Re: [klee-dev] Unexpected behaviour while learning how to use KLEE Nowack, Martin
2021/06/02 Re: [klee-dev] Unexpected behaviour while learning how to use KLEE Manuel Carrasco
2021/06/01 Re: [klee-dev] Errors Detected by KLEE-2.1 kmohit
2021/06/01 [klee-dev] About KLEE error kmohit
2021/05/31 [klee-dev] Unexpected behaviour while learning how to use KLEE Manuel Carrasco
2021/05/31 [klee-dev] How to use KLEE to test web server, such as Nginx. 张天宁
2021/05/31 Re: [klee-dev] Analysis klee error for lifted x86 code Jonathan Neuschäfer
2021/05/30 [klee-dev] Analysis klee error for lifted x86 code kmohit
2021/05/28 Re: [klee-dev] Errors Detected by KLEE-2.1 Frank Busse
2021/05/28 [klee-dev] Errors Detected by KLEE-2.1 kmohit
2021/05/25 [klee-dev] Registration now open for the 2nd International KLEE Workshop on Symbolic Execution Cristian Cadar
2021/05/17 Re: [klee-dev] question on different outputs when running under klee and with ktest file Liu, Mingyi
2021/05/11 Re: [klee-dev] question on different outputs when running under klee and with ktest file Nowack, Martin
2021/05/04 [klee-dev] 2nd KLEE Workshop: Presentation proposals due on 10th May Cristian Cadar
2021/04/29 [klee-dev] Using KLEE on Linux kernel drivers? Alastair Reid
2021/04/29 Re: [klee-dev] Using KLEE on Linux kernel drivers? Frank Busse
2021/04/29 Re: [klee-dev] question on klee-stats options Frank Busse
2021/04/29 Re: [klee-dev] [KLEE] About the DATA TYPE of the memory pointed by the POINTERS Frank Busse
2021/04/29 [klee-dev] [KLEE] About the DATA TYPE of the memory pointed by the POINTERS 董弈伯
2021/04/05 [klee-dev] About the two methods of test replay. Alex Babushkin
2021/04/05 [klee-dev] Fw: question on different outputs when running under klee and with ktest file Liu, Mingyi
2021/04/02 Re: [klee-dev] question on different outputs when running under klee and with ktest file Frank Busse
2021/04/02 [klee-dev] question on klee-stats options Aleksei Pleshakov
2021/04/02 Re: [klee-dev] question on different outputs when running under klee and with ktest file Liu, Mingyi
2021/04/02 Re: [klee-dev] question on different outputs when running under klee and with ktest file Frank Busse
2021/04/01 [klee-dev] question on different outputs when running under klee and with ktest file Liu, Mingyi
2021/03/31 Re: [klee-dev] KLEE as bitcode interpreter Cristian Cadar
2021/03/26 Re: [klee-dev] Using KLEE to obtain Path Constraints from concrete input queries in an Active Learning setting Bharat Garhewal
2021/03/24 Re: [klee-dev] Running KLEE for 32-bit Cristian Cadar
2021/03/23 [klee-dev] Running KLEE for 32-bit kmohit
2021/03/23 Re: [klee-dev] Using KLEE to obtain Path Constraints from concrete input queries in an Active Learning setting Ridwan Shariffdeen
2021/03/23 Re: [klee-dev] Using KLEE to obtain Path Constraints from concrete input queries in an Active Learning setting Bharat Garhewal
2021/03/23 Re: [klee-dev] Using KLEE to obtain Path Constraints from concrete input queries in an Active Learning setting Ridwan Shariffdeen
2021/03/23 Re: [klee-dev] Using KLEE to obtain Path Constraints from concrete input queries in an Active Learning setting Bharat Garhewal
2021/03/23 Re: [klee-dev] Using KLEE to obtain Path Constraints from concrete input queries in an Active Learning setting Ridwan Shariffdeen
2021/03/23 Re: [klee-dev] Using KLEE to obtain Path Constraints from concrete input queries in an Active Learning setting Bharat Garhewal
2021/03/19 [klee-dev] KLEE as bitcode interpreter prashant chaturvedi
2021/03/18 Re: [klee-dev] Using KLEE to analyze (complex) data structures Jens Van den Broeck
2021/03/16 Re: [klee-dev] Using KLEE to analyze (complex) data structures Jens Van den Broeck
2021/03/16 [klee-dev] Symbolizing a struct with a std::string and a std::vector Alberto Garcia
2021/03/15 Re: [klee-dev] Homebrew Package Carlo Cabrera
2021/03/15 Re: [klee-dev] Homebrew Package Cristian Cadar
2021/03/15 Re: [klee-dev] Using KLEE to analyze (complex) data structures Cristian Cadar
2021/03/15 Re: [klee-dev] Homebrew Package Carlo Cabrera
2021/03/15 Re: [klee-dev] Homebrew Package Cristian Cadar
2021/03/15 [klee-dev] KLEE workshop Alastair Reid
2021/03/15 [klee-dev] 2nd edition of the KLEE workshop moving online Cristian Cadar
2021/03/13 Re: [klee-dev] Homebrew Package Carlo Cabrera
2021/03/12 Re: [klee-dev] Homebrew Package Anton Trunov
2021/03/12 Re: [klee-dev] Homebrew Package Cristian Cadar
2021/03/12 [klee-dev] Homebrew Package Carlo Cabrera
2021/03/12 [klee-dev] Using KLEE to obtain Path Constraints from concrete input queries in an Active Learning setting Bharat Garhewal
2021/03/12 [klee-dev] Using KLEE to analyze (complex) data structures Jens Van den Broeck
2021/03/10 Re: [klee-dev] Question on dereferencing a symbol pointer Cristian Cadar
2021/03/09 [klee-dev] Question on dereferencing a symbol pointer Liu, Mingyi
2021/02/17 Re: [klee-dev] Store only test cases with counter-examples Anton Trunov
2021/02/16 Re: [klee-dev] concretized symbolic size Michael
2021/02/16 Re: [klee-dev] Store only test cases with counter-examples Frank Busse
2021/02/16 Re: [klee-dev] Use of -sym-stdin/stdout Cristian Cadar
2021/02/13 Re: [klee-dev] concretized symbolic size Guo,Shengjian
2021/02/13 [klee-dev] concretized symbolic size Michael
2021/02/10 [klee-dev] Store only test cases with counter-examples Anton Trunov
2021/02/09 Re: [klee-dev] Use of -sym-stdin/stdout Eduardo R B Marques
2021/02/09 Re: [klee-dev] Use of -sym-stdin/stdout Cristian Cadar
2021/02/06 [klee-dev] Use of -sym-stdin/stdout Eduardo R B Marques
2021/01/26 Re: [klee-dev] math.h functions interpreted as external Cristian Cadar
2021/01/26 Re: [klee-dev] terminateStateOnExit never called Frank Busse
2021/01/26 [klee-dev] terminateStateOnExit never called Md. Hasanur Rahman
2021/01/07 [klee-dev] math.h functions interpreted as external juanfrancisco.garcia
2021/01/05 [klee-dev] Can klee modify ktest file? JingXiaoni
2021/01/04 Re: [klee-dev] Sample STP problems Nowack, Martin
2021/01/02 Re: [klee-dev] Question on use-after-free detection. Frank Busse
2021/01/02 Re: [klee-dev] Question on use-after-free detection. Cristian Cadar
2021/01/02 [klee-dev] Question on use-after-free detection. Yoonseok Ko
2021/01/02 [klee-dev] Sample STP problems Russell Wallace
2020/12/29 [klee-dev] Postdoc and PhD positions related to KLEE at Imperial College London Cristian Cadar
2020/12/18 Re: [klee-dev] Bool vs i1 in STPBuilder Cristian Cadar
2020/12/16 Re: [klee-dev] How to handle 32bit bc file with 64bit klee JingXiaoni
2020/12/16 [klee-dev] Bool vs i1 in STPBuilder Alastair Reid
2020/12/15 [klee-dev] How to handle 32bit bc file with 64bit klee JingXiaoni
2020/12/15 Re: [klee-dev] How to handle 32bit bc file with 64bit klee Marek Chalupa
2020/12/15 Re: [klee-dev] How to handle 32bit bc file with 64bit klee Cristian Cadar
2020/12/15 Re: [klee-dev] How to handle 32bit bc file with 64bit klee Nowack, Martin
2020/12/13 Re: [klee-dev] Strange compilation failure on 32-bit FreeBSD Gleb Popov
2020/12/13 Re: [klee-dev] Strange compilation failure on 32-bit FreeBSD Cristian Cadar
2020/12/13 Re: [klee-dev] Strange compilation failure on 32-bit FreeBSD Frank Busse
2020/12/13 [klee-dev] Strange compilation failure on 32-bit FreeBSD Gleb Popov
2020/12/07 [klee-dev] KLEE 2.2 released Cristian Cadar
2020/12/07 [klee-dev] Some confusing results. Tuo Li
2020/12/01 Re: [klee-dev] XML test format for TestComp. Frank Busse
2020/12/01 [klee-dev] XML test format for TestComp. Alex Babushkin
2020/11/24 Re: [klee-dev] [KLEE] write to a symbolic address & constraints for write Cristian Cadar
2020/11/24 Re: [klee-dev] How to make assumption on symbolic stdin in klee Cristian Cadar
2020/11/24 Re: [klee-dev] KLEE floating-point support Cristian Cadar
2020/11/23 [klee-dev] KLEE floating-point support Aleksei Pleshakov
2020/11/20 [klee-dev] [KLEE] write to a symbolic address & constraints for write Liu, Mingyi
2020/11/16 [klee-dev] How to make assumption on symbolic stdin in klee Pushi Zhang
2020/11/13 Re: [klee-dev] Retrieve concrete values of variables from an execution path Cristian Cadar
2020/11/03 [klee-dev] Retrieve concrete values of variables from an execution path Seemanta Saha
2020/11/02 [klee-dev] KLEE Open Projects list Cristian Cadar
2020/09/21 [klee-dev] KLEE: external tutorials, blog posts & more Cristian Cadar
2020/09/21 Re: [klee-dev] Crosschecking core solvers and printing the query causing the mismatch Cristian Cadar
2020/09/17 Re: [klee-dev] About klee's detection problems in real software Cristian Cadar
2020/09/16 [klee-dev] Crosschecking core solvers and printing the query causing the mismatch Shuo Ding
2020/09/15 [klee-dev] About klee's detection problems in real software rongze xv
2020/09/10 Re: [klee-dev] Check KLEE exploration trace Frank Busse
2020/09/10 [klee-dev] Check KLEE exploration trace XIE Xuan
2020/09/03 [klee-dev] Rust verification tools Alastair Reid