Main entry of the program analysis.