csmith-project csmith issues

csmith-project / csmith

Csmith, a random generator of C programs

http://embed.cs.utah.edu/csmith/

Other

998 stars 143 forks source link

issues

Newest

Newest Most commented Recently updated Oldest Least commented Least recently updated

How to Disable control flow

#173 carrotProgrammer opened 1 month ago
2
Is `--float` broken?

#172 pmatos opened 2 months ago
4
tags 2.4.0 is missing

#171 carlosrodfern closed 5 months ago
2
generate crash: Statement.cpp:927: void Statement::post_creation_analysis(vector<const Fact *> &, const Effect &, CGContext &) const: Assertion `0' failed.

#170 sendaoYan opened 6 months ago
0
generate testcase has undefind-behavior address points to the zero page seed=1494517028

#169 sendaoYan opened 6 months ago
0
generate crash: StatementIf.cpp:85: static StatementIf *StatementIf::make_random(CGContext &): Assertion `ok' failed. on linux-aarch64

#168 sendaoYan opened 6 months ago
0
generate testcase stuck seed=1905137519 on linux x86-64

#167 sendaoYan opened 6 months ago
1
how to limit function size

#166 JuliusNmn opened 7 months ago
4
fix bugs: const MAX_FILTER_KIND_SIZE outside the valid range

#165 sendaoYan opened 7 months ago
0
fix bugs: const MAX_FILTER_KIND_SIZE outside the valid range

#164 sendaoYan closed 7 months ago
0
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 sendaoYan opened 7 months ago
0
Update Effect.cpp

#162 dcb314 opened 9 months ago
0
Fix syntax error in StringUtils.cpp

#161 XChy closed 10 months ago
0
Syntax error: syntax error when compiling csmith

#160 FangLinglong closed 10 months ago
1
Update Attribute.h

#159 dcb314 opened 10 months ago
4
Update Attribute.cpp

#158 dcb314 opened 10 months ago
0
Update ArrayVariable.cpp

#157 dcb314 opened 10 months ago
0
Update ArrayVariable.h

#156 dcb314 opened 10 months ago
0
Implement some cppcheck messages.

#155 dcb314 closed 10 months ago
0
Update StringUtils.cpp

#154 dcb314 closed 10 months ago
6
testcase generated by by csmith contains sanitize error(undefined-behavior): store to misaligned address and unsigned integer overflow

#153 sendaoYan opened 10 months ago
1
--dfs-exhaustive/--max-exhaustive-depth do not appear to work

#152 dgopstein opened 1 year ago
1
support read_time() on aarch64 platform

#151 sendaoYan closed 7 months ago
1
read_time() not support aarch64

#150 sendaoYan closed 1 year ago
1
embed.cs.utah.edu/csmith is gone

#149 amonakov opened 1 year ago
9
Add option to remove static from globals

#148 jryans closed 1 year ago
1
Is the mechanism to ensure effect safety is flow-insensitive ?

#147 Absoler opened 2 years ago
1
A null-pointer-dereference bug in csmith

#146 shao-hua-li opened 2 years ago
0
Additionals

#145 jasonpanelli closed 2 years ago
1
Additionals

#144 jasonpanelli closed 2 years ago
1
Is Variable::isAccessOnce not working?

#143 Absoler closed 2 years ago
0
Defining max/min number of for loop iterations

#142 dejangrubisic opened 2 years ago
0
Generate specific statement

#141 jordiae opened 2 years ago
0
Install instructions incomplete

#140 kaddkaka opened 3 years ago
1
Several potential bugs of null pointer dereference

#139 ash1852 opened 3 years ago
0
Change seed to actual number string in gen100.py

#138 jmanchuck opened 3 years ago
0
Configurable floating-point precision

#137 yansendao opened 3 years ago
0
csmith --lang-cpp --cpp11 -s 13102469174949929466 generate stuck

#136 yansendao opened 3 years ago
0
testcase generate with "csmith --float -s 8642168180452144185" ASAN compalint MemorySanitizer: use-of-uninitialized-value

#135 yansendao opened 3 years ago
1
csmith meets cppcheck, the static analyser

#134 dcb314 opened 3 years ago
3
testcase generate with csmith --float --strict-float oad of misaligned address for type 'const float' Seed=1692891924876124

#133 yansendao opened 3 years ago
0
testcase generate with csmith --float warning: implicit conversion of out of range value from 'double' to 'uint32_t' (aka 'unsigned int') is undefined

#132 yansendao opened 3 years ago
6
testcase generate with csmith --float undefined-behavior: incompatible pointer types passing 'float *' to parameter of type 'char *'

#131 yansendao opened 3 years ago
2
testcase generate with csmith --float undefined-behavior: -7.30288e+18 is outside the range of representable values of type 'int'

#130 yansendao opened 3 years ago
4
testcase generate with csmith --lang-cpp --cpp11 --float compile error: cannot convert ‘float*’ to ‘char*’

#129 yansendao opened 3 years ago
1
seed=1839948606588443 generate empty testcase

#128 yansendao opened 3 years ago
2
Frama-c eva usually get message "invalid memory access" in program generated by Csmith

#127 tju-chenyaosuo closed 3 years ago
2
testcase generate with --builtins --type-attributes --label-attributes --variable-attributes --int128 --uint128 --binary-constant -s 1617250954692878 sanitize runtime error: passing zero to ctz(), which is not a valid argument

#126 yansendao opened 3 years ago
1
testcase generate with --builtins --type-attributes --label-attributes --variable-attributes --int128 --uint128 --binary-constant -s 1614639030176753 options gcc -Os warning: array element is used uninitialized

#125 yansendao opened 3 years ago
1
-s 1614461052230463 --int128 --uint128 runtime error: index -1 out of bounds for type int64_t

#124 yansendao opened 3 years ago
0