Skip to content

/ klee

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

55 Open 430 Closed
55 Open 430 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels.
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀
KLEE on UBSan-enabled binaries
#1376 opened Jan 13, 2021 by operasfantom
64bit klee in x86_64 cann't handle 32bit bc
#1372 opened Dec 20, 2020 by Xiaoni-git
Issue with customizing configuration using build.sh
#1365 opened Dec 5, 2020 by jiseongg
2
unchecked mallocs in POSIX runtime
#1346 opened Nov 13, 2020 by 251
3
Out of bound pointer error in ctype.c (toupper)
#1296 opened Aug 17, 2020 by resetnow
13
Is UpdateNode::compare() semantically correct? bug
#1265 opened May 15, 2020 by Alkaid-Benetnash
1
KLEE Slow Execution Compared to LLI
#1255 opened Apr 17, 2020 by homyhost
1
Is the "has_permission" function inside POSIX runtime fd.c correct? bug
#1230 opened Mar 11, 2020 by Alkaid-Benetnash
@ccadar
1
Concretize symbolic size in malloc() to the greatest possible value
#1227 opened Mar 5, 2020 by andreafioraldi
2
KLEE flushes uninitialised memory Feature Request
#1177 opened Nov 5, 2019 by kren1
Hang: "KLEE: WARNING: Select is not supported"
#1166 opened Oct 19, 2019 by mateon1
Should we enable --batching-searcher by default? discussion
#1049 opened Mar 12, 2019 by ccadar
8
inlinable function call in a function with debug info must have a !dbg location
#937 opened Jul 11, 2018 by jirislaby
28
Add support for `*_chk` functions Feature Request
#925 opened Jul 2, 2018 by MartinNowack
Solver timeout and UseForkedCoreSolver logic
#849 opened Apr 21, 2018 by humeafo
1
getSymbolicSolution solution name is not accurate bug
#848 opened Apr 20, 2018 by humeafo
4
Instructions timing stats for the last executed state are lost bug
#844 opened Apr 9, 2018 by ccadar
z3Solver doesn't respect UseForkedCoreSolver command line option Feature Request
#834 opened Mar 4, 2018 by humeafo
klee AllowExternalSymCalls concretization without adding constraints to state Feature Request
#833 opened Feb 28, 2018 by humeafo
8
Big endianness support is broken bug
#828 opened Jan 31, 2018 by ccadar
Support for constant arrays is not tested
#827 opened Jan 31, 2018 by ccadar
Prefer counter example feature is broken bug
#706 opened Jul 19, 2017 by delcypher
Unhandled parts of the LLVM IR Feature Request LLVM upgrade
#678 opened Jun 14, 2017 by delcypher 5 of 9
6
KLEE does not add constraints from non forking branches to constraint set discussion
#645 opened Apr 9, 2017 by delcypher
9
QueryLogging::printQuery() interface is confusing Feature Request
#630 opened Mar 24, 2017 by delcypher
ProTip! What’s not been updated in a month: updated:<2020-12-22.