> I want to check whether all accesses to any part of some struct are locked.
I imagine that you will need to perform data-flow analysis for such a task. I guess that there are some software development challenges to achieve it with the semantic patch language. > struct B *b; > ... > b->bar->foo; Are you eventually concerned about the handling of such pointer access chains? > If B, I wanted to implement it but got totally lost in the code. Would you like to increase your efforts for the software development with the programming language "OCaml"? Regards, Markus _______________________________________________ Cocci mailing list [email protected] https://systeme.lip6.fr/mailman/listinfo/cocci
