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 2 months ago - 2 comments

#172 - Is `--float` broken?

Issue - State: open - Opened by pmatos 3 months ago - 4 comments

#171 - tags 2.4.0 is missing

Issue - State: closed - Opened by carlosrodfern 6 months ago - 2 comments

#167 - generate testcase stuck seed=1905137519 on linux x86-64

Issue - State: open - Opened by sendaoYan 7 months ago - 1 comment

#166 - how to limit function size

Issue - State: open - Opened by JuliusNmn 8 months ago - 4 comments

#165 - fix bugs: const MAX_FILTER_KIND_SIZE outside the valid range

Pull Request - State: open - Opened by sendaoYan 8 months ago

#164 - fix bugs: const MAX_FILTER_KIND_SIZE outside the valid range

Pull Request - State: closed - Opened by sendaoYan 8 months ago

#162 - Update Effect.cpp

Pull Request - State: open - Opened by dcb314 10 months ago
Labels: Performance

#161 - Fix syntax error in StringUtils.cpp

Pull Request - State: closed - Opened by XChy 11 months ago

#160 - Syntax error: syntax error when compiling csmith

Issue - State: closed - Opened by FangLinglong 11 months ago - 1 comment

#159 - Update Attribute.h

Pull Request - State: open - Opened by dcb314 11 months ago - 4 comments

#158 - Update Attribute.cpp

Pull Request - State: open - Opened by dcb314 11 months ago

#157 - Update ArrayVariable.cpp

Pull Request - State: open - Opened by dcb314 11 months ago

#156 - Update ArrayVariable.h

Pull Request - State: open - Opened by dcb314 11 months ago

#155 - Implement some cppcheck messages.

Pull Request - State: closed - Opened by dcb314 11 months ago

#154 - Update StringUtils.cpp

Pull Request - State: closed - Opened by dcb314 11 months ago - 6 comments
Labels: Performance

#152 - --dfs-exhaustive/--max-exhaustive-depth do not appear to work

Issue - State: open - Opened by dgopstein about 1 year ago - 1 comment
Labels: Bug

#151 - support read_time() on aarch64 platform

Pull Request - State: closed - Opened by sendaoYan about 1 year ago - 1 comment
Labels: Platform specific, Extension

#150 - read_time() not support aarch64

Issue - State: closed - Opened by sendaoYan about 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 over 1 year ago - 1 comment
Labels: Extension

#147 - Is the mechanism to ensure effect safety is flow-insensitive ?

Issue - State: open - Opened by Absoler over 2 years ago - 1 comment

#146 - A null-pointer-dereference bug in csmith

Issue - State: open - Opened by shao-hua-li over 2 years ago

#145 - Additionals

Pull Request - State: closed - Opened by jasonpanelli over 2 years ago - 1 comment

#144 - Additionals

Pull Request - State: closed - Opened by jasonpanelli over 2 years ago - 1 comment

#143 - Is Variable::isAccessOnce not working?

Issue - State: closed - Opened by Absoler over 2 years ago

#142 - Defining max/min number of for loop iterations

Issue - State: open - Opened by dejangrubisic over 2 years ago

#141 - Generate specific statement

Issue - State: open - Opened by jordiae almost 3 years ago

#140 - Install instructions incomplete

Issue - State: open - Opened by kaddkaka about 3 years ago - 1 comment

#139 - Several potential bugs of null pointer dereference

Issue - State: open - Opened by ash1852 about 3 years ago

#138 - Change seed to actual number string in gen100.py

Pull Request - State: open - Opened by jmanchuck about 3 years ago

#137 - Configurable floating-point precision

Issue - State: open - Opened by yansendao over 3 years ago

#134 - csmith meets cppcheck, the static analyser

Issue - State: open - Opened by dcb314 over 3 years ago - 3 comments
Labels: Bug

#128 - seed=1839948606588443 generate empty testcase

Issue - State: open - Opened by yansendao over 3 years ago - 2 comments

#123 - __builtin_ia32_crc32qi available only on x86-64 Seed=1614489293422807

Issue - State: closed - Opened by yansendao over 3 years ago - 3 comments

#122 - -s 1838717115128822 --uint128 ERROR: AddressSanitizer: global-buffer-overflow

Issue - State: closed - Opened by yansendao over 3 years ago - 2 comments

#116 - global-buffer-overflow when seed = 2680938544

Issue - State: closed - Opened by ZhangZhuoSJTU over 3 years ago - 1 comment

#115 - csmith 2.4.0 not published on the csmith site

Issue - State: closed - Opened by chenrui333 over 3 years ago - 5 comments

#113 - Adds Index out-of-bound probability option to csmith

Pull Request - State: closed - Opened by alishuja over 3 years ago - 2 comments

#112 - Update .gitignore

Pull Request - State: closed - Opened by orestisfl over 3 years ago

#111 - Remove autotools-related files

Pull Request - State: closed - Opened by orestisfl over 3 years ago

#110 - Makefile.am: error: required file './README' not found

Issue - State: closed - Opened by orestisfl over 3 years ago - 3 comments

#109 - Add Github action

Pull Request - State: open - Opened by amai2012 over 3 years ago

#107 - Update facts for definitive assignment based on number of pointees on…

Pull Request - State: closed - Opened by jxyang almost 4 years ago

#106 - generate test stuck when Seed=1830463767944900

Issue - State: open - Opened by yansendao almost 4 years ago - 1 comment
Labels: Performance

#101 - add mac value when get the seed, avoid get the same seed between different machine

Issue - State: open - Opened by yansendao almost 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 almost 4 years ago - 1 comment

#99 - slow test when using programs generated by csmith with random probability configuration

Issue - State: open - Opened by coffezhou almost 4 years ago - 5 comments
Labels: Performance

#97 - How to use --reduce command option

Issue - State: closed - Opened by Vivvvvvvv about 4 years ago - 1 comment

#96 - Csmith generally does not produce ISO-C-compliant code

Issue - State: open - Opened by dwightguth about 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 about 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 over 4 years ago - 2 comments

#91 - seeds all the same when generate testcase concurrently

Issue - State: closed - Opened by yansendao over 4 years ago - 6 comments

#89 - Enhance the ci/cd tests to cover more command line options

Issue - State: open - Opened by jxyang over 4 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 over 4 years ago - 1 comment

#87 - Frequently raising Floating point exception under restricted options

Issue - State: closed - Opened by hyunsukimsokcho over 4 years ago - 4 comments

#86 - partial fix suggestion for safe_math_macro headers

Pull Request - State: closed - Opened by karineek over 4 years ago - 3 comments

#85 - What code can't csmith generate?

Issue - State: closed - Opened by Hanseltu over 4 years ago - 4 comments

#84 - Added support for Common Type Attributes, Label Attributes and Variable Attributes

Pull Request - State: closed - Opened by shubhamnarlawar77 over 4 years ago - 5 comments

#83 - Building under Cygwin fails (`srand48`, 'lrand48' not declared)

Issue - State: closed - Opened by versat almost 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 about 5 years ago - 7 comments

#81 - Turn on c++14 in the compiler

Issue - State: closed - Opened by jxyang about 5 years ago - 2 comments
Labels: Script

#80 - Added support for Aligned Function Attribute

Pull Request - State: closed - Opened by shubhamnarlawar77 about 5 years ago - 2 comments

#68 - Rewrite test scripts in Python

Issue - State: open - Opened by jxyang over 5 years ago - 1 comment
Labels: Help wanted, Script

#61 - Added support for computed goto extension

Pull Request - State: open - Opened by shubhamnarlawar77 almost 6 years ago - 2 comments

#55 - remove unsupported utah-local scripts

Pull Request - State: closed - Opened by regehr over 6 years ago - 1 comment

#49 - Fix some quadratic performance bugs

Pull Request - State: closed - Opened by gergo- over 7 years ago - 6 comments

#29 - compute permutations by std::next_permutation

Pull Request - State: closed - Opened by jensgerlach almost 9 years ago - 1 comment

#15 - Floattest

Pull Request - State: closed - Opened by jacekburys about 9 years ago - 5 comments