A case for static analyzers in the cloud

Michael Barnett 1 Mehdi Bouaziz 2, 3, * Francesco Logozzo 1 Manuel Fähndrich 1
* Auteur correspondant
2 ABSTRACTION - Abstract Interpretation and Static Analysis
DI-ENS - Département d'informatique de l'École normale supérieure, Inria Paris-Rocquencourt, CNRS - Centre National de la Recherche Scientifique : UMR 8548
3 Abstraction
LIENS - Laboratoire d'informatique de l'école normale supérieure
Abstract : A cloud-based static analyzer runs as 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 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 perfect 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. We describe our ongoing effort of moving a desktop analyzer, Clousot, into a cloud-based one, Cloudot.
Type de document :
Communication dans un congrès
Miguel Gomez-Zamalloa and Germán Puebla. Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Mar 2013, Rome, Italy. Elsevier, 2014, ENTCS
Liste complète des métadonnées

https://hal.inria.fr/hal-00925837
Contributeur : Jérôme Feret <>
Soumis le : mercredi 8 janvier 2014 - 16:26:17
Dernière modification le : vendredi 25 mai 2018 - 12:02:05

Identifiants

  • HAL Id : hal-00925837, version 1

Collections

Citation

Michael Barnett, Mehdi Bouaziz, Francesco Logozzo, Manuel Fähndrich. A case for static analyzers in the cloud. Miguel Gomez-Zamalloa and Germán Puebla. Bytecode - 8th Workshop on Bytecode Semantics, Verification, Analysis, and Transformation, Mar 2013, Rome, Italy. Elsevier, 2014, ENTCS. 〈hal-00925837〉

Partager

Métriques

Consultations de la notice

297