>> In which time frame should such a SmPL script be usually executed? > > The rule is_pass_through asks it to analyze every input of every function. > Perhaps it is not surprising that it takes some time.
How are the chances to determine which implementation details from a source file like "/usr/src/linux-stable/drivers/media/pci/ttpci/av7110_ipack.c" cause an especially long processing time? Can the execution durations be measured for the other files in an efficient way where the source code analysis was performed earlier? The Coccinelle software manages timeouts already. Would you like to print execution durations in a specific data format so that they can be better analysed afterwards? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
