Search results

Increasing --max-block-depth results in incredibly long generation times

Status: Open.

#174 In csmith-project/csmith;

· john-h-k opened on Mar 26, 2025

Is --float broken?

Status: Open.

#172 In csmith-project/csmith;

· pmatos opened on Jun 28, 2024

generate crash: Statement.cpp:927: void Statement::post_creation_analysis(vector<const Fact *> &, const Effect &, CGContext &) const: Assertion `0' failed.

Status: Open.

#170 In csmith-project/csmith;

· sendaoYan opened on Mar 8, 2024

generate testcase has undefind-behavior address points to the zero page seed=1494517028

Status: Open.

#169 In csmith-project/csmith;

· sendaoYan opened on Feb 29, 2024

generate crash: StatementIf.cpp:85: static StatementIf *StatementIf::make_random(CGContext &): Assertion `ok' failed. on linux-aarch64

Status: Open.

#168 In csmith-project/csmith;

· sendaoYan opened on Feb 26, 2024

generate testcase stuck seed=1905137519 on linux x86-64

Status: Open.

#167 In csmith-project/csmith;

· sendaoYan opened on Feb 21, 2024

testcase generated by by csmith contains sanitize error(undefined-behavior): store to misaligned address and unsigned integer overflow

Status: Open.

#153 In csmith-project/csmith;

· sendaoYan opened on Oct 18, 2023

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

Bug

Status: Open.

#152 In csmith-project/csmith;

· dgopstein opened on Aug 8, 2023

embed.cs.utah.edu/csmith is gone

Bug

Status: Open.

#149 In csmith-project/csmith;

· amonakov opened on Jun 11, 2023

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

Status: Open.

#147 In csmith-project/csmith;

· Absoler opened on Apr 29, 2022

A null-pointer-dereference bug in csmith

Status: Open.

#146 In csmith-project/csmith;

· shao-hua-li opened on Mar 23, 2022

Defining max/min number of for loop iterations

Status: Open.

#142 In csmith-project/csmith;

· dejangrubisic opened on Feb 12, 2022