Soteria.Profilingmodule Config : sig ... endmodule Flamegraph : sig ... endModule for creating flamegraph files (.folded, using the format described in Brendan Gregg's Flamegraph repository). This system is integrated with the Symex module, making it easy and convenient to use.