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

frama-c-base

Framework for C source code analysis (without gui)

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 library of Frama-c which is useful to build plugins for Frama-c and the command-line tools.

Homepage:
Package version:20111001+nitrogen+dfsg-4
Architecture:s390
Distribution:Debian
Filename:frama-c-base_20111001+nitrogen+dfsg-4_s390.deb

/usr/share/man/man1/frama-c.1.gz

FRAMA-C(1)                                                FRAMA-C(1)



NAME
       frama-c[.byte] - a static analyzer for C programs

       frama-c-gui[.byte] - the graphical interface of frama-c


SYNOPSIS
       frama-c [ options ] files


DESCRIPTION
       frama-c  is  a  suite  of  tools dedicated to the analysis of
       source code written in C.  It gathers several static analysis
     
more»

/usr/share/doc/frama-c-base/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-base/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-base/copyright

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

Browse inside frama-c-base_20111001+nitrogen+dfsg-4_s390.deb

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

Download frama-c-base_20111001+nitrogen+dfsg-4_s390.deb

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