* [Cocci] Querying symbol tables in SmPL scripts?
@ 2020-04-14 18:00 Markus Elfring
0 siblings, 0 replies; only message in thread
From: Markus Elfring @ 2020-04-14 18:00 UTC (permalink / raw)
To: Coccinelle
Hello,
The semantic patch language supports to search for various identifiers
in source files. It is often hoped then that a found identifier fits to
a known application context.
But it can happen with generic source code analysis approaches that
a desirable confidence level can not easily be achieved.
Thus I would be looking for additional means to reduce uncertainty about
a software situation considerably. I imagine that a corresponding possibility
would be the use of symbol tables. Such tables provide some information for
known symbols.
How do you think about to take such data structures into account a bit more?
Regards,
Markus
_______________________________________________
Cocci mailing list
Cocci@systeme.lip6.fr
https://systeme.lip6.fr/mailman/listinfo/cocci
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2020-04-14 18:01 UTC | newest]
Thread overview: (only message) (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2020-04-14 18:00 [Cocci] Querying symbol tables in SmPL scripts? 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).