ScholarWorks@동국대학교

초록

In a compiler, symbol tables are utilized as quite important data throughout the steps involved from lexical analysis to syntactic analysis, semantic analysis, and code generation. In particular, the step of semantic analysis is essential in analyzing operation expressions and sentence semantics and examining the validity of symbols. Hence, it is of great importance to analyze and verity whether in a compiler, the designed structure of a symbol table is appropriate and attributes of the identifier are properly inserted for the symbol table. Accordingly, this study introduces a method to verify symbol tables by means of reversing, a compiler verification technique. The suggested method revises the Objective C compiler for the smart cross platform, converts the information inserted to the symbol table through the declaration part processing module, and verifies the result in comparison with input data. In this manner, the declaration part processing task and symbol table verifying task of the Objective C compiler for the smart cross platform are separated in the entire compiler verification, which makes it easier to verify the general validity of the compiler. Also, based on this technology, the secure IT service can be offered by the beforehand inspection of possible software weakness, in the developing information and communication society.

키워드