Analyses

Modules
	Callgraph
	This file contains the representation of the callgraph.
	Control Dependence
	Basic Block Execution Frequency
	Node Heights
	The height is a measure for the longest datadependencies path from a node to the end of a basic block.
	Dominance Information
	The dominator information is stored in three fields of block nodes:
	Dynamic Reverse Edges
	Loops
	Memory Disambiguator
	A memory disambiguator checks whether 2 given SSA values representing addresses alias.
	Reverse Edges
	Out-Edges are the reverse of the edges in a firm graph (also called def-use edges)
	Value Information
	Information about SSA-values (ranges, known bits, ...)