Pop, Sebastian (2006) The SSA Representation Framework: Semantics, Analyses and GCC Implementation. PhD thesis Informatique temps réel, robotique et automatique, ENSMP.
Abstract
The Static Single Assignment (SSA) language is one of the intermediate representations commonly used in industrial compilers.
However, there was little interest from the static program analysis community in this intermediate representation due to the weak formal grounds of the SSA.
This thesis presents a denotational semantics of the SSA language, allowing formal definitions of static analyses on the SSA language based on the classical abstract interpretation framework. From a practical point of view, we present the implementation of the formally described static analyses on the SSA in an industrial compiler: the
GNU Compiler Collection (GCC).
| Item Type: | PhD Thesis (PhD) |
|---|
| Thesis Supervisor: | Irigoin, François |
|---|
| Date: | December 2006 |
|---|
| Board of examiners: | Clauss, Philippe and Cohen, Albert and Martel, Matthieu and Rauchwerger, Lawrence and Silber, Georges-André |
|---|
| Ecole Doctorale: | ED 431 INFORMATION, COMMUNICATION, MODELISATION ET SIMULATION |
|---|
| Discipline: | Informatique temps réel, robotique et automatique |
|---|
| Collection (Fonds): | ENSMP |
|---|
| Institution: | ENSMP |
|---|
| Subjects: | 2. Information and Communication Sciences and Technologies |
|---|
| Uncontrolled Keywords: | Program static analysis, Static single assignment language, Ssa, Denotational semantics, Gcc, Abstract interpretation, Analyse statique de programmes, Langage d'assignation statique unique, Ssa, Sémantique dénotationelle, Gcc, Interprétation abstraite |
|---|
Statistiques de consultation
Repository Staff Only: edit this item
