klee/klee issues and pull requests

#1755 - Incorrect implementation of signed division

Issue - State: open - Opened by davidtr1037 about 2 months ago - 1 comment

#1754 - [llvm17] Error: unimplemented intrinsic

Issue - State: open - Opened by jirislaby 2 months ago - 1 comment
Labels: LLVM upgrade

#1753 - fix ASan support for GCC 14 (and modernize it)

Pull Request - State: closed - Opened by jbuening 3 months ago - 1 comment

#1752 - version grammer bug

Issue - State: open - Opened by GabeBai 4 months ago - 1 comment

#1751 - Handle more recent versions of LLVM in the build scripts

Pull Request - State: closed - Opened by ccadar 4 months ago

#1750 - Fix compilation of the STP master branch -- it now depends on ABC and uses submodules

Pull Request - State: closed - Opened by ccadar 4 months ago - 4 comments

#1749 - LLVM 18 Support

Pull Request - State: closed - Opened by rakin000 4 months ago - 2 comments

#1748 - LLVM 18 Support

Pull Request - State: closed - Opened by rakin000 4 months ago

#1747 - Recursive Functions

Issue - State: closed - Opened by nokitoino 5 months ago - 1 comment

#1746 - Fix test runner and update Python-based dependency handling for MacOS setups

Pull Request - State: closed - Opened by MartinNowack 5 months ago - 1 comment

#1745 - LLVM 17-19 compatibility

Pull Request - State: closed - Opened by mrexodia 5 months ago - 11 comments

#1744 - simple setlocale example fails in Klee

Issue - State: closed - Opened by zouyonghao 5 months ago - 2 comments

#1741 - Fix macOS CI (namely the step "brew install python-tabulate")

Pull Request - State: closed - Opened by ccadar 6 months ago - 3 comments

#1739 - Real freestanding runtime

Pull Request - State: closed - Opened by mrexodia 6 months ago - 22 comments

#1738 - Add an option to generate XML test cases

Pull Request - State: closed - Opened by misonijnik 7 months ago - 3 comments

#1736 - How to support LLVM 18

Issue - State: closed - Opened by iejzh 7 months ago - 1 comment

#1734 - Improve code which ignores STP failures

Pull Request - State: open - Opened by ccadar 7 months ago

#1731 - The issue of the --single-object-resolution option not working

Issue - State: open - Opened by xyz2k8 8 months ago

#1681 - Feature: Save symbolic data from *.ktest files as a flat binary file

Pull Request - State: open - Opened by tkuchta about 1 year ago - 18 comments

#429 - symbolizing the field of struct not supported

Issue - State: open - Opened by tovain10071991 over 8 years ago - 6 comments
Labels: documentation

#429 - symbolizing the field of struct not supported

Issue - State: open - Opened by tovain10071991 over 8 years ago - 6 comments
Labels: documentation

#100 - Allow passing arbitrary command line flags to klee and kleaver when running llvm-lit

Pull Request - State: closed - Opened by delcypher about 11 years ago - 3 comments
Labels: Feature Request

#100 - Allow passing arbitrary command line flags to klee and kleaver when running llvm-lit

Pull Request - State: closed - Opened by delcypher about 11 years ago - 3 comments
Labels: Feature Request

#99 - Upstream STP's libstp now depends on boost.

Pull Request - State: closed - Opened by delcypher about 11 years ago - 1 comment
Labels: Feature Request

#99 - Upstream STP's libstp now depends on boost.

Pull Request - State: closed - Opened by delcypher about 11 years ago - 1 comment
Labels: Feature Request

#98 - Update URL for Buildbot

Pull Request - State: closed - Opened by ddcc about 11 years ago - 2 comments

#98 - Update URL for Buildbot

Pull Request - State: closed - Opened by ddcc about 11 years ago - 2 comments

#97 - Kleaver is buggy when using a constant consequent in querys

Issue - State: open - Opened by delcypher about 11 years ago - 1 comment
Labels: bug

#97 - Kleaver is buggy when using a constant consequent in querys

Issue - State: open - Opened by delcypher about 11 years ago - 1 comment
Labels: bug

#96 - Remove or fix tests in ``test/Concrete``

Issue - State: closed - Opened by delcypher about 11 years ago
Labels: cleanup

#96 - Remove or fix tests in ``test/Concrete``

Issue - State: closed - Opened by delcypher about 11 years ago
Labels: cleanup

#95 - Fix function name in tutorial

Pull Request - State: closed - Opened by czchen about 11 years ago - 1 comment

#95 - Fix function name in tutorial

Pull Request - State: closed - Opened by czchen about 11 years ago - 1 comment

#94 - Fix assert library linking

Pull Request - State: closed - Opened by MartinNowack about 11 years ago - 1 comment

#93 - Remove --read-args command line option

Issue - State: closed - Opened by delcypher about 11 years ago - 2 comments
Labels: cleanup

#92 - Move testing infrastructure to llvm-lit and completly remove all DejaGNU support

Pull Request - State: closed - Opened by delcypher about 11 years ago - 8 comments

#91 - Remove or refactor inlineChecks(Module module, const char functionName)

Issue - State: closed - Opened by delcypher about 11 years ago - 2 comments
Labels: cleanup

#91 - Remove or refactor inlineChecks(Module module, const char functionName)

Issue - State: closed - Opened by delcypher about 11 years ago - 2 comments
Labels: cleanup

#90 - Segfault when no main() is present

Issue - State: closed - Opened by msoos about 11 years ago - 8 comments

#89 - Fix get_sign tutorial

Pull Request - State: closed - Opened by msoos about 11 years ago - 1 comment

#89 - Fix get_sign tutorial

Pull Request - State: closed - Opened by msoos about 11 years ago - 1 comment

#88 - Fix the get_sign tutorial

Pull Request - State: closed - Opened by msoos about 11 years ago - 1 comment

#88 - Fix the get_sign tutorial

Pull Request - State: closed - Opened by msoos about 11 years ago - 1 comment

#87 - maze tutorial printf bug

Issue - State: closed - Opened by msoos about 11 years ago - 1 comment

#87 - maze tutorial printf bug

Issue - State: closed - Opened by msoos about 11 years ago - 1 comment

#86 - get_sign.c missing include

Pull Request - State: closed - Opened by msoos about 11 years ago - 4 comments

#85 - Release build of KLEE SEGFAULTS when trying to call externals

Issue - State: closed - Opened by delcypher about 11 years ago - 5 comments
Labels: bug

#85 - Release build of KLEE SEGFAULTS when trying to call externals

Issue - State: closed - Opened by delcypher about 11 years ago - 5 comments
Labels: bug

#84 - Don't strip python file ktest-tool

Issue - State: closed - Opened by msoos about 11 years ago - 4 comments

#83 - bits/predefs.h not found

Issue - State: closed - Opened by msoos about 11 years ago - 1 comment

#82 - Trouble compiling KLEE because of ISO C++ mandates .

Issue - State: closed - Opened by vinayts1970 about 11 years ago - 1 comment
Labels: bug, wontfix

#81 - Fix compilation of unittests under Clang.

Pull Request - State: closed - Opened by delcypher about 11 years ago

#80 - Allow different build modes for LLVM coexist

Pull Request - State: closed - Opened by MartinNowack about 11 years ago - 1 comment

#79 - Re-add support for running individual tests when built with LLVM3.3

Pull Request - State: closed - Opened by delcypher about 11 years ago - 1 comment

#78 - Fix klee install

Pull Request - State: closed - Opened by delcypher about 11 years ago - 1 comment

#77 - Fix use include files from used LLVM to build KLEE

Pull Request - State: closed - Opened by MartinNowack about 11 years ago - 1 comment

#76 - Patch by Daniel Lupei, fixing a performance bug with the counterexample cache. (This is an old patch, reported at http://llvm.org/bugs/show_bug.cgi?id=11435, on KLEE's old bug tracking system.)

Pull Request - State: closed - Opened by ccadar about 11 years ago - 2 comments

#75 - Deprecate klee-gcc

Issue - State: closed - Opened by delcypher about 11 years ago - 4 comments

#74 - Use Makefile.rules provided with LLVM

Pull Request - State: closed - Opened by MartinNowack about 11 years ago - 5 comments

#73 - Added support for printing Expr to llvm::raw_ostream

Pull Request - State: closed - Opened by delcypher about 11 years ago - 4 comments
Labels: Feature Request

#73 - Added support for printing Expr to llvm::raw_ostream

Pull Request - State: closed - Opened by delcypher about 11 years ago - 4 comments
Labels: Feature Request

#72 - Deprecate LLVM 2.8 and lower

Pull Request - State: closed - Opened by MartinNowack about 11 years ago - 3 comments

#72 - Deprecate LLVM 2.8 and lower

Pull Request - State: closed - Opened by MartinNowack about 11 years ago - 3 comments

#71 - Remove support for LLVM <= 2.8

Issue - State: closed - Opened by ccadar about 11 years ago - 2 comments
Labels: Feature Request

#71 - Remove support for LLVM <= 2.8

Issue - State: closed - Opened by ccadar about 11 years ago - 2 comments
Labels: Feature Request

#70 - Add support for archive and single bc file linking

Pull Request - State: closed - Opened by MartinNowack about 11 years ago - 16 comments
Labels: bug, Feature Request

#70 - Add support for archive and single bc file linking

Pull Request - State: closed - Opened by MartinNowack about 11 years ago - 16 comments
Labels: bug, Feature Request

#69 - Fix runtime posix

Pull Request - State: closed - Opened by MartinNowack over 11 years ago - 1 comment

#69 - Fix runtime posix

Pull Request - State: closed - Opened by MartinNowack over 11 years ago - 1 comment

#68 - Feature klee internal functions

Pull Request - State: closed - Opened by MartinNowack over 11 years ago - 14 comments

#68 - Feature klee internal functions

Pull Request - State: closed - Opened by MartinNowack over 11 years ago - 14 comments

#67 - Fix using assembler addresses for global variables

Pull Request - State: closed - Opened by MartinNowack over 11 years ago

#67 - Fix using assembler addresses for global variables

Pull Request - State: closed - Opened by MartinNowack over 11 years ago

#66 - Move testing framework to llvm-lit

Issue - State: closed - Opened by delcypher over 11 years ago - 1 comment
Labels: Feature Request

#66 - Move testing framework to llvm-lit

Issue - State: closed - Opened by delcypher over 11 years ago - 1 comment
Labels: Feature Request

#65 - Fix the detection of the LLVM bitcode compiler.

Pull Request - State: closed - Opened by delcypher over 11 years ago - 3 comments

#65 - Fix the detection of the LLVM bitcode compiler.

Pull Request - State: closed - Opened by delcypher over 11 years ago - 3 comments

#64 - Overshift fixes

Pull Request - State: closed - Opened by delcypher over 11 years ago - 6 comments
Labels: bug

#64 - Overshift fixes

Pull Request - State: closed - Opened by delcypher over 11 years ago - 6 comments
Labels: bug

#63 - Exit if using --libc=uclibc and KLEE was not configured with uclibc

Pull Request - State: closed - Opened by delcypher over 11 years ago

#62 - Kleaver: "cannot infer type of number" error

Issue - State: open - Opened by tomek-kuchta over 11 years ago
Labels: bug

#61 - Fix Futimesat compilation with newer gcc and clang

Pull Request - State: closed - Opened by MartinNowack over 11 years ago

#61 - Fix Futimesat compilation with newer gcc and clang

Pull Request - State: closed - Opened by MartinNowack over 11 years ago

#60 - Fix build of POSIX file descriptor functions

Pull Request - State: closed - Opened by MartinNowack over 11 years ago - 3 comments

#60 - Fix build of POSIX file descriptor functions

Pull Request - State: closed - Opened by MartinNowack over 11 years ago - 3 comments

#59 - segfaults for long paths

Pull Request - State: closed - Opened by 251 over 11 years ago - 2 comments

#59 - segfaults for long paths

Pull Request - State: closed - Opened by 251 over 11 years ago - 2 comments

#58 - segfaults for long paths

Issue - State: closed - Opened by 251 over 11 years ago - 9 comments
Labels: bug

#58 - segfaults for long paths

Issue - State: closed - Opened by 251 over 11 years ago - 9 comments
Labels: bug

#57 - do you have plan for merging klee-fp?

Issue - State: closed - Opened by minhyuk over 11 years ago - 1 comment

#56 - Integrate a parser for smt2 files.

Issue - State: open - Opened by ccadar over 11 years ago
Labels: Feature Request

#56 - Integrate a parser for smt2 files.

Issue - State: open - Opened by ccadar over 11 years ago
Labels: Feature Request

#55 - Record line numbers in .(k)path files

Issue - State: open - Opened by ccadar over 11 years ago
Labels: Feature Request

#55 - Record line numbers in .(k)path files

Issue - State: open - Opened by ccadar over 11 years ago
Labels: Feature Request

#54 - Save options in klee-last/info

Issue - State: open - Opened by ccadar over 11 years ago - 2 comments
Labels: Feature Request

#53 - Non-deterministic behavior seen with Coreutils 6.10 ptx utility

Issue - State: closed - Opened by tomek-kuchta over 11 years ago - 1 comment

#52 - Make issue

Issue - State: closed - Opened by radustoenescu over 11 years ago - 2 comments

#51 - uclib validation check possible?

Issue - State: closed - Opened by minhyuk over 11 years ago - 3 comments

#50 - Too many testcases at simple array subscript expression

Issue - State: closed - Opened by minhyuk over 11 years ago - 9 comments

#49 - Regenerate doxygen documentation periodically

Issue - State: closed - Opened by delcypher over 11 years ago - 2 comments
Labels: Feature Request

GitHub / klee/klee issues and pull requests