Static Analysis Using the Cloud
Rahul Kumar (Microsoft Research, Redmond, WA, USA), Chetan Bansal, (Microsoft Research, Redmond, WA, USA), Jakob Lichtenberg (Microsoft,, Redmond, WA, USA)
TL;DR
This paper discusses leveraging Microsoft Azure cloud for static analysis, enhancing performance and scalability of Static Driver Verifier, and introducing a flexible platform for cloud-based static analysis of modules.
Contribution
It extends Static Driver Verifier for cloud deployment, demonstrating improved performance, and introduces the Static Module Verifier platform with cloud integration support.
Findings
Azure deployment improves analysis speed
Cloud configurations outperform local setups
Platform supports flexible static analysis workflows
Abstract
In this paper we describe our experience of using Microsoft Azure cloud computing platform for static analysis. We start by extending Static Driver Verifier to operate in the Microsoft Azure cloud with significant improvements in performance and scalability. We present our results of using SDV on single drivers and driver suites using various configurations of the cloud relative to a local machine. Finally, we describe the Static Module Verifier platform, a highly extensible and configurable platform for static analysis of generic modules, where we have integrated support for verification using a cloud services provider (Microsoft Azure in this case).
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.