10. Microsoft Phoenix, Phoenix-Targeted Tools, and Our Phoenix Projects

  1. Vladimir O. Safonov

Published Online: 8 FEB 2010

DOI: 10.1002/9780470593387.ch10

Trustworthy Compilers

Trustworthy Compilers

How to Cite

Safonov, V. O. (2010) Microsoft Phoenix, Phoenix-Targeted Tools, and Our Phoenix Projects, in Trustworthy Compilers, John Wiley & Sons, Inc., Hoboken, NJ, USA. doi: 10.1002/9780470593387.ch10

Author Information

  1. St. Petersburg University, USA

Publication History

  1. Published Online: 8 FEB 2010
  2. Published Print: 24 FEB 2010

ISBN Information

Print ISBN: 9780470500958

Online ISBN: 9780470593387



  • Microsoft Phoenix - new toolkit for compiler back-ends and program analysis optimization;
  • Phoenix, state-of-the-art toolkit in compiler area;
  • Phoenix symbol - abstraction of named entity in programming language


This chapter contains sections titled:

  • History of Phoenix and of Our Phoenix Projects

  • Overview of Phoenix Architecture

  • Phoenix-Based Tools, Passes, Phases, and Plug-Ins

  • Phoenix Primitives: Strings and Names

  • Phoenix Intermediate Representation (IR)

  • Phoenix Symbol System

  • Phoenix Type System

  • Data Flow Analysis, Control Flow Analysis, Graphs, and Static Single Assignment (SSA) in Phoenix

  • Overview of Other Phoenix Features

  • Example of a Phoenix-Based Plug-In

  • Phoenix-Fete—A Compiler Front-End Development Toolkit and Environment Targeted to Phoenix

  • Exercises to Chapter 10