Hello, A bit of information is provided about special “semantics” (also in the manual for the semantic patch language). https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/face14907c0791b93397d5788d2a94c7c6a4b886/docs/manual/cocci_syntax.tex#L1007-1014 Usage possibilities are indicated for the key words “exists” and “forall”. * Would any more software users like to discuss and clarify safer applications of these system configuration parameters? * Would you be looking for better “connections” according to computation tree logic (or linear temporal logic) variations? Regards, Markus
