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:kfreebsd-i386
Distribution:Debian
Filename:frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.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_kfreebsd-i386.deb

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

Download frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb

2012-05-15  ftp://ftp.lt.debian.org/…c/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://mirror.de.leaseweb.net/…frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://mirror.eu.oneandone.net/…frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://ftp.zcu.cz/…/frama-c/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://ftp.kaist.ac.kr/…a-c/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://ftp4.de.freebsd.org/…frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://ftp3.pl.freebsd.org/…frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://mirrors.200p-sf.sonic.net/…frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://debian.telecoms.bg/…/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://mirror.1000mbps.com/…frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://92.53.112.226/…ama-c/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://91.227.204.245/…ma-c/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://213.171.196.202/…a-c/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://149.210.210.110/…a-c/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
2012-05-15  ftp://149.210.210.110/…a-c/frama-c-base_20111001+nitrogen+dfsg-4_kfreebsd-i386.deb
more download mirrors»
Results 1 - 1 of 1
Help - FTP Sites List - Software Dir.
Search over 15 billion files
© 1997-2016 FileWatcher.com