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----- -- To UNSUBSCRIBE, email to [EMAIL PROTECTED] with a subject of "unsubscribe". Trouble? Contact [EMAIL PROTECTED]
