frama-c 20151002+magnesium+dfsg-1build2 source package in Ubuntu

Changelog

frama-c (20151002+magnesium+dfsg-1build2) yakkety; urgency=medium

  * No-change rebuild against libfindlib-ocaml-ygtb5

 -- Steve Langasek <email address hidden>  Sun, 10 Jul 2016 10:49:02 +0000

Upload details

Uploaded by:
Steve Langasek on 2016-07-10
Uploaded to:
Yakkety
Original maintainer:
Ubuntu Developers
Architectures:
any
Section:
math
Urgency:
Medium Urgency

See full publishing history Publishing

Series Pocket Published Component Section
Artful release on 2017-04-20 universe math
Zesty release on 2016-10-18 universe math
Yakkety release on 2016-07-11 universe math

Downloads

File Size SHA-256 Checksum
frama-c_20151002+magnesium+dfsg.orig.tar.gz 5.8 MiB 53fc3e0da809ab7ae6f5a207c60017297ecc67cacdb5442f4ff0dcd531d8621b
frama-c_20151002+magnesium+dfsg-1build2.debian.tar.xz 21.9 KiB f9b4734ca3ec89836a506a7fd57a76969cf19cabc2be49a5edf2bec196fa0468
frama-c_20151002+magnesium+dfsg-1build2.dsc 2.4 KiB 9ed50e1991785c0bf880f4f7c4a702ba4ec7bcb4d6f0244b2a1552abfaa0ec49

View changes file

Binary packages built by this source

frama-c: Framework for source code analysis of software written in C

 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.

frama-c-base: Platform dedicated to the analysis of source code written in C (without gui)

 Frama-C gathers several analysis techniques in a single collaborative
 framework, based on analyzers (called "plug-ins") that can build upon the
 results computed by other analyzers in the framework.
 .
 Thanks to this approach, Frama-C provides sophisticated tools, including:
   * an analyzer based on abstract interpretation (Value plug-in);
   * a program proof framework based on weakest precondition calculus (WP plug-in);
   * a program slicer (Slicing plug-in);
   * a tool for verification of temporal (LTL) properties (Aora├» plug-in);
   * several tools for code base exploration and dependency analysis
     (plug-ins From, Impact, Metrics, Occurrence, Scope, etc.).
  .
 These plug-ins communicate between each other via the Frama-C API
 and via ACSL (ANSI/ISO C Specification Language) properties.
 .
 This package provides the library of Frama-c which is useful to build
 plugins for Frama-c and the command-line tools.

frama-c-base-dbgsym: debug symbols for package frama-c-base

 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.

frama-c-dbgsym: debug symbols for package frama-c

 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.