https://github.com/jplevyak/ifa
IFA, Iterative Flow Analysis is a combined data-flow and control flow analysis. It is capable of resolving the concrete types (as opposed to the nominal
or declared types) and the interprocedural callgraph for statically or dynamically typed programs.
FunctionCheck is a profiler for C/C++ programs, based on gcc V4.6.3+.
Features are flat profile, cycles detection, call-graph, MIN/MAX time in functions, memory profiling, profiling control at execution...