Re: [Cocci] Replacing calls of general functions by more specific ones with SmPL
>> How much would you like to increase the support for data processing around >> macros >> with your software? > > Ther are no particular plans in this direction. How does this kind of feedback fit to an information like “Add identifier list metavariables for #define parameter lists” from the recent software release? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] Replacing calls of general functions by more specific ones with SmPL
>> I have got a few concerns for further software development considerations. >> How do you think about to support also an advanced interface by which it >> could be >> determined if a preprocessor symbol would correspond to such a desired >> character >> (instead of fiddling with regular expressions within a rule for the embedded >> programming >> language script)? > > What C code are you concerned about exactly? I guess that this "story" affects some general aspects. After I got a better understanding of related software dependencies, I begin to think also about further possibilities to make such a source code search pattern safer and more efficient. How much would you like to increase the support for data processing around macros with your software? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] Replacing calls of general functions by more specific ones with SmPL
>> Will it occasionally matter then to distinguish better if a specific source >> code >> fragment or a complete source file should be excluded from an analysis run >> on demand? > > I have no idea what you mean by this. I assume that there are more chances. I am just unsure around the application of a function call like "cocci.include_match(False)" so far. > But since I know very little about this printing problem in general, It is not a "problem". - Is it just the beginning for another software development challenge (or adventure)? > I doubt that I can give an answer. I imagine that we can exchange some ideas to improve the affected software situation further, can't we? > Try it and see what requirements turn up. Which items will be picked up for further clarification? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] Replacing calls of general functions by more specific ones with SmPL
On Sat, 15 Oct 2016, SF Markus Elfring wrote: > >> I do not see the way so far how desired data could be extracted from a > >> function > >> (or expression?) parameter. Would you like to make the introspection > >> options a bit > >> clearer for the SmPL interface? > > > > You can inherit and test properties of anything you like in python or ocaml > > code. > > I have got an SmPL approach working. > > > > If you inherit some kind of metavariable other than a position variable, > > the term will be represented as a string. > > This software design aspect might look sufficient for a basic variant of the > discussed > source code search pattern. > > > > But that should be fine for detecting eg if a string has only one character. > > I have got a few concerns for further software development considerations. > How do you think about to support also an advanced interface by which it > could be > determined if a preprocessor symbol would correspond to such a desired > character > (instead of fiddling with regular expressions within a rule for the embedded > programming > language script)? What C code are you concerned about exactly? julia ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci
Re: [Cocci] Replacing calls of general functions by more specific ones with SmPL
>> I do not see the way so far how desired data could be extracted from a >> function >> (or expression?) parameter. Would you like to make the introspection options >> a bit >> clearer for the SmPL interface? > > You can inherit and test properties of anything you like in python or ocaml > code. I have got an SmPL approach working. > If you inherit some kind of metavariable other than a position variable, > the term will be represented as a string. This software design aspect might look sufficient for a basic variant of the discussed source code search pattern. > But that should be fine for detecting eg if a string has only one character. I have got a few concerns for further software development considerations. How do you think about to support also an advanced interface by which it could be determined if a preprocessor symbol would correspond to such a desired character (instead of fiddling with regular expressions within a rule for the embedded programming language script)? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci