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

[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.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

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

[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

[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_strings.cocci
> …
> minus: parse error:
>   File "show_usage_of_selected_format_strings.cocci", line 4, column 0, 
> charpos = 18
>   around = '(',
>   whole content = ("d"

There are no short term plans for this.

julia___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci

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

[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_strings.cocci", line 4, column 0, charpos 
= 18
  around = '(',
  whole content = ("d"


Regards,
Markus
___
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci