csmith-2.3.0.txz


Advertisement

Description

csmith - Generates random C programs that conform to the C99 standard

Property Value
Distribution FreeBSD 12
Repository FreeBSD Ports Latest amd64
Package filename csmith-2.3.0.txz
Package name csmith
Package version 2.3.0
Package release -
Package architecture amd64
Package type txz
Category devel
Homepage http://embed.cs.utah.edu/csmith/
License BSD2CLAUSE
Maintainer mmokhi@FreeBSD.org
Download size 290.77 KB
Installed size 1.02 MB
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/
Options:
- DOCS: on

Alternatives

Package Version Architecture Repository
csmith-2.3.0.txz 2.3.0 i386 FreeBSD Ports Latest
csmith-2.3.0.txz 2.3.0 amd64 FreeBSD Ports Quarterly
csmith-2.3.0.txz 2.3.0 i386 FreeBSD Ports Quarterly
csmith - - -

Requires

Name Value
perl5 = 5.28.1_1

Provides

Name Value
libcsmith.so.0 -

Download

Type URL
Mirror pkg.freebsd.org
Binary Package csmith-2.3.0.txz
Source Package devel/csmith

Install Howto

Install csmith txz package:

# pkg install csmith

See Also

Package Description
csoap-1.1.0_3.txz Client/server SOAP library written in pure C
csocks-1.7_1.txz SOCKS Client v4/v5 RFC Compliant with many features
csound-6.12.2.83_4.txz Sound synthesizer
css-mode-elisp-0.11_1.txz CSS(Cascade Style Sheet) editing mode for Emacsen
cssc-1.4.0_7.txz Workalike for the source code control system SCCS
cssed-0.4.0_11.txz Application to help CSS style sheets creation and maintenance
csso-1.3.9.txz CSS optimizer
csstidy-1.4.txz Opensource CSS parser and optimiser
cstream-3.1.1.txz Like dd(1) tool, precise bandwidth limiting/reporting, fifo, TCP
csv2latex-0.18,1.txz Converts a well formed csv file to a LaTeX document
csvdiff-1.7_1.txz Compare/diff two (comma) separated files with each other
csync2-2.0_2.txz Cluster synchronization tool
ct-submit-1.1.2.txz Submission utility for transparency logs
ctags-5.8.txz Feature-filled tagfile generator for vi and emacs clones
ctcs-1.4.1.txz CTorrent monitoring and managing interface
Advertisement
Advertisement