klee-dev  

Messages by Thread

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

• Earlier messages