A visualization plugin for DynamoRIO