what tool do you use to verify that every possible path your program, including all errors paths in dependencies, is executed?
But in this case you don't need to know about what paths have been executed. It will be obvious that an error path was not handled when your program does not adhere to function that is documented.