Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / csmith-project/csmith issues and pull requests
#173 - How to Disable control flow
Issue -
State: open - Opened by carrotProgrammer 7 months ago
- 2 comments
#172 - Is `--float` broken?
Issue -
State: open - Opened by pmatos 8 months ago
- 4 comments
#171 - tags 2.4.0 is missing
Issue -
State: closed - Opened by carlosrodfern 11 months ago
- 2 comments
#170 - generate crash: Statement.cpp:927: void Statement::post_creation_analysis(vector<const Fact *> &, const Effect &, CGContext &) const: Assertion `0' failed.
Issue -
State: open - Opened by sendaoYan 12 months ago
#169 - generate testcase has undefind-behavior address points to the zero page seed=1494517028
Issue -
State: open - Opened by sendaoYan 12 months ago
#168 - generate crash: StatementIf.cpp:85: static StatementIf *StatementIf::make_random(CGContext &): Assertion `ok' failed. on linux-aarch64
Issue -
State: open - Opened by sendaoYan 12 months ago
#167 - generate testcase stuck seed=1905137519 on linux x86-64
Issue -
State: open - Opened by sendaoYan almost 1 year ago
- 1 comment
#166 - how to limit function size
Issue -
State: open - Opened by JuliusNmn about 1 year ago
- 4 comments
#165 - fix bugs: const MAX_FILTER_KIND_SIZE outside the valid range
Pull Request -
State: open - Opened by sendaoYan about 1 year ago
#164 - fix bugs: const MAX_FILTER_KIND_SIZE outside the valid range
Pull Request -
State: closed - Opened by sendaoYan about 1 year ago
#163 - 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
Issue -
State: open - Opened by sendaoYan about 1 year ago
#162 - Update Effect.cpp
Pull Request -
State: open - Opened by dcb314 over 1 year ago
Labels: Performance
#161 - Fix syntax error in StringUtils.cpp
Pull Request -
State: closed - Opened by XChy over 1 year ago
#160 - Syntax error: syntax error when compiling csmith
Issue -
State: closed - Opened by FangLinglong over 1 year ago
- 1 comment
#159 - Update Attribute.h
Pull Request -
State: open - Opened by dcb314 over 1 year ago
- 4 comments
#158 - Update Attribute.cpp
Pull Request -
State: open - Opened by dcb314 over 1 year ago
#157 - Update ArrayVariable.cpp
Pull Request -
State: open - Opened by dcb314 over 1 year ago
#156 - Update ArrayVariable.h
Pull Request -
State: open - Opened by dcb314 over 1 year ago
#155 - Implement some cppcheck messages.
Pull Request -
State: closed - Opened by dcb314 over 1 year ago
#154 - Update StringUtils.cpp
Pull Request -
State: closed - Opened by dcb314 over 1 year ago
- 6 comments
Labels: Performance
#153 - testcase generated by by csmith contains sanitize error(undefined-behavior): store to misaligned address and unsigned integer overflow
Issue -
State: open - Opened by sendaoYan over 1 year ago
- 1 comment
#152 - --dfs-exhaustive/--max-exhaustive-depth do not appear to work
Issue -
State: open - Opened by dgopstein over 1 year ago
- 1 comment
Labels: Bug
#151 - support read_time() on aarch64 platform
Pull Request -
State: closed - Opened by sendaoYan over 1 year ago
- 1 comment
Labels: Platform specific, Extension
#150 - read_time() not support aarch64
Issue -
State: closed - Opened by sendaoYan over 1 year ago
- 1 comment
#149 - embed.cs.utah.edu/csmith is gone
Issue -
State: open - Opened by amonakov over 1 year ago
- 9 comments
Labels: Bug
#148 - Add option to remove static from globals
Pull Request -
State: closed - Opened by jryans about 2 years ago
- 1 comment
Labels: Extension
#147 - Is the mechanism to ensure effect safety is flow-insensitive ?
Issue -
State: open - Opened by Absoler almost 3 years ago
- 1 comment
#146 - A null-pointer-dereference bug in csmith
Issue -
State: open - Opened by shao-hua-li almost 3 years ago
#145 - Additionals
Pull Request -
State: closed - Opened by jasonpanelli almost 3 years ago
- 1 comment
#144 - Additionals
Pull Request -
State: closed - Opened by jasonpanelli almost 3 years ago
- 1 comment
#143 - Is Variable::isAccessOnce not working?
Issue -
State: closed - Opened by Absoler almost 3 years ago
#142 - Defining max/min number of for loop iterations
Issue -
State: open - Opened by dejangrubisic about 3 years ago
#141 - Generate specific statement
Issue -
State: open - Opened by jordiae over 3 years ago
#140 - Install instructions incomplete
Issue -
State: open - Opened by kaddkaka over 3 years ago
- 1 comment
#139 - Several potential bugs of null pointer dereference
Issue -
State: open - Opened by ash1852 over 3 years ago
#138 - Change seed to actual number string in gen100.py
Pull Request -
State: open - Opened by jmanchuck over 3 years ago
#137 - Configurable floating-point precision
Issue -
State: open - Opened by yansendao over 3 years ago
#136 - csmith --lang-cpp --cpp11 -s 13102469174949929466 generate stuck
Issue -
State: open - Opened by yansendao almost 4 years ago
#135 - testcase generate with "csmith --float -s 8642168180452144185" ASAN compalint MemorySanitizer: use-of-uninitialized-value
Issue -
State: open - Opened by yansendao almost 4 years ago
- 1 comment
#134 - csmith meets cppcheck, the static analyser
Issue -
State: open - Opened by dcb314 almost 4 years ago
- 3 comments
Labels: Bug
#133 - testcase generate with csmith --float --strict-float oad of misaligned address for type 'const float' Seed=1692891924876124
Issue -
State: open - Opened by yansendao almost 4 years ago
#132 - testcase generate with csmith --float warning: implicit conversion of out of range value from 'double' to 'uint32_t' (aka 'unsigned int') is undefined
Issue -
State: open - Opened by yansendao almost 4 years ago
- 6 comments
#131 - testcase generate with csmith --float undefined-behavior: incompatible pointer types passing 'float *' to parameter of type 'char *'
Issue -
State: open - Opened by yansendao almost 4 years ago
- 2 comments
#130 - testcase generate with csmith --float undefined-behavior: -7.30288e+18 is outside the range of representable values of type 'int'
Issue -
State: open - Opened by yansendao almost 4 years ago
- 4 comments
#129 - testcase generate with csmith --lang-cpp --cpp11 --float compile error: cannot convert ‘float*’ to ‘char*’
Issue -
State: open - Opened by yansendao almost 4 years ago
- 1 comment
#128 - seed=1839948606588443 generate empty testcase
Issue -
State: open - Opened by yansendao almost 4 years ago
- 2 comments
#127 - Frama-c eva usually get message "invalid memory access" in program generated by Csmith
Issue -
State: closed - Opened by tju-chenyaosuo almost 4 years ago
- 2 comments
#126 - 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
Issue -
State: open - Opened by yansendao almost 4 years ago
- 1 comment
#125 - 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
Issue -
State: open - Opened by yansendao almost 4 years ago
- 1 comment
#124 - -s 1614461052230463 --int128 --uint128 runtime error: index -1 out of bounds for type int64_t
Issue -
State: open - Opened by yansendao almost 4 years ago
#123 - __builtin_ia32_crc32qi available only on x86-64 Seed=1614489293422807
Issue -
State: closed - Opened by yansendao almost 4 years ago
- 3 comments
#122 - -s 1838717115128822 --uint128 ERROR: AddressSanitizer: global-buffer-overflow
Issue -
State: closed - Opened by yansendao almost 4 years ago
- 2 comments
#121 - --function-attributes clang compile error: 'cold' and 'hot' attributes are not compatible
Issue -
State: open - Opened by yansendao almost 4 years ago
- 1 comment
#120 - maybe implementation-defined behavior when seed=1616465387597553
Issue -
State: open - Opened by yansendao almost 4 years ago
#119 - csmith generate testcase which Sanitizer complaint undefined-behavior: load of misaligned address when Seed=1616472130733511
Issue -
State: open - Opened by yansendao almost 4 years ago
#118 - MemorySanitizer: SEGV on unknown address 0x000000000000 address points to the zero page when Seed=1688874051305641
Issue -
State: open - Opened by yansendao about 4 years ago
- 1 comment
#117 - csmith generate testcase which Sanitizer complaint undefined-behavior: store to misaligned address when Seed=1837942902957000
Issue -
State: closed - Opened by yansendao about 4 years ago
- 1 comment
#116 - global-buffer-overflow when seed = 2680938544
Issue -
State: closed - Opened by ZhangZhuoSJTU about 4 years ago
- 1 comment
#115 - csmith 2.4.0 not published on the csmith site
Issue -
State: closed - Opened by chenrui333 about 4 years ago
- 5 comments
#114 - MemorySanitizer: SEGV on unknown address 0x006000000000 The signal is caused by a WRITE memory access when seed=1614745901343499
Issue -
State: closed - Opened by yansendao about 4 years ago
- 2 comments
#113 - Adds Index out-of-bound probability option to csmith
Pull Request -
State: closed - Opened by alishuja about 4 years ago
- 2 comments
#112 - Update .gitignore
Pull Request -
State: closed - Opened by orestisfl about 4 years ago
#111 - Remove autotools-related files
Pull Request -
State: closed - Opened by orestisfl about 4 years ago
#110 - Makefile.am: error: required file './README' not found
Issue -
State: closed - Opened by orestisfl about 4 years ago
- 3 comments
#109 - Add Github action
Pull Request -
State: open - Opened by amai2012 about 4 years ago
#108 - ”csmith -s 1283564260“ failed of FactPointTo.cpp:734: Assertion `exist_fact' failed.
Issue -
State: closed - Opened by Hanseltu about 4 years ago
- 4 comments
#107 - Update facts for definitive assignment based on number of pointees on…
Pull Request -
State: closed - Opened by jxyang about 4 years ago
#106 - generate test stuck when Seed=1830463767944900
Issue -
State: open - Opened by yansendao about 4 years ago
- 1 comment
Labels: Performance
#105 - csmith generate testcase which sanitizer complaint "address points to the zero page" when Seed=1604182803266314
Issue -
State: closed - Opened by yansendao over 4 years ago
- 2 comments
#104 - "csmith -s 1606008166461888" fail of Statement.cpp:936: void Statement::post_creation_analysis(std::vector<const Fact*>&, const Effect&, CGContext&) const: Assertion `0' failed.
Issue -
State: closed - Opened by yansendao over 4 years ago
- 1 comment
#103 - csmith generate testcase which Sanitizer complaint undefined-behavior: store to misaligned address
Issue -
State: closed - Opened by yansendao over 4 years ago
- 3 comments
#102 - clang -O2 and clang -fno-strict-aliasing -O2 run diff for the testcase csmith generated
Issue -
State: closed - Opened by yansendao over 4 years ago
- 5 comments
#101 - add mac value when get the seed, avoid get the same seed between different machine
Issue -
State: open - Opened by yansendao over 4 years ago
- 1 comment
Labels: Platform specific, Feature request
#100 - when the seed is 1602040978652172, the checksum is 0
Issue -
State: closed - Opened by yansendao over 4 years ago
- 1 comment
#99 - slow test when using programs generated by csmith with random probability configuration
Issue -
State: open - Opened by coffezhou over 4 years ago
- 5 comments
Labels: Performance
#98 - csmith: Statement.cpp:936: void Statement::post_creation_analysis(std::vector<const Fact*>&, const Effect&, CGContext&) const: Assertion `0' failed.
Issue -
State: closed - Opened by yansendao over 4 years ago
- 2 comments
#97 - How to use --reduce command option
Issue -
State: closed - Opened by Vivvvvvvv over 4 years ago
- 1 comment
#96 - Csmith generally does not produce ISO-C-compliant code
Issue -
State: open - Opened by dwightguth over 4 years ago
- 3 comments
Labels: Bug
#95 - Add command line swithces for platform info and remove creation of platform.info file
Pull Request -
State: closed - Opened by mortior over 4 years ago
- 1 comment
#94 - add prototypes for fabs and fabsf to safe_math.h
Pull Request -
State: closed - Opened by dwightguth over 4 years ago
- 2 comments
#93 - guard use of printf with #ifndef NO_PRINTF in csmith_minimal.h
Pull Request -
State: closed - Opened by dwightguth over 4 years ago
- 2 comments
#92 - testcase run over than 10 hours when seed = 1589891333747081
Issue -
State: closed - Opened by yansendao almost 5 years ago
- 2 comments
#91 - seeds all the same when generate testcase concurrently
Issue -
State: closed - Opened by yansendao almost 5 years ago
- 6 comments
#90 - Added support for signed & unsigned integer of size 128 bits and generation of binary constants
Pull Request -
State: closed - Opened by shubhamnarlawar77 almost 5 years ago
- 4 comments
#89 - Enhance the ci/cd tests to cover more command line options
Issue -
State: open - Opened by jxyang almost 5 years ago
Labels: Script
#88 - full fix of safe_math_macros.h, conditions in shift ops are taken fro…
Pull Request -
State: closed - Opened by karineek almost 5 years ago
- 1 comment
#87 - Frequently raising Floating point exception under restricted options
Issue -
State: closed - Opened by hyunsukimsokcho almost 5 years ago
- 4 comments
#86 - partial fix suggestion for safe_math_macro headers
Pull Request -
State: closed - Opened by karineek almost 5 years ago
- 3 comments
#85 - What code can't csmith generate?
Issue -
State: closed - Opened by Hanseltu about 5 years ago
- 4 comments
#84 - Added support for Common Type Attributes, Label Attributes and Variable Attributes
Pull Request -
State: closed - Opened by shubhamnarlawar77 about 5 years ago
- 5 comments
#83 - Building under Cygwin fails (`srand48`, 'lrand48' not declared)
Issue -
State: closed - Opened by versat about 5 years ago
- 3 comments
Labels: Platform specific
#82 - Added support for Section Function Attribute and Alias Function Attribute
Pull Request -
State: closed - Opened by shubhamnarlawar77 over 5 years ago
- 7 comments
#81 - Turn on c++14 in the compiler
Issue -
State: closed - Opened by jxyang over 5 years ago
- 2 comments
Labels: Script
#80 - Added support for Aligned Function Attribute
Pull Request -
State: closed - Opened by shubhamnarlawar77 over 5 years ago
- 2 comments
#68 - Rewrite test scripts in Python
Issue -
State: open - Opened by jxyang almost 6 years ago
- 1 comment
Labels: Help wanted, Script
#61 - Added support for computed goto extension
Pull Request -
State: open - Opened by shubhamnarlawar77 about 6 years ago
- 2 comments
#55 - remove unsupported utah-local scripts
Pull Request -
State: closed - Opened by regehr almost 7 years ago
- 1 comment
#49 - Fix some quadratic performance bugs
Pull Request -
State: closed - Opened by gergo- almost 8 years ago
- 6 comments
#29 - compute permutations by std::next_permutation
Pull Request -
State: closed - Opened by jensgerlach about 9 years ago
- 1 comment
#15 - Floattest
Pull Request -
State: closed - Opened by jacekburys over 9 years ago
- 5 comments