EXAMPLE 14 Exemplary Technique for Generating Information from the IR [0059]FIG. 6A is a flowchart of a method 600 for generating information about software from an intermediate representation of the software, such as the intermediate representations shown in any of the examples described herein. [0060] At 612, the IR is analyzed.