Michael Barnett, Mehdi Bouaziz, Manuel Fähndrich, and Francesco Logozzo
A case for static analyzers in the cloud
in 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013), March 2013
- PDF, 6 pages, 139 KB
- Abstract: We describe our ongoing effort of moving a desktop static analyzer, Clousot, into a cloud-based one, Cloudot. A cloud-based static analyzer runs as a service. Clients issue analysis requests through the local network or over the internet. The analysis takes advantage of the large computation resources offered by the cloud: the underlying infrastructure ensures scaling and virtually unlimited storage. Cloud-based analyzers may relax performance-precision trade-offs usually associated with desktop-based analyzers. More cores enable more precise and responsive analyses. More storage enables full caching of the analysis results, shareable among different clients, and queryable off-line. To realize these advantages, cloud-based analyzers need to be architected differently than desktop ones.
- @inproceedings{BarnettBouazizFahndrichLogozzo-Bytecode13,
author = {Michael Barnett and Bouaziz, Mehdi and Manuel Fähndrich and Francesco Logozzo},
title = {A case for static analyzers in the cloud},
year = {2013},
month = {March},
booktitle = {8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation (Bytecode 2013)},
url = {http://www.bouaziz.me/p/BarnettBouazizFahndrichLogozzo-Bytecode13.pdf}
}
Last update: January 24, 2014