klee-dev  

Messages by Thread

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

• Earlier messages
• Later messages