Re: [cocci] Searching for repeated source code with SmPL?

[Markus Elfring <Markus.Elfring@web.de>]

> Source code parts can occasionally be repeated.
>
> * Loops
>   The control flow can contain ordinary loops.
>
> * Recursion
>   A function may be called by itself.
>
>
> Such constructs trigger special consequences also for further data processing
> with higher level technologies.
>
> + Computation tree logic
>
> + Linear temporal logic
>
>
> I am still looking for clarifications so that the Coccinelle software
> can be applied in safer ways.

Would you like to acknowledge that data processing is influenced also
according to handling of loops and recursion by the means of the provided
technology “computation tree logic with variables and witnesses”?

Do you find a paper like “Cycle Detection in Computation Tree Logic”
interesting for corresponding adjustments?
https://www.fabiomogavero.com/publications/jarticles/2018/fmmps(ic18).pdf
https://dx.doi.org/10.1016/j.ic.2018.09.007

Regards,
Markus