编译过程安全性基础地研究

摘要 全属性描述方面，并以SSA中问语言作为载体进行了信息流安全属性描述的一 个实例研究。 (3)在分析了编译器的典型实现技术的基础上，提出了对编译几个主要阶 段的正确性验证方法。在分析了parse(