On Wed, 14 Dec 2016, SF Markus Elfring wrote:
> Hello,
>
> I am using the following bit of code for semantic patch language scripts.
>
> …
> @find_static depends on safety_check@
> identifier safety_check.work;
> position safety_check.pos;
> @@
> static void work@pos(...)
> {
> ...
> }
> …
>
>
> The Coccinelle software was extended for the handling of special constraints
> by the execution of embedded scripts in supported programming languages
> to some degree.
> I got the idea that this functionality could also be used now to check
> the usage of a storage-class specifier like “static” in data types for further
> source code analysis approaches.
>
> * How should such a specifier be determined by the programming interfaces
> of “Coccilib”?
>
> * Would you like to compare run time characteristics for the execution
> of the shown SmPL rule and a similar constraint implemented as
> an OCaml (or Python) script?
I have no idea what you are talking about.
What is wrong with the rule that is shown?
julia_______________________________________________
Cocci mailing list
[email protected]
https://systeme.lip6.fr/mailman/listinfo/cocci
