Trail of Bits47PRs merged12Internal authors@woodruffw@tcode2k16@sschriner@oldsj@lordidiot@kokrui@gustavo-grieco@facutuesca@ehennenfent@artemdinaburg@agroce@Boyan-MILANOV