a fast, flexible trace analysis core