Don't know of anything that works on the source code level but static analysis in profilers does that for the object code (ones I use are proprietary but I imag

Don't know of anything that works on the source code level but static analysis in profilers does that for the object code (ones I use are proprietary but I imagine something like V-Tune does this as well).