Trail of Bits33PRs merged10Internal authors@smoelius@reytchison@pgoodman@mike-myers-tob@hbrodin@dguido@artemdinaburg@ameily@Smjert@GarretReece