Even just redundant call paths are useful to spot. I recently looked through the standard library of a strongly, statically typed language and found that in one

Even just redundant call paths are useful to spot. I recently looked through the standard library of a strongly, statically typed language and found that in one pretty basic function a validation function was called over 8 times despite reliably returning exactly the same result every time and this tool would highlight that very easily. That's not even mentioning the logic bugs you can spot more easily as well.