To aid in increasing the accuracy of the code processor, a multi-pass mechanism could be implemented that will attempt to determine all of the functions in the project and where they are called from. This information will be fed into the final pass, which is the current implementation of the code processor. This information should help greatly in solving the following:
which currently reports less than 100% coverage because either a or b will be unvisited. The information from the previous passes can be fed into the code processor so we can determine that b was called from the skipped block, and thus we can mark it as skipped.