Bug#484234: RFP: frama-c -- framework for source code analysis of software written in C

[Y Giridhar Appaji Nag <giridhar@appaji.net>]

Package: wnpp
Severity: wishlist

-----BEGIN PGP SIGNED MESSAGE-----
Hash: SHA1

* Package name    : frama-c
  Version         : 20080501
  Upstream Author : Software Reliability Laboratory (LSL) http://www-list.cea.fr/labos/gb/LSL/index.html and INRIA ProVal project http://www.inria.fr/saclay/
* URL             : http://frama-c.cea.fr/
* License         : GPL
  Programming Lang: OCaml
  Description     : framework for source code analysis of software written in C

Frama-C is a suite of tools dedicated to the analysis of the source code of
software written in C.  It can be used on C programs to
 .
 * Validate it formally
 * Look for potential runtime errors
 * Audit or review it
 * Reverse engineer it to understand its structure
 * Generate formal documentation

- -- System Information:
Debian Release: lenny/sid
  APT prefers testing
  APT policy: (900, 'testing'), (800, 'unstable'), (700, 'experimental')
Architecture: i386 (i686)

Kernel: Linux 2.6.25-2-686 (SMP w/1 CPU core)
Locale: LANG=en_IN, LC_CTYPE=en_IN (charmap=UTF-8)
Shell: /bin/sh linked to /bin/bash

-----BEGIN PGP SIGNATURE-----
Version: GnuPG v1.4.6 (GNU/Linux)

iD8DBQFIROds4eu+pR04mIcRAjIOAKDEigq6pvlSUtWsa1aR9+r6WeQeTgCgw8WT
qswq4fqOQTZnqRLB9xSuFZ0=
=080s
-----END PGP SIGNATURE-----