[Date Prev][Date Next] [Thread Prev][Thread Next] [Date Index] [Thread Index]

Bug#566378: marked as done (ITP: dehydra -- Scriptable static analysis tool for C++)

Your message dated Sat, 10 Apr 2010 19:32:15 +0000
with message-id <E1O0gPf-0006x7-SV@ries.debian.org>
and subject line Bug#566378: fixed in dehydra 0.9.hg20100407-1
has caused the Debian Bug report #566378,
regarding ITP: dehydra -- Scriptable static analysis tool for C++
to be marked as done.

This means that you claim that the problem has been dealt with.
If this is not the case it is now your responsibility to reopen the
Bug report if necessary, and/or fix the problem forthwith.

(NB: If you are a system administrator and have no idea what this
message is talking about, this may indicate a serious mail system
misconfiguration somewhere. Please contact owner@bugs.debian.org
immediately.)


-- 
566378: http://bugs.debian.org/cgi-bin/bugreport.cgi?bug=566378
Debian Bug Tracking System
Contact owner@bugs.debian.org with problems
--- Begin Message --- 
Package: wnpp
Severity: wishlist
Owner: Mike Hommey <glandium@debian.org>

* Package name    : dehydra
  Version         : 0.9.hg20100123
  Upstream Author : Mozilla Corporation
* URL             : https://developer.mozilla.org/en/Dehydra
* License         : GPL2+
  Programming Lang: C, C++, JS, tiny bits of python
  Description     : Scriptable static analysis tool for C++

Dehydra is a lightweight, scriptable, general purpose static analysis tool
capable of application-specific analyses of C++ code. In the simplest
sense, Dehydra can be thought of as a semantic grep tool. It presents a
wealth of semantic information that can be queried with concise
JavaScripts. It is also useful to find bugs in source code as it allows
for much more error checking than C++ is capable of by itself.

Dehydra is built as a GCC plugin, thus it is easy to use for projects that
already support GCC.

Dehydra is also useful for generating language bindings and is used to
bootstrap Treehydra, a heavy-duty static analysis GCC plugin.

(This description is just a copy/paste of
https://developer.mozilla.org/en/Dehydra)

Please note that treehydra is part of the dehydra build, so it will also
be packaged at the same time. As both require gcc 4.5 plugin support, it
will live in experimental.

Anyone interested in co-maintaining this tool is welcome.

Cheers,

Mike

--- End Message ---
--- Begin Message --- 
Source: dehydra
Source-Version: 0.9.hg20100407-1

We believe that the bug you reported is fixed in the latest version of
dehydra, which is due to be installed in the Debian FTP archive:

dehydra_0.9.hg20100407-1.diff.gz
  to main/d/dehydra/dehydra_0.9.hg20100407-1.diff.gz
dehydra_0.9.hg20100407-1.dsc
  to main/d/dehydra/dehydra_0.9.hg20100407-1.dsc
dehydra_0.9.hg20100407-1_amd64.deb
  to main/d/dehydra/dehydra_0.9.hg20100407-1_amd64.deb
dehydra_0.9.hg20100407.orig.tar.gz
  to main/d/dehydra/dehydra_0.9.hg20100407.orig.tar.gz



A summary of the changes between this version and the previous one is
attached.

Thank you for reporting the bug, which will now be closed.  If you
have further comments please address them to 566378@bugs.debian.org,
and the maintainer will reopen the bug report if appropriate.

Debian distribution maintenance software
pp.
Mike Hommey <glandium@debian.org> (supplier of updated dehydra package)

(This message was generated automatically at their request; if you
believe that there is a problem with it please contact the archive
administrators by mailing ftpmaster@debian.org)


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

Format: 1.8
Date: Thu, 08 Apr 2010 09:48:13 +0200
Source: dehydra
Binary: dehydra
Architecture: source amd64
Version: 0.9.hg20100407-1
Distribution: experimental
Urgency: low
Maintainer: Mike Hommey <glandium@debian.org>
Changed-By: Mike Hommey <glandium@debian.org>
Description: 
 dehydra    - Scriptable static analysis tool for C++
Closes: 566378
Changes: 
 dehydra (0.9.hg20100407-1) experimental; urgency=low
 .
   * Initial release. (Closes: #566378)
Checksums-Sha1: 
 cabd87e10135bad0d8a36ed6dc901cd2b0d0aa49 1056 dehydra_0.9.hg20100407-1.dsc
 8bb51971c606cb3e4c53c806d1e314f6b2524e1e 125240 dehydra_0.9.hg20100407.orig.tar.gz
 3f469e8873f32966f91bb8682f01ea5954fd9b1a 1158 dehydra_0.9.hg20100407-1.diff.gz
 00f25d1cc14879fd7d70153d34a623a15896686d 34024 dehydra_0.9.hg20100407-1_amd64.deb
Checksums-Sha256: 
 3e587cfe43614b06b42a8c121903fbedf2eadf7e69e767185abe703056d9dad1 1056 dehydra_0.9.hg20100407-1.dsc
 8ec2a7d2fb5e433cf7dd08b5f6fd29d9797cc702cc8f264f5b70b98cb7a21a83 125240 dehydra_0.9.hg20100407.orig.tar.gz
 6a2886b3757ec44d9d38f16b34aed44be0e8385417d73a9f5873db2dc7b06c3a 1158 dehydra_0.9.hg20100407-1.diff.gz
 68daba6f86fe46e66f4d0b01127db2e7995dee32c36be88eab674419761c2c71 34024 dehydra_0.9.hg20100407-1_amd64.deb
Files: 
 2ad7d1a65251f5202bead5acab713795 1056 devel extra dehydra_0.9.hg20100407-1.dsc
 db450d626e3c8016a0305b901adaa5df 125240 devel extra dehydra_0.9.hg20100407.orig.tar.gz
 2b12740bff20990f29808a04ea2274c6 1158 devel extra dehydra_0.9.hg20100407-1.diff.gz
 de8f92b0c32e27eb52d3709205265c6b 34024 devel extra dehydra_0.9.hg20100407-1_amd64.deb

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

iD8DBQFLvZSE3kvaLFT9KlgRAp2aAJ9UwuMvXgfBb04fccgl7Orb96TLagCgghsM
xGTk0Wq0DtJtxzrir6VnJu0=
=Dyn0
-----END PGP SIGNATURE-----

--- End Message ---
Reply to: