[infinispan-dev] Using Coverity scan?

[Sanne Grinovero]

Hello,
sorry to revive a year-old thread, but would really love to get us
covered by Coverity.
I'm currently inspecting a very hard to track bug, I guess there is some missing
synchronization, so this or suggestions for other tools for dynamic
analysis would be great.

Sanne

2009/11/30 Manik Surtani <manik at jboss.org>:
> Good idea, I'll ping them ...
>
> On 29 Nov 2009, at 15:51, Sanne Grinovero wrote:
>
>> Hello,
>> Did you consider enabling Infinispan to be monitored by coverity's
>> code analysis services? They are free for OSS projects, I saw a demo
>> recently and was quite amazed. It's similar to FindBugs, but not only
>> about static code checks. They checkout your code from trunk and then
>> run several analysis on it periodically, one of them is about dynamic
>> thread behavior to predict deadlocks or missing fences instrumenting
>> the code, and produce nice public reports; AFAIK you don't need to
>> setup anything yourself, besides getting in touch to ask for it.
>> It's only available for C and Java code, and they have an impressive
>> list of OSS projects in the C world (linux kernel, httpd server,
>> samba, gnome, GCC, PostgreSQL, ...) but not much on Java.
>> http://scan.coverity.com/
>>
>> No, I'm not affiliated :-) Just thinking that it might be useful to
>> have if it's not too hard to setup.
>> Cheers,
>> Sanne
>> _______________________________________________
>> infinispan-dev mailing list
>> infinispan-dev at lists.jboss.org
>> https://lists.jboss.org/mailman/listinfo/infinispan-dev
>
> --
> Manik Surtani
> manik at jboss.org
> Lead, Infinispan
> Lead, JBoss Cache
> http://www.infinispan.org
> http://www.jbosscache.org
>
>
>
>
> _______________________________________________
> infinispan-dev mailing list
> infinispan-dev at lists.jboss.org
> https://lists.jboss.org/mailman/listinfo/infinispan-dev
>