Robust Dynamically Deployed Static Analysis for Java

Sebastian Gfeller
2009
Projet étudiant

Guaranteeing the absence of errors in a program is a great challenge and many static analysis techniques have been developed to see whether a program is correct before we run it. There is, however, a whole class of programs that are especially difficult to analyze in this manner. These programs have a very different behavior that depends on configuration files, command line parameters and user input. Also, they are long running. For such programs, there are advantages to dynamically deployed analyses that can tell us after the program has been run for some time whether crashes are still possible in its future execution. In this thesis, we see how to combine current program state with static analysis techniques to predict absence of errors in the future. We show how, if a program can not yet be guaranteed to run correctly, we can make future checks more efficient. The thesis also explores how the analysis can run in parallel with program execution without slowing down execution too much. The techniques that are explored are implemented as an extension for the Java PathFinder Java Virtual Machine.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Sebastian Gfeller
2009
Projet étudiant

Résumé

Source officielle

https://infoscience.epfl.ch/record/139555?ln=fr

À propos de ce résultat

Concepts associés (5)

Analysis

Analysis (: analyses) is the process of breaking a complex topic or substance into smaller parts in order to gain a better understanding of it. The technique has been applied in the study of mathematics and logic since before Aristotle (384–322 B.C.), though analysis as a formal concept is a relatively recent development. The word comes from the Ancient Greek ἀνάλυσις (analysis, "a breaking-up" or "an untying;" from ana- "up, throughout" and lysis "a loosening"). From it also comes the word's plural, analyses.

Father absence

Father absence occurs when parents separate and the father no longer lives with his children. Parental separation has been proven to affect a child's development and behavior. Early parental divorce (during primary school) has been associated with greater internalizing and externalizing behaviors in the child, while divorce later in childhood or adolescence may dampen academic performance.

Peine de mort

upright=1.5|vignette|Application de la peine de mort dans le monde en 2021. La peine de mort, ou peine capitale, est une peine prévue par la loi consistant à exécuter une personne ayant été reconnue coupable d'une faute qualifiée de « crime capital ». La sentence est prononcée par le pouvoir judiciaire à l'issue d'un procès. En l'absence d'un procès, ou dans les cas où celui-ci n'est pas réalisé par une institution reconnue, on parle d'exécution sommaire, d'acte de vengeance ou de justice privée.