I have used JaCoco for line coverage in a previous project. Although line coverage in IClassCoverage just gives you a ICounter which has only the counts just like the branch coverage, IClassCoverage inherits ISourceNode which has information for each line, which makes the line coverage a bit of special among the others. So the only way I can think of to match the branches in JaCoco is tampering the JaCoco instrumentation procedure which I think is over-killing. I'd rather use Wala to get the control flow graph and match the line coverage from JaCoco. Is there any tool that can tell me about the exact branches?
If a tool knows whether a specific branch has been executed, it knows the set of all branches that have been executed, trivially by enumerating every branch and asking if it has been executed.
Here is a tool (from my company) that knows exactly what branches have been covered; there's even a tab to select exactly that list.
It can also produce a list of covered branches, and the associated line numbers for each covered branch.