Filewatcher File Search File Search
Catalog
Content Search
» » » » » »

sparse

semantic parser of source files

Variants:
Sparse, the semantic parser, provides a compiler frontend capable of parsing most of ANSI C as well as many GCC extensions, and a collection of sample compiler backends, including a static analyzer also called "sparse". Sparse provides a set of annotations designed to convey semantic information about types, such as what address space pointers point to, or what locks a function acquires or releases.

Sparse can be invoked directly as "sparse" or via the "cgcc" wrapper around the C compiler.

Homepage:
Package version:0.4.1+git20081218-1
Architecture:amd64
Distribution:Debian
Filename:sparse_0.4.1+git20081218-1_amd64.deb

/usr/share/doc/sparse/README

  sparse (spärs), adj,., spars-er, spars-est.
	1. thinly scattered or distributed; "a sparse population"
	2. thin; not thick or dense: "sparse hair"
	3. scanty; meager.
	4. semantic parse
  	[ from Latin: spars(us) scattered, past participle of
	  spargere 'to sparge' ]

	Antonym: abundant

Sparse is a semantic parser of source files: it's neither a compiler
(although it could be used as a front
more»

/usr/share/doc/sparse/FAQ.gz

	FAQ - Why sparse?

Q.  Why not just use gcc?

A.  Gcc is big, complex, and the gcc maintainers are not interested in
    other uses of the gcc front-end.  In fact, gcc has explicitly
    resisted splitting up the front and back ends and having some common
    intermediate language because or religious license issues - you can
    have multiple front ends and back ends, but they all have to be par
more»

/usr/share/man/man1/cgcc.1.gz

cgcc(1)                                                      cgcc(1)



NAME
       cgcc - Compiler wrapper to run Sparse after compiling

SYNOPSIS
       cgcc   [SPARSE   OPTIONS]...   [COMPILER  OPTIONS]...  [INPUT
       FILES]...
       make CC=cgcc

DESCRIPTION
       cgcc provides a wrapper around a C compiler (cc  by  default)
       which also invokes the Sparse static analysis tool.

    
more»

/usr/share/man/man1/sparse.1.gz

sparse(1)                                                  sparse(1)



NAME
       sparse - Semanti
more»

/usr/share/doc/sparse/changelog.Debian.gz

sparse (0.4.1+git20081218-1) unstable; urgency=low

  * Make git snapshot up to e3bff51. This espcia
more»

/usr/share/doc/sparse/copyright

 Debianizer
 ==========

This package was debianized by Loic Minier <lool@dooz.org> on
Thu,  9 Nov 2
more»

Browse inside sparse_0.4.1+git20081218-1_amd64.deb

         [DIR]DEBIAN/ (2)  65535+ mirrors
         [DIR]usr/ (4)  65535+ mirrors

Download sparse_0.4.1+git20081218-1_amd64.deb

Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com