Tutorial: Static Analysis at Scale with Muse

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 can be easily plugged into the system and 2) APIs are available to initiate analysis and collect analysis results. We will show how to make use of these capabilities by guiding attendees through the process of integrating and experimenting with a tool of their choice. Attendees will come away from the tutorial knowing how to make use of Muse to facilitate and accelerate their program analysis research.