Stephen Magill, Thomas DuBuisson: Tutorial: Static Analysis at Scale with Muse. SecDev 2020: 4