14. A system for analyzing executable software code, the system comprising a processor, a memory, and a computer-implemented modeler executable by the processor for: causing the processor to process the executable software code to generate an optimized, exhaustive data flow model of the executable software code including parsing the executable software code to facilitate identification of data flows for inclusion in the exhaustive data flow model; causing the processor to process the executable software code to generate an optimized, exhaustive control flow model based on the executable software code; and storing, in the memory, an intermediate representation of the executable software code that provides a complete model of the executable software code based on the optimized data flow model and the optimized control flow model, thereby facilitating analysis of the executable software code according to comparison of the intermediate representation to reference models.
14. A system for analyzing executable software code, the system comprising a processor, a memory, and a computer-implemented modeler executable by the processor for: causing the processor to process the executable software code to generate an optimized, exhaustive data flow model of the executable software code including parsing the executable software code to facilitate identification of data flows for inclusion in the exhaustive data flow model; causing the processor to process the executable software code to generate an optimized, exhaustive control flow model based on the executable software code; and storing, in the memory, an intermediate representation of the executable software code that provides a complete model of the executable software code based on the optimized data flow model and the optimized control flow model, thereby facilitating analysis of the executable software code according to comparison of the intermediate representation to reference models. 18. The system of claim 14 further comprising a source code renderer, executable by the processor, for creating source code files based on the intermediate representation from which the executable software code can be rendered.