Messages in this thread | | | Date | Sun, 26 Jul 2009 10:00:27 +0200 | From | Jiri Slaby <> | Subject | stanse [was: wireless: wl12xx, fix lock imbalance] |
| |
On 07/18/2009 06:10 PM, Ingo Molnar wrote: > 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?
Sorry for the delay. We are currently rewriting the core: we added interprocedural analysis and some false-positives killers. We also merged thread-checker (it can catch (not only) circular lock deps like in [1]). We are finishing, but it needs some testing, so I would say in about a month.
[1] http://lkml.indiana.edu/hypermail/linux/kernel/0904.1/03221.html
| |