sparse_0.5.0-1build1_i386.deb


Advertisement

Description

sparse - semantic parser of source files

Distribution: Ubuntu 16.04 LTS (Xenial Xerus)
Repository: Ubuntu Universe i386
Package name: sparse
Package version: 0.5.0
Package release: 1build1
Package architecture: i386
Package type: deb
Installed size: 5.62 KB
Download size: 1.46 MB
Official Mirror: archive.ubuntu.com
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.

Alternatives

    Download

    Source package: sparse

    Install Howto

    1. Update the package index:
      # sudo apt-get update
    2. Install sparse deb package:
      # sudo apt-get install sparse

    Files

    • /usr/bin/c2xml
    • /usr/bin/cgcc
    • /usr/bin/sparse
    • /usr/bin/sparse-llvm
    • /usr/bin/sparsec
    • /usr/bin/test-inspect
    • /usr/include/sparse/allocate.h
    • /usr/include/sparse/bitmap.h
    • /usr/include/sparse/compat.h
    • /usr/include/sparse/dissect.h
    • /usr/include/sparse/expression.h
    • /usr/include/sparse/flow.h
    • /usr/include/sparse/ident-list.h
    • /usr/include/sparse/lib.h
    • /usr/include/sparse/linearize.h
    • /usr/include/sparse/parse.h
    • /usr/include/sparse/ptrlist.h
    • /usr/include/sparse/scope.h
    • /usr/include/sparse/storage.h
    • /usr/include/sparse/symbol.h
    • /usr/include/sparse/target.h
    • /usr/include/sparse/token.h
    • /usr/lib/libsparse.a
    • /usr/lib/pkgconfig/sparse.pc
    • /usr/share/doc/sparse/FAQ
    • /usr/share/doc/sparse/changelog.Debian.gz
    • /usr/share/doc/sparse/copyright
    • /usr/share/man/man1/cgcc.1.gz
    • /usr/share/man/man1/sparse.1.gz

    Changelog

    2016-02-06 - Matthias Klose <doko@ubuntu.com> sparse (0.5.0-1build1) xenial; urgency=medium * No-change rebuild for ncurses6 transition.

    2015-11-03 - Uwe Kleine-König <ukleinek@debian.org> sparse (0.5.0-1) unstable; urgency=medium * new upstream release (Closes: #743923) - upstream relicensed under MIT (Closes: #524319) * provide PREFIX already at build time (Closes: #660274) * Standards-Version: 3.9.6 (no changes needed) * Merge 0.4.5~rc1-2, thanks to Andreas Beckmann * Take over maintenance, drop Loïc from Uploaders (Closes: #794643) * cherry-pick patches from upstream to make sparse multi-arch aware (Closes: #755979)

    2015-09-09 - Andreas Beckmann <anbe@debian.org> sparse (0.4.5~rc1-2~deb8u1) jessie; urgency=medium * QA upload. * Rebuild for jessie.

    2015-08-08 - Andreas Beckmann <anbe@debian.org> sparse (0.4.5~rc1-2) unstable; urgency=medium [ Andreas Beckmann ] * QA upload. * Set maintainer to Debian QA Group. (See #794643) * Fix Homepage and Vcs-Browser URLs. * Refresh patch to apply without fuzz. [ Uwe Kleine-König ] * Cherry-pick commit from upstream to fix build failure with llvm-3.5. * Temporarily build-depend on libedit-dev because llvm-config claims to need that. (Closes: #793197)

    2013-06-15 - Loïc Minier <lool@debian.org> sparse (0.4.5~rc1-1) unstable; urgency=low [ Uwe Kleine-König ] * new upstream release candidate * switch to debhelper 9 to get hardend binaries * Standards-Version: 3.9.4 (no changes needed) * Add patch to add --as-needed to LDFLAGS (except for LLVM). * Add missing ${perl:Depends}. [ Loïc Minier ] * Use my Debian address in control. * Update Vcs fields to use anonscm URLs. * Don't repeat Section and Priority in binary package stanza. * Fix typo in copyright file. * Add watch file. * Build sparse-llvm by adding llvm-dev (>= 3.0~) build-dep. * Add patch to pass CFLAGS and CPPFLAGS from rules to Makefile, notably hardening flags.

    2011-05-07 - Pierre Habouzit <madcoder@debian.org> sparse (0.4.3+20110419-1) unstable; urgency=low * Merge upstream up to 87f4a7fda3d17: + Fixes build with gcc-4.6 (Closes: 625962).

    2011-03-19 - Pierre Habouzit <madcoder@debian.org> sparse (0.4.3-1) unstable; urgency=low * New upstream release (Closes: #587005): + inline forward declarations are now allowed (Closes: #607432). * Update Homepage (Closes: #566605). * Bump standards versions to 3.9.1. * Switch from cdbs to debhelper. * Add libxml2-dev and libgtk2.0-dev to build-depends to build new tools (Closes: #608592).

    2007-11-18 - Pierre Habouzit <madcoder@debian.org> sparse (0.4.1-1) unstable; urgency=low * New upstreal release. * (debian/control): + rename XS-VCS-* headers into VCS-*. + have a real Homepage header.

    2007-10-12 - Pierre Habouzit <madcoder@debian.org> sparse (0.4-2) unstable; urgency=low * Upload to unstable.

    2007-10-10 - Pierre Habouzit <madcoder@debian.org> sparse (0.4-1) experimental; urgency=low * New upstream release: closes: #426143, #444879: + (debian/copyright): update copyrights. * Take over maintainance with permission from Loïc. * (debian/control): + add XS-Vcs-* headers. + add XS-autobuild: Yes. * (debian/sparse.manpages): install cgcc.1, sparse.1.

    Advertisement
    Advertisement