[Cocci] Searching for pass-through functions

Julia Lawall julia.lawall at lip6.fr
Sun Oct 5 19:01:28 CEST 2014


On Sun, 5 Oct 2014, SF Markus Elfring wrote:

> >> Can the five issues on which I stumbled during the source code analysis be fixed
> >> anyhow (eventually without the addtion of "--no-…" command options)?
> > 
> > For the timeouts, no they cannot.
> 
> I am surprised by this answer.
> - How many processing hours will the desired analysis need for completion with
> these "special" three source files?

Who knows.  At least the first one has a lot of nested loops and 
conditionals.  This is a case that Coccinelle does not handle well.

> - Can the software situation be improved for the other two issues?

Probably for the lexer.  Perhaps not for the case of inconsistent paths.  
Again that relates to a particular kind of code structure.

julia


More information about the Cocci mailing list