tx-coverage. Reveal unused code of a live smart contract by collecting coverage from historical transactions.