利用云计算进行静态分析
分布式、并行与集群计算
2016-10-27 v1 软件工程
摘要
在本文中，我们描述了使用 Microsoft Azure 云计算平台进行静态分析的经验。我们首先扩展了 Static Driver Verifier 以在 Microsoft Azure 云中运行，并在性能和可扩展性方面取得了显著提升。我们展示了相对于本地机器，在各种云配置下对单个驱动程序和驱动程序套件使用 SDV 的结果。最后，我们描述了 Static Module Verifier 平台，这是一个用于通用模块静态分析的高度可扩展和可配置的平台，我们在其中集成了使用云服务提供商（本例中为 Microsoft Azure）进行验证的支持。
引用
@article{arxiv.1610.08198,
title = {Static Analysis Using the Cloud},
author = {Rahul Kumar and Chetan Bansal and Jakob Lichtenberg},
journal= {arXiv preprint arXiv:1610.08198},
year = {2016}
}
备注
In Proceedings iFMCloud 2016, arXiv:1610.07700