Experiments based on DynamoRIO