[Daca-general] undertaker and DACA

[Julia Lawall]

On Thu, 27 Jan 2011, Raphael Geissert wrote:

> Hi Reinhard,
> 
> I was reading about VAMOS and the undertaker (thanks to Julia for bringing it 
> to my attention) and was wondering how could Debian use it.
> 
> From what I understand, the main check now is detecting dead code based on 
> configuration models.
> 
> Does that mean there's no benefit from using it unless a per-software project 
> model is written?

My understanding is that they construct a model from the Linux Kconfig 
information.  But I can check with the authors.

> or can it detect impossible cases such as [1]?

That is indeed an interesting example :)

julia

> Do you think it would make sense to integrate the undertaker as part of DACA?
> 
> Thanks in advance.
> 
> [1] http://sourceforge.net/apps/trac/cppcheck/ticket/1467
> 
> Regards,
> -- 
> Raphael Geissert - Debian Developer
> www.debian.org - get.debian.net
>