Skip to Main content Skip to Navigation
Theses

The SSA Representation Framework: Semantics, Analyses and GCC Implementation

Sebastian Pop
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).
Document type :
Theses
Domain :
Complete list of metadatas

Cited literature [88 references]  Display  Hide  Download

https://pastel.archives-ouvertes.fr/pastel-00002281
Contributor : Ecole Mines Paristech <>
Submitted on : Friday, March 23, 2007 - 8:00:00 AM
Last modification on : Tuesday, September 29, 2015 - 10:32:46 AM
Long-term archiving on: : Monday, October 22, 2012 - 4:55:24 PM

Identifiers

  • HAL Id : pastel-00002281, version 1

Collections

Citation

Sebastian Pop. The SSA Representation Framework: Semantics, Analyses and GCC Implementation. domain_other. École Nationale Supérieure des Mines de Paris, 2006. English. ⟨pastel-00002281⟩

Share

Metrics

Record views

358

Files downloads

663