Re: [Cocci] Searching for format strings with SmPL disjunctions

2020-08-16 Thread Markus Elfring
How do you think about to extend a source code search pattern like the following by using a regular expression as a SmPL constraint? @display@ format F =~ "l{0,2}[diuxX]"; @@ *\("%@F@" \| "%@F@\n"\) Regards, Markus ___ Cocci mailing list Cocci@systeme.

Re: [Cocci] Searching for format strings with SmPL disjunctions

2020-08-16 Thread Markus Elfring
> There are no short term plans for this. Can long term development considerations be influenced for advanced data processing of format strings? Regards, Markus ___ Cocci mailing list Cocci@systeme.lip6.fr https://systeme.lip6.fr/mailman/listinfo/cocci

Re: [Cocci] Searching for format strings with SmPL disjunctions

2020-08-16 Thread Julia Lawall
On Sun, 16 Aug 2020, Markus Elfring wrote: > Can a source code search pattern like the following become ever usable? > > @display@ > @@ > *"%" > ("d" > |"ld" > |"lld" > ) > ("\n" > |"" > ) > > > elfring@Sonne:~/Projekte/Coccinelle/Probe> spatch --parse-cocci > show_usage_of_selected_format_stri

Re: [Cocci] Searching for format strings with SmPL disjunctions

2020-08-16 Thread Markus Elfring
Can a source code search pattern like the following become ever usable? @display@ @@ *"%" ("d" |"ld" |"lld" ) ("\n" |"" ) elfring@Sonne:~/Projekte/Coccinelle/Probe> spatch --parse-cocci show_usage_of_selected_format_strings.cocci … minus: parse error: File "show_usage_of_selected_format_strin