These words document the construction of a binary static analysis framework.