probe: systematic capture and processing of dynamic program state