cocci.inria.fr archive mirror
 help / color / mirror / Atom feed
* [Cocci] Concerns around type safety for usage of expressions
@ 2019-11-22  9:24 Markus Elfring
  2019-11-22  9:27 ` Julia Lawall
  0 siblings, 1 reply; 16+ messages in thread
From: Markus Elfring @ 2019-11-22  9:24 UTC (permalink / raw)
  To: Coccinelle

Hello,

The semantic patch language supports source code searches also for uses
of specific data types. Such restricted searches can occasionally be nice.
But we would like to find more software variations often enough.
The consequence is that metavariables of the kind “expression” will usually
be applied. But it becomes uncertain then to which data types the found
expressions will be resolved finally.

We would like to achieve considerably safe software transformations.
Use cases occur then where the correct application of data types
is essential. (The introduction of false positives is undesirable here.)

How much can SmPL scripts help for corresponding changes?

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

^ permalink raw reply	[flat|nested] 16+ messages in thread

end of thread, other threads:[~2019-11-24 10:41 UTC | newest]

Thread overview: 16+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2019-11-22  9:24 [Cocci] Concerns around type safety for usage of expressions Markus Elfring
2019-11-22  9:27 ` Julia Lawall
2019-11-22  9:45   ` Markus Elfring
2019-11-22  9:50     ` Julia Lawall
2019-11-22 10:00       ` Markus Elfring
2019-11-22 10:34         ` Julia Lawall
2019-11-22 10:44           ` Markus Elfring
     [not found]             ` <alpine.DEB.2.21.1911221155320.2793@hadrien>
2019-11-22 11:20               ` Markus Elfring
2019-11-22 12:53                 ` Julia Lawall
2019-11-22 13:17                   ` Markus Elfring
2019-11-22 14:56                   ` Markus Elfring
2019-11-22 15:10                     ` Julia Lawall
2019-11-22 15:19                       ` Markus Elfring
2019-11-23  7:55                       ` [Cocci] Checking influence of variability with SmPL Markus Elfring
2019-11-23 19:36                         ` Julia Lawall
2019-11-24 10:40                           ` Markus Elfring

This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).