Goodman, P., & Kumar, A. Multiplier [Computer software]. https://github.com/trailofbits/multiplier