[klee-dev] Branch coverage, statement covergate

[Giuseppe Di Guglielmo]

Dear all,
is there a way to measure branch coverage and statement coverage at source
level? Does exist any external tools for that?

'klee-stats' and 'kcachegrind' provide results in terms of byte-code, i.e.
ICov(%), BCov(%), ICount.

Thank you,
G.