Skip to content

Issues: staticafi/symbiotic

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.

Sign up for GitHub

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

50 Open 125 Closed
50 Open 125 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

Stop generating LLVM IR with the optnone attribute
#253 opened Jan 31, 2024 by vmihalko
Combining --undefined-are-pure and --exit-on-error causes missed error
#250 opened Sep 27, 2023 by Novak756
Undefined-are-pure causes slicer error
#249 opened Sep 27, 2023 by Novak756
Symbiotic missing an error
#248 opened Sep 22, 2023 by andrea1775
2
Error-call detection depends on order of array initialisation
#247 opened Sep 7, 2023 by Novak756
Implicit array initialisation
#246 opened Aug 16, 2023 by Novak756
2
build.sh uses git protocol
#245 opened Apr 12, 2023 by baalIsBack
Bug: Unknown-Err on certain programs with AssertionErrors + Exceptions in Log
#244 opened Feb 20, 2023 by blizzard4591
Create and use a fork of DG
#243 opened Jan 4, 2023 by mchalupa
@trtikm
2
Build fails when with-llvm=... is supplied
#233 opened Oct 10, 2022 by yurivict
Symbiotic failed to find invalid free and memory leak bug
#226 opened May 9, 2022 by vmihalko
Depending in the optimization level, assertion violations in inline functions may not be detected
#218 opened Feb 16, 2022 by lzaoral
3
Undetected integer overflows in constant-folded expressions
#217 opened Feb 16, 2022 by lzaoral
Symbiotic may fail to start when wrong clang binary is in PATH bug
#216 opened Feb 16, 2022 by lzaoral
build: add all licenses into the archive enhancement
#215 opened Dec 22, 2021 by mchalupa
2
A bug in checking undefined behavior bug
#212 opened Nov 24, 2021 by mchalupa
1
Consecutive malloc allocations are not modelled correctly bug
#204 opened Oct 26, 2021 by lzaoral
3
More descriptive error traces
#202 opened Aug 26, 2021 by lzaoral
3
Copying of overlapping memory regions is undetected bug enhancement
#197 opened Jul 20, 2021 by lzaoral
1
KLEE does not properly model reading and writing of padded types bug
#192 opened Jul 7, 2021 by lzaoral
4
argv out-of-bound access is silently ignored bug
#190 opened Apr 14, 2021 by lzaoral
1
Support for LLVM 11/12/13/14 enhancement
#187 opened Feb 8, 2021 by lzaoral
6
Verifying programs with output
#180 opened Nov 19, 2020 by tomsik68
3
Support glibc-preprocessed asserts sv-comp Related to sv-comp
#177 opened Oct 23, 2020 by tomsik68
2
Missed memory leak when only a part of the pointer is overwritten bug
#171 opened Oct 7, 2020 by mchalupa
ProTip! Follow long discussions with comments:>50.