>> It's not an easy problem but it could be worthwhile when all >> structure members are never modified after initialization. > > If the structure type is file-local,
This scope limitation sounds promising. Some source code analysis seems to be easier when you can be sure that all the information you need for a specific task is contained in a single file. > it could indeed be possible to do something. I imagine that a general software development challenge remains for further considerations and corresponding technology research. How will the available software tools become better in data flow analysis? Regards, Makrus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
