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

frama-c

Framework for source code analysis of software written in C

Variants:
Frama-C is a framework dedicated to the analysis of the source code of software written in C.

Frama-C gathers several static analysis techniques in a single collaborative framework. The collaborative approach of Frama-C allows static analyzers to build upon the results already computed by other analyzers in the framework. Thanks to this approach, Frama-C provides sophisticated tools, such as a slicer and dependency analysis.

It can be used to: * Validate the source code formally * Look for potential runtime errors * Audit or review it * Reverse engineer it to understand its structure * Generate formal documentation

This package provides the graphical user interface of Frama-c and depends on frama-c-base.

Homepage:
Package version:20111001+nitrogen+dfsg-4
Architecture:amd64
Distribution:Debian
Filename:frama-c_20111001+nitrogen+dfsg-4_amd64.deb

/usr/share/doc/frama-c/README.Debian

frama-c for Debian
------------------

Several files and directories are deleted from upstream's tarball:
- ocamlgraph.tar.gz: exists in a Debian package.
- why/: exists in a Debian package and exports the jessie library
- doc/manuals/: Documentation without sources.
- cil/doc/: Documentation without sources.
- src/impact and src/security : Proprietary code.
- tests/test/adpcm.c: File without lice
more»

/usr/share/doc/frama-c/changelog.Debian.gz

frama-c (20111001+nitrogen+dfsg-4) unstable; urgency=low

  * Port to OCamlgraph 1.8.2
    - add 0007-Port-to-OCamlgraph-1.8.2.patch
  * Bump Standards-Version to 3.9.3, no changes needed

 -- Mehdi Dogguy <mehdi@debian.org>  Wed, 16 May 2012 14:58:29 +0200

frama-c (20111001+nitrogen+dfsg-3) unstable; urgency=low

  * Include patchlevel2 for Nitrogen 20111001.
    - add debian/patches/0006-Patchl
more»

/usr/share/doc/frama-c/changelog.gz

###############################################################################
# Preliminary notes:                                                          #
# ------------------                                                          #
# Mark "-": change with an impact for users (and possibly developers).        #
# Mark "o": change with an impact for developers only.                        #

more»

/usr/share/doc/frama-c/TODO.Debian

- Make sure (when frama-c team will start to use alt-ergo) that they
  call 'alt-ergo' instead of '
more»

/usr/share/doc/frama-c/copyright

Format-Specification: http://wiki.debian.org/Proposals/CopyrightFormat
Packaged-By: Mehdi Dogguy <me
more»

Browse inside frama-c_20111001+nitrogen+dfsg-4_amd64.deb

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

Download frama-c_20111001+nitrogen+dfsg-4_amd64.deb

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