klee-dev  

Messages by Date

• 2024/10/01 Re: [klee-dev] `MustBeTrue` and `evaluate` methods in solver. Yuzhou Fang
• 2024/09/26 [klee-dev] Getting symbolic expressions with their context Hooman Asadian
• 2024/09/19 Re: [klee-dev] Question Regarding Path-based Inductive Synthesis for Program Inversion Nguyễn Gia Phong
• 2024/09/17 [klee-dev] Question Regarding Path-based Inductive Synthesis for Program Inversion 陈小玉
• 2024/09/02 Re: [klee-dev] model checking options Cristian Cadar
• 2024/08/26 Re: [klee-dev] `MustBeTrue` and `evaluate` methods in solver. Nguyễn Gia Phong
• 2024/08/25 Re: [klee-dev] `MustBeTrue` and `evaluate` methods in solver. Yuzhou Fang
• 2024/08/25 Re: [klee-dev] `MustBeTrue` and `evaluate` methods in solver. Nguyễn Gia Phong
• 2024/08/23 [klee-dev] `MustBeTrue` and `evaluate` methods in solver. Yuzhou Fang
• 2024/08/23 [klee-dev] model checking options Jeroen Meijer
• 2024/08/07 [klee-dev] How to handle projects containing library files im
• 2024/08/06 Re: [klee-dev] deterministic memory in KLEE Daniel Schemmel
• 2024/08/02 [klee-dev] deterministic memory in KLEE Oleg Sokolsky
• 2024/07/20 Re: [klee-dev] Identifying Variables Influencing Control Flows in KLEE Yuzhou Fang
• 2024/07/20 [klee-dev] Identifying Variables Influencing Control Flows in KLEE Sun
• 2024/07/08 Re: [klee-dev] How to Reduce the Number of .ktest Files Generated by KLEE Cristian Cadar
• 2024/07/08 Re: [klee-dev] How to Reduce the Number of .ktest Files Generated by KLEE Yuzhou Fang
• 2024/07/07 [klee-dev] How to Reduce the Number of .ktest Files Generated by KLEE Sun
• 2024/07/07 Re: [klee-dev] Error while building KLEE from source Cristian Cadar
• 2024/07/07 [klee-dev] reply:symbolic variable appears in the offset of a pointer or an array im
• 2024/07/05 Re: [klee-dev] 回复： symbolic variable appears in the offset of a pointer or an array Daniel Schemmel
• 2024/07/03 Re: [klee-dev] [Question about process of seed in KLEE] For mechanism of detailed process when putting seed in KLEE 소프트웨어학과/이재혁
• 2024/07/03 Re: [klee-dev] [Question about process of seed in KLEE] For mechanism of detailed process when putting seed in KLEE Cristian Cadar
• 2024/07/03 [klee-dev] ?????? symbolic variable appears in the offset of a pointer or an array im
• 2024/07/03 Re: [klee-dev] symbolic variable appears in the offset of a pointer or an array Daniel Schemmel
• 2024/07/02 [klee-dev] symbolic variable appears in the offset of a pointer or an array im
• 2024/07/02 Re: [klee-dev] [Question about process of seed in KLEE] For mechanism of detailed process when putting seed in KLEE 소프트웨어학과/이재혁
• 2024/06/13 [klee-dev] Error while building KLEE from source Adharsh Kamath
• 2024/06/11 Re: [klee-dev] Reducing the Number of .ktest Files Generated for Longest Execution Paths Frank Busse
• 2024/06/11 [klee-dev] Reducing the Number of .ktest Files Generated for Longest Execution Paths Sun
• 2024/06/10 Re: [klee-dev] How Klee processes loop Cristian Cadar
• 2024/06/09 Re: [klee-dev] A question about klee's support for simd Cristian Cadar
• 2024/06/08 [klee-dev] How Klee processes loop Adarsh Sudheer
• 2024/06/05 [klee-dev] A question about klee's support for simd komorebi
• 2024/06/03 Re: [klee-dev] Some questions regarding the use of KLEE to check for memory leak defects Marek Chalupa
• 2024/06/03 Re: [klee-dev] Some questions regarding the use of KLEE to check for memory leak defects Cristian Cadar
• 2024/06/03 Re: [klee-dev] A question of klee about specialfunction Cristian Cadar
• 2024/06/02 [klee-dev] Some questions regarding the use of KLEE to check for memory leak defects ??????
• 2024/05/30 Re: [klee-dev] A question of klee about specialfunction Cristian Cadar
• 2024/05/30 Re: [klee-dev] [Question about process of seed in KLEE] For mechanism of detailed process when putting seed in KLEE Cristian Cadar
• 2024/05/30 [klee-dev] A question of klee about specialfunction komorebi
• 2024/05/09 Re: [klee-dev] Question on Tracking Number of Instructions Per Path in Klee Daniel Schemmel
• 2024/05/08 [klee-dev] Question on Tracking Number of Instructions Per Path in Klee Sun
• 2024/04/26 [klee-dev] [Question about process of seed in KLEE] For mechanism of detailed process when putting seed in KLEE 소프트웨어학과/이재혁
• 2024/04/14 Re: [klee-dev] C++ Support Status Daniel Schemmel
• 2024/04/13 [klee-dev] C++ Support Status Volodymyr Melnychenko
• 2024/04/05 Re: [klee-dev] How to solve path explosion caused by loop? Oleg Sokolsky
• 2024/04/05 [klee-dev] How to solve path explosion caused by loop? Wang, Weixuan
• 2024/04/05 [klee-dev] A question on using gcov for coverage testing 刘梓涵
• 2024/04/04 Re: [klee-dev] Why can't we use ExecutionState object in vector or map templates in cpp Frank Busse
• 2024/04/03 Re: [klee-dev] Why can't we use ExecutionState object in vector or map templates in cpp Adarsh Sudheer
• 2024/04/03 [klee-dev] Why can't we use ExecutionState object in vector or map templates in cpp Adarsh Sudheer
• 2024/03/26 Re: [klee-dev] Connection between CFG and execution state Frank Busse
• 2024/03/26 Re: [klee-dev] [Question] What is the correct/efficient way to implement a separate execution without affecting the normal execution in KLEE? Frank Busse
• 2024/03/26 [klee-dev] [Question] What is the correct/efficient way to implement a separate execution without affecting the normal execution in KLEE? TU Haoxin
• 2024/02/29 [klee-dev] KLEE 3.1 released Cristian Cadar
• 2024/02/21 [klee-dev] Connection between CFG and execution state Adarsh Sudheer
• 2024/02/05 Re: [klee-dev] Logging the Symbolic Values of Variables Nowack, Martin
• 2024/02/02 [klee-dev] Logging the Symbolic Values of Variables Luke Dramko
• 2024/02/01 [klee-dev] KLEE 2024 -- Keynote speakers announced & early registration deadline coming up Cristian Cadar
• 2024/01/31 Re: [klee-dev] Different behavior of KLEE when testing `dircolors` with "--optimize=true/false" option TU Haoxin
• 2024/01/31 Re: [klee-dev] Different behavior of KLEE when testing `dircolors` with "--optimize=true/false" option Daniel Schemmel
• 2024/01/30 Re: [klee-dev] Different behavior of KLEE when testing `dircolors` with "--optimize=true/false" option TU Haoxin
• 2024/01/30 Re: [klee-dev] Different behavior of KLEE when testing `dircolors` with "--optimize=true/false" option Nguyễn Gia Phong
• 2024/01/30 [klee-dev] Different behavior of KLEE when testing `dircolors` with "--optimize=true/false" option TU Haoxin
• 2024/01/25 Re: [klee-dev] Mapping Path Constraint to the Actual Path in Source Code Cristian Cadar
• 2024/01/25 [klee-dev] Mapping Path Constraint to the Actual Path in Source Code Bohan
• 2024/01/24 Re: [klee-dev] Different behavior when invoking the "error" function with the argument buffer from heap or stack Cristian Cadar
• 2024/01/24 [klee-dev] Different behavior when invoking the "error" function with the argument buffer from heap or stack TU Haoxin
• 2023/12/18 [klee-dev] KLEE'24 workshop late submission deadline this Friday Cristian Cadar
• 2023/12/12 Re: [klee-dev] Question about KLEE Implementation on Collecting Symbolic Variables Nowack, Martin
• 2023/12/12 Re: [klee-dev] Question about KLEE Implementation on Collecting Symbolic Variables Oleg Sokolsky
• 2023/12/12 Re: [klee-dev] Using Klee with Dynamic Libraries Nowack, Martin
• 2023/12/12 Re: [klee-dev] Question about KLEE Implementation on Collecting Symbolic Variables Nowack, Martin
• 2023/12/12 [klee-dev] Using Klee with Dynamic Libraries yukai zhao
• 2023/12/11 [klee-dev] Question about KLEE Implementation on Collecting Symbolic Variables Haozhi Fan
• 2023/11/03 [klee-dev] KLEE 2024: First (visa-safe) submission deadline is TODAY Cristian Cadar
• 2023/10/27 [klee-dev] KLEE 2024: One week until first (visa-safe) deadline Cristian Cadar
• 2023/10/02 Re: [klee-dev] can't get the get_sign.c to work under Tumbleweed Suse with clang-17 Dennis Luehring
• 2023/10/02 Re: [klee-dev] can't get the get_sign.c to work under Tumbleweed Suse with clang-17 Nowack, Martin
• 2023/10/02 [klee-dev] can't get the get_sign.c to work under Tumbleweed Suse with clang-17 Dennis Luehring
• 2023/09/13 [klee-dev] Announcing KLEE 2024: 4th International KLEE Workshop on Symbolic Execution, April 2024 in Lisbon Cristian Cadar
• 2023/08/15 [klee-dev] ExprVisitor::visitExpr[Post] and ExprReplaceVisitor[2] Nguyễn Gia Phong
• 2023/08/09 Re: [klee-dev] All possible paths from source to destination function. Nguyễn Gia Phong
• 2023/07/25 [klee-dev] All possible paths from source to destination function. Sailesh Sai Teja
• 2023/07/14 Re: [klee-dev] Why is ConstraintSet not a set? Nguyễn Gia Phong
• 2023/07/12 Re: [klee-dev] Why is ConstraintSet not a set? Cristian Cadar
• 2023/07/11 [klee-dev] Tracking changes of specific variables Hossein Monjezi
• 2023/07/11 Re: [klee-dev] About Using KLEE to Check CoreBench Nguyễn Gia Phong
• 2023/07/09 [klee-dev] About Using KLEE to Check CoreBench ??????
• 2023/07/07 [klee-dev] Why is ConstraintSet not a set? Nguyễn Gia Phong
• 2023/06/21 Re: [klee-dev] About TestComp-specific KLEE command-line options. Nowack, Martin
• 2023/06/16 [klee-dev] About TestComp-specific KLEE command-line options. Alex Babushkin
• 2023/06/09 Re: [klee-dev] adding setjmp/longjmp support? Nowack, Martin
• 2023/06/07 [klee-dev] KLEE 3.0 is released! Cristian Cadar
• 2023/06/03 [klee-dev] adding setjmp/longjmp support? Dan Hoffman
• 2023/05/24 Re: [klee-dev] Use of -sym-stdin/stdout Nguyễn Gia Phong
• 2023/05/23 Re: [klee-dev] Use of -sym-stdin/stdout Frank Busse
• 2023/05/23 Re: [klee-dev] Use of -sym-stdin/stdout Nguyễn Gia Phong
• 2023/05/22 Re: [klee-dev] get the absolute path of file in InstructionInfo Frank Busse
• 2023/05/20 [klee-dev] get the absolute path of file in InstructionInfo 王加益
• 2023/04/27 Re: [klee-dev] Symbolic calls to mqueue.h functions ? Nowack, Martin
• 2023/04/25 Re: [klee-dev] Symbolic calls to mqueue.h functions ? LONGUET Delphine
• 2023/04/25 Re: [klee-dev] Symbolic calls to mqueue.h functions ? Nowack, Martin
• 2023/04/24 [klee-dev] Symbolic calls to mqueue.h functions ? LONGUET Delphine
• 2023/04/03 Re: [klee-dev] Getting symbolic expressions from the symbolic store with `klee_print_expr` Cristian Cadar
• 2023/04/03 Re: [klee-dev] General question Cristian Cadar
• 2023/04/03 Re: [klee-dev] General question Ferhat Erata
• 2023/04/03 [klee-dev] Getting symbolic expressions from the symbolic store with `klee_print_expr` Ferhat Erata
• 2023/02/28 Re: [klee-dev] About external shared libraries Cristian Cadar
• 2023/02/24 [klee-dev] About external shared libraries Ziqi Shuai
• 2023/01/09 [klee-dev] General question Teja Sai Srikar Bodavula
• 2023/01/04 Re: [klee-dev] Debugging options Cristian Cadar
• 2023/01/02 [klee-dev] Debugging options Muralee, Siddharth
• 2022/11/05 Re: [klee-dev] On how the standard library is linked. Cristian Cadar
• 2022/11/03 [klee-dev] On how the standard library is linked. Alex Babushkin
• 2022/10/24 Re: [klee-dev] Is it possible to implement compositional symbolic execution in KLEE hb wang
• 2022/10/24 Re: [klee-dev] Is it possible to implement compositional symbolic execution in KLEE Nazir, Tareq Mohammed
• 2022/10/23 Re: [klee-dev] Is it possible to implement compositional symbolic execution in KLEE hb wang
• 2022/10/23 Re: [klee-dev] Is it possible to implement compositional symbolic execution in KLEE Nazir, Tareq Mohammed
• 2022/10/23 [klee-dev] Is it possible to implement compositional symbolic execution in KLEE hb wang
• 2022/10/06 Re: [klee-dev] Video games and embedded systems??? David Blubaugh
• 2022/10/06 Re: [klee-dev] Regarding getting variable names from KLEE Nowack, Martin
• 2022/10/06 Re: [klee-dev] Video games and embedded systems??? Nowack, Martin
• 2022/10/06 [klee-dev] Video games and embedded systems??? David Blubaugh
• 2022/10/05 Re: [klee-dev] Regarding getting variable names from KLEE Nazir, Tareq Mohammed
• 2022/10/05 Re: [klee-dev] Regarding getting variable names from KLEE J. Ryan Stinnett
• 2022/10/05 Re: [klee-dev] Regarding getting variable names from KLEE Nazir, Tareq Mohammed
• 2022/10/05 Re: [klee-dev] Regarding getting variable names from KLEE J. Ryan Stinnett
• 2022/10/05 Re: [klee-dev] Regarding getting variable names from KLEE Frank Busse
• 2022/10/05 [klee-dev] Regarding getting variable names from KLEE Nazir, Tareq Mohammed
• 2022/09/13 Re: [klee-dev] Use KLEE with JAVA and C# Cristian Cadar
• 2022/09/13 Re: [klee-dev] Running KLEE on Linux Cristian Cadar
• 2022/08/26 [klee-dev] Use KLEE with JAVA and C# Piyush Jha
• 2022/08/16 [klee-dev] KLEE 2022 Workshop: Free online registration now available & in-person registration still open Cristian Cadar
• 2022/08/11 [klee-dev] Understanding of KQuery Yao, Mingxuan
• 2022/08/09 Re: [klee-dev] 3rd International KLEE Workshop on Symbolic Execution: Registration Open Nowack, Martin
• 2022/08/09 Re: [klee-dev] KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record Frank Busse
• 2022/08/08 Re: [klee-dev] KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record Biqian Cheng
• 2022/08/08 Re: [klee-dev] KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record Frank Busse
• 2022/08/08 Re: [klee-dev] KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record Biqian Cheng
• 2022/08/08 Re: [klee-dev] KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record Frank Busse
• 2022/08/08 [klee-dev] KLEE: ERROR: Loading file /usr/local/lib/klee/runtime/klee-uclibc.bca failed: Invalid record Biqian Cheng
• 2022/07/29 [klee-dev] 3rd International KLEE Workshop on Symbolic Execution: Registration Open Nowack, Martin
• 2022/07/22 Re: [klee-dev] Question about adding an llvm pass to KLEE Schemmel, Daniel
• 2022/07/16 [klee-dev] Question about adding an llvm pass to KLEE Biqian Cheng
• 2022/07/12 Re: [klee-dev] Deadline moved to THURSDAY for presentation and poster proposals to the next KLEE Workshop Cristian Cadar
• 2022/07/12 [klee-dev] Deadline TODAY for presentation and poster proposals to the next KLEE Workshop Cristian Cadar
• 2022/06/29 Re: [klee-dev] Unable to load symbol(_ZTVNSt3__18ios_baseE) while initializing globals Nowack, Martin
• 2022/06/27 Re: [klee-dev] How can I use shared memory correctly in KLEE? Nowack, Martin
• 2022/06/27 Re: [klee-dev] How can I use shared memory correctly in KLEE? Chaoqi Zhang
• 2022/06/27 Re: [klee-dev] How can I use shared memory correctly in KLEE? Nowack, Martin
• 2022/06/25 [klee-dev] How can I use shared memory correctly in KLEE? prnco...@163.com
• 2022/06/21 Re: [klee-dev] Unable to load symbol(_ZTVNSt3__18ios_baseE) while initializing globals Nowack, Martin
• 2022/06/21 [klee-dev] Unable to load symbol(_ZTVNSt3__18ios_baseE) while initializing globals ??????
• 2022/06/20 Re: [klee-dev] Working with fixed memory locations. Marco Vanotti
• 2022/06/20 Re: [klee-dev] Disallow errors on external calls Nowack, Martin
• 2022/06/20 [klee-dev] Disallow errors on external calls Mario García Pérez
• 2022/06/19 Re: [klee-dev] Working with fixed memory locations. Daniel Schemmel
• 2022/06/17 Re: [klee-dev] Working with fixed memory locations. Marco Vanotti
• 2022/06/17 Re: [klee-dev] Working with fixed memory locations. Marco Vanotti
• 2022/06/17 Re: [klee-dev] Working with fixed memory locations. Carrasco, Manuel G
• 2022/06/17 Re: [klee-dev] Working with fixed memory locations. Cristian Cadar
• 2022/06/16 Re: [klee-dev] Working with fixed memory locations. Marco Vanotti
• 2022/06/16 Re: [klee-dev] Working with fixed memory locations. Marco Vanotti
• 2022/06/16 Re: [klee-dev] Need help in understanding a kquery generated by KLEE Cristian Cadar
• 2022/06/16 Re: [klee-dev] Errors when files unconform to the format! Cristian Cadar
• 2022/06/16 Re: [klee-dev] Working with fixed memory locations. Nowack, Martin
• 2022/06/16 Re: [klee-dev] Idea: Klee experiment on Coreutils reimplementation in Rust Cristian Cadar
• 2022/06/16 Re: [klee-dev] KLEE for stateful C API Frank Busse
• 2022/06/16 Re: [klee-dev] Working with fixed memory locations. Carrasco, Manuel G
• 2022/06/16 Re: [klee-dev] KLEE for stateful C API Cristian Cadar
• 2022/06/16 Re: [klee-dev] How to determine the concretized size when dealing with malloc() Cristian Cadar
• 2022/06/16 [klee-dev] Working with fixed memory locations. Marco Vanotti
• 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

• Earlier messages