DynamoRIO
Design Documents