Thomas Dubuisson

Tutorial: Static Analysis at Scale with Muse

2020

In this tutorial we will describe how to use the Muse program analysis platform to perform cloud-based static analysis experimentation at scale. We will leverage two key capabilities of Muse: 1) user-provided custom analysis tools …