编译器安全性相关硕士博士期刊学术论文

为验证CoSy编译器的安全性，并确定不安全因素大致出现的位置，提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法。该方法......