[cocci] Improving profiling with Coccinelle?

Hello,

Run time analyses are supported also by the Coccinelle software to some degree.
https://gitlab.inria.fr/coccinelle/coccinelle/-/blob/03a1af0a3316ddfc2b54d827b8b9627a841c85c9/docs/manual/spatch_options.tex#L762-766
https://en.wikipedia.org/wiki/Profiling_(computer_programming)

I am still looking for detailed information on more helpful data formats
and corresponding documentation.

Regards,
Markus