cpet/freebsd-ports
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity
3d2c945f9a
freebsd-ports/devel/csmith/pkg-plist

34 lines
990 B
Plaintext
Raw Normal View History

Csmith is a tool that can generate random C programs that statically and dynamically conform to the C99 standard. Thus, it is useful for stress-testing compilers, static analyzers, and other tools that process C code. Csmith has found bugs in every tool that it has tested, and over the last several years we have used it to find and report more than 350 previously-unknown compiler bugs. WWW: http://embed.cs.utah.edu/csmith/ Approved by: bapt (mentor)
2011-10-25 16:54:51 -04:00
bin/compiler_test.in
bin/compiler_test.pl
bin/csmith
- update to 2.1 - remove build patches New features in this release: - By default, functions and global variables are marked as "static" permitting compilers to optimize more aggressivELY IN SOme cases. - We now try harder to get auto-vectorizers and other loop optimizers in trouble by generating code that is more idiomatic and therefore more likely to be optimized. In particular, array indices are in-bounds by construction instead of by using % operators. - Unions are supported. - The comma operator is supported, as in x = (y, 1, z, 3). - Embedded assignments are supported, as in x = 1 + (y = z). - The pre/post increment/decrement operators are supported. - A --no-safe-math mode was added, which avoids calling the safe math wrappers. This is useful when trying to crash compilers but the resulting executables should not be run since they are very likely to have undefined behavior. Feature safe: yes
2011-11-23 00:33:29 -05:00
bin/launchn.pl
bin/test_csmith.pl
include/csmith-2.1.0/csmith.h
include/csmith-2.1.0/csmith_minimal.h
include/csmith-2.1.0/custom_limits.h
include/csmith-2.1.0/custom_stdint_x86.h
include/csmith-2.1.0/platform_avr.h
include/csmith-2.1.0/platform_generic.h
include/csmith-2.1.0/platform_msp430.h
include/csmith-2.1.0/random_inc.h
include/csmith-2.1.0/safe_abbrev.h
include/csmith-2.1.0/safe_math.h
include/csmith-2.1.0/safe_math_macros.h
include/csmith-2.1.0/safe_math_macros_notmp.h
include/csmith-2.1.0/stdint_avr.h
include/csmith-2.1.0/stdint_ia32.h
include/csmith-2.1.0/stdint_ia64.h
include/csmith-2.1.0/stdint_msp430.h
include/csmith-2.1.0/volatile_runtime.c
include/csmith-2.1.0/volatile_runtime.h
include/csmith-2.1.0/windows/stdint.h
Csmith is a tool that can generate random C programs that statically and dynamically conform to the C99 standard. Thus, it is useful for stress-testing compilers, static analyzers, and other tools that process C code. Csmith has found bugs in every tool that it has tested, and over the last several years we have used it to find and report more than 350 previously-unknown compiler bugs. WWW: http://embed.cs.utah.edu/csmith/ Approved by: bapt (mentor)
2011-10-25 16:54:51 -04:00
lib/libcsmith.a
- update to 2.1 - remove build patches New features in this release: - By default, functions and global variables are marked as "static" permitting compilers to optimize more aggressivELY IN SOme cases. - We now try harder to get auto-vectorizers and other loop optimizers in trouble by generating code that is more idiomatic and therefore more likely to be optimized. In particular, array indices are in-bounds by construction instead of by using % operators. - Unions are supported. - The comma operator is supported, as in x = (y, 1, z, 3). - Embedded assignments are supported, as in x = 1 + (y = z). - The pre/post increment/decrement operators are supported. - A --no-safe-math mode was added, which avoids calling the safe math wrappers. This is useful when trying to crash compilers but the resulting executables should not be run since they are very likely to have undefined behavior. Feature safe: yes
2011-11-23 00:33:29 -05:00
lib/libcsmith.la
lib/libcsmith.so
lib/libcsmith.so.0
%%PORTDOCS%%%%DOCSDIR%%/probabilities.txt
Csmith is a tool that can generate random C programs that statically and dynamically conform to the C99 standard. Thus, it is useful for stress-testing compilers, static analyzers, and other tools that process C code. Csmith has found bugs in every tool that it has tested, and over the last several years we have used it to find and report more than 350 previously-unknown compiler bugs. WWW: http://embed.cs.utah.edu/csmith/ Approved by: bapt (mentor)
2011-10-25 16:54:51 -04:00
@dirrm %%DOCSDIR%%
- update to 2.1 - remove build patches New features in this release: - By default, functions and global variables are marked as "static" permitting compilers to optimize more aggressivELY IN SOme cases. - We now try harder to get auto-vectorizers and other loop optimizers in trouble by generating code that is more idiomatic and therefore more likely to be optimized. In particular, array indices are in-bounds by construction instead of by using % operators. - Unions are supported. - The comma operator is supported, as in x = (y, 1, z, 3). - Embedded assignments are supported, as in x = 1 + (y = z). - The pre/post increment/decrement operators are supported. - A --no-safe-math mode was added, which avoids calling the safe math wrappers. This is useful when trying to crash compilers but the resulting executables should not be run since they are very likely to have undefined behavior. Feature safe: yes
2011-11-23 00:33:29 -05:00
@dirrm include/csmith-2.1.0/windows
@dirrm include/csmith-2.1.0
Reference in New Issue Copy Permalink