SYSTEM AND METHOD FOR GENERATING INTERMEDIATE REPRESENTATION SPECIFICATION OF JAVA PROGRAM

摘要

PURPOSE: A system for generating a JAVA program intermediate representation language and a method thereof are provided to add specification by selectively receiving a java source and a class file. CONSTITUTION: Selection about a source of a JAVA program intermediate representation language is received from a user(S210). A JAVA program source file is about specification information for program verification is generated when a received result is the source(S220). The source file is converted into a byte code is about the specification information(S230). The byte code is about the specification information is converted into an intermediate representation language including a program verification condition(S240). [Reference numerals] (S210) Input is a class file?; (S220) Generating a specification including source; (S230) Converting into a specification including byte code; (S240) Converting into an intermediate representation language