A case for static analyzers in the cloud

Michael Barnett, Mehdi Bouaziz, Manuel Fähndrich et Francesco Logozzo

PDF, 6 pages, 139 Ko
Résumé : 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}
}

Dernière mise à jour : 24 janvier 2014