Varangian: A Git Bot for Augmented Static Analysis. - Saurabh Pujar; Yunhui Zheng; Luca Buratti; Burn L. Lewis; Alessandro Morari; Jim Laredo; Kevin Postlethwait; Christoph Görn (MSR, 2022)