Skip to content

Issues: csmith-project/csmith

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

46 Open 51 Closed
46 Open 51 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
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 Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

generate crash: Statement.cpp:927: void Statement::post_creation_analysis(vector<const Fact *> &, const Effect &, CGContext &) const: Assertion `0' failed.
#170 opened Mar 8, 2024 by sendaoYan
generate testcase has undefind-behavior address points to the zero page seed=1494517028
#169 opened Feb 29, 2024 by sendaoYan
generate crash: StatementIf.cpp:85: static StatementIf *StatementIf::make_random(CGContext &): Assertion `ok' failed. on linux-aarch64
#168 opened Feb 26, 2024 by sendaoYan
generate testcase stuck seed=1905137519 on linux x86-64
#167 opened Feb 21, 2024 by sendaoYan
1
how to limit function size
#166 opened Jan 28, 2024 by JuliusNmn
4
csmith compile error integer value 2 is outside the valid range of values [0, 1] for the enumeration type 'FilterKind' [-Wenum-constexpr-conversion] by llvm 17.0.6
#163 opened Jan 26, 2024 by sendaoYan
2
testcase generated by by csmith contains sanitize error(undefined-behavior): store to misaligned address and unsigned integer overflow
#153 opened Oct 18, 2023 by sendaoYan
1
--dfs-exhaustive/--max-exhaustive-depth do not appear to work Bug
#152 opened Aug 8, 2023 by dgopstein
1
embed.cs.utah.edu/csmith is gone Bug
#149 opened Jun 11, 2023 by amonakov
@regehr
9
Is the mechanism to ensure effect safety is flow-insensitive ?
#147 opened Apr 29, 2022 by Absoler
1
A null-pointer-dereference bug in csmith
#146 opened Mar 23, 2022 by shao-hua-li
Defining max/min number of for loop iterations
#142 opened Feb 12, 2022 by dejangrubisic
Generate specific statement
#141 opened Oct 13, 2021 by jordiae
Install instructions incomplete
#140 opened Sep 8, 2021 by kaddkaka
1
Several potential bugs of null pointer dereference
#139 opened Sep 3, 2021 by ash1852
Configurable floating-point precision
#137 opened May 27, 2021 by yansendao
csmith --lang-cpp --cpp11 -s 13102469174949929466 generate stuck
#136 opened May 11, 2021 by yansendao
testcase generate with "csmith --float -s 8642168180452144185" ASAN compalint MemorySanitizer: use-of-uninitialized-value
#135 opened Apr 25, 2021 by yansendao
1
csmith meets cppcheck, the static analyser Bug
#134 opened Apr 7, 2021 by dcb314
3
testcase generate with csmith --float --strict-float oad of misaligned address for type 'const float' Seed=1692891924876124
#133 opened Apr 6, 2021 by yansendao
testcase generate with csmith --float warning: implicit conversion of out of range value from 'double' to 'uint32_t' (aka 'unsigned int') is undefined
#132 opened Mar 25, 2021 by yansendao
6
testcase generate with csmith --float undefined-behavior: incompatible pointer types passing 'float *' to parameter of type 'char *'
#131 opened Mar 24, 2021 by yansendao
2
testcase generate with csmith --float undefined-behavior: -7.30288e+18 is outside the range of representable values of type 'int'
#130 opened Mar 23, 2021 by yansendao
4
testcase generate with csmith --lang-cpp --cpp11 --float compile error: cannot convert ‘float*’ to ‘char*’
#129 opened Mar 23, 2021 by yansendao
@jxyang
1
seed=1839948606588443 generate empty testcase
#128 opened Mar 13, 2021 by yansendao
2
ProTip! Mix and match filters to narrow down what you’re looking for.