From: Ingo Molnar <mingo@elte.hu>
To: Jiri Slaby <jirislaby@gmail.com>
Cc: Johannes Berg <johannes@sipsolutions.net>,
Peter Zijlstra <a.p.zijlstra@chello.nl>,
linux-kernel@vger.kernel.org, kernel-janitors@vger.kernel.org
Subject: Re: Stanse 1.0.0 released [was: wireless: wl12xx, fix lock
Date: Mon, 12 Oct 2009 10:47:06 +0000 [thread overview]
Message-ID: <20091012104706.GA4599@elte.hu> (raw)
In-Reply-To: <4AD300C8.3090502@gmail.com>
* Jiri Slaby <jirislaby@gmail.com> wrote:
> On 07/18/2009 06:10 PM, Ingo Molnar wrote:
> >>> Plus static tools like Jiri is working on are very useful as
> >>> well. I think Coverty does that too and it's a pity we dont have
> >>> free tools for that. In fact Covery will sweep clean the kernel
> >>> of such bugs, giving OSS tools like 'stanse' the false
> >>> impression that there are no such bugs. There are such bugs -
> >>> there's a constant influx of them. So please work on this, it
> >>> looks very useful.
> >>
> >> What's "this" in this context?
> >
> > this = stanse, the static code analyzing thing Jiri mentioned he is
> > working on. The webpage says it will be under the GPL - that's good.
> > Jiri, any release date for the source code?
>
> Hi all. I'm pleased to announce the first official Stanse release.
>
> For those who are interested, the tool (with other information and
> documentation) is available at
> http://stanse.fi.muni.cz/
the list of bugs found:
http://stanse.fi.muni.cz/bugs.html
is already impressive!
Ingo
WARNING: multiple messages have this Message-ID (diff)
From: Ingo Molnar <mingo@elte.hu>
To: Jiri Slaby <jirislaby@gmail.com>
Cc: Johannes Berg <johannes@sipsolutions.net>,
Peter Zijlstra <a.p.zijlstra@chello.nl>,
linux-kernel@vger.kernel.org, kernel-janitors@vger.kernel.org
Subject: Re: Stanse 1.0.0 released [was: wireless: wl12xx, fix lock imbalance]
Date: Mon, 12 Oct 2009 12:47:06 +0200 [thread overview]
Message-ID: <20091012104706.GA4599@elte.hu> (raw)
In-Reply-To: <4AD300C8.3090502@gmail.com>
* Jiri Slaby <jirislaby@gmail.com> wrote:
> On 07/18/2009 06:10 PM, Ingo Molnar wrote:
> >>> Plus static tools like Jiri is working on are very useful as
> >>> well. I think Coverty does that too and it's a pity we dont have
> >>> free tools for that. In fact Covery will sweep clean the kernel
> >>> of such bugs, giving OSS tools like 'stanse' the false
> >>> impression that there are no such bugs. There are such bugs -
> >>> there's a constant influx of them. So please work on this, it
> >>> looks very useful.
> >>
> >> What's "this" in this context?
> >
> > this == stanse, the static code analyzing thing Jiri mentioned he is
> > working on. The webpage says it will be under the GPL - that's good.
> > Jiri, any release date for the source code?
>
> Hi all. I'm pleased to announce the first official Stanse release.
>
> For those who are interested, the tool (with other information and
> documentation) is available at
> http://stanse.fi.muni.cz/
the list of bugs found:
http://stanse.fi.muni.cz/bugs.html
is already impressive!
Ingo
next prev parent reply other threads:[~2009-10-12 10:47 UTC|newest]
Thread overview: 16+ messages / expand[flat|nested] mbox.gz Atom feed top
2009-07-13 21:24 [PATCH] wireless: wl12xx, fix lock imbalance Jiri Slaby
2009-07-13 21:40 ` Johannes Berg
2009-07-13 21:44 ` Jiri Slaby
2009-07-13 21:49 ` Jiri Slaby
2009-07-13 21:49 ` Johannes Berg
2009-07-13 21:51 ` Jiri Slaby
2009-07-13 21:54 ` Johannes Berg
2009-07-18 11:19 ` Ingo Molnar
2009-07-18 11:33 ` Johannes Berg
2009-07-18 16:10 ` Ingo Molnar
2009-07-26 8:00 ` stanse [was: wireless: wl12xx, fix lock imbalance] Jiri Slaby
2009-10-12 10:11 ` Stanse 1.0.0 released " Jiri Slaby
2009-10-12 10:11 ` Jiri Slaby
2009-10-12 10:47 ` Ingo Molnar [this message]
2009-10-12 10:47 ` Ingo Molnar
2009-07-14 5:44 ` [PATCH] wireless: wl12xx, fix lock imbalance Luciano Coelho
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
Avoid top-posting and favor interleaved quoting:
https://en.wikipedia.org/wiki/Posting_style#Interleaved_style
* Reply using the --to, --cc, and --in-reply-to
switches of git-send-email(1):
git send-email \
--in-reply-to=20091012104706.GA4599@elte.hu \
--to=mingo@elte.hu \
--cc=a.p.zijlstra@chello.nl \
--cc=jirislaby@gmail.com \
--cc=johannes@sipsolutions.net \
--cc=kernel-janitors@vger.kernel.org \
--cc=linux-kernel@vger.kernel.org \
/path/to/YOUR_REPLY
https://kernel.org/pub/software/scm/git/docs/git-send-email.html
* If your mail client supports setting the In-Reply-To header
via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line
before the message body.
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.