Research on CoSy C Compiler Security
Wang Shaopei, Jian Wu, Ruan Yuan · Jisuanji gongcheng · 2012
In order to validate the security of CoSy compiler,and roughly determine the location of the insecure factors,this paper puts forwards a method making use of control flow graph isomorphism comparison to estimate the security of CoSy compiler.After creating the control flow graphs of C program and Common CoSy medium-level intermediate representation with the method,the control flow graph of object assembler produced by CoSy compiler is generated,and estimates whether the control flow graphs are isomorphic,which determines the insecure factors are in front-end or back-end of CoSy compiler,according to isomorphism algorithm.Experimental result indicates that the method can satisfactorily validate the security of the compiler.