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
