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
