The design and evaluation of path matching schemes on compressed control flow traces