计算机工程
計算機工程
계산궤공정
COMPUTER ENGINEERING
2012年
6期
43-46
,共4页
编译器安全性%中间表示%控制流图%CoSy编译器%同构图%不安全因素范围
編譯器安全性%中間錶示%控製流圖%CoSy編譯器%同構圖%不安全因素範圍
편역기안전성%중간표시%공제류도%CoSy편역기%동구도%불안전인소범위
为验证CoSy编译器的安全性,并确定不安全因素大致出现的位置,提出一种通过控制流图的同构对比判定CoSy编译器是否安全的方法.该方法生成源程序的控制流图以及CoSy中级中间表示的控制流图后,生成由CoSy编译器产生的目标汇编码的控制流图,根据控制流图同构算法,判断控制流图是否同构,由此确定CoSy编译器的不安全因素发生在编译器的前端还是后端.实验结果表明,该方法能有效验证编译器的安全性.
為驗證CoSy編譯器的安全性,併確定不安全因素大緻齣現的位置,提齣一種通過控製流圖的同構對比判定CoSy編譯器是否安全的方法.該方法生成源程序的控製流圖以及CoSy中級中間錶示的控製流圖後,生成由CoSy編譯器產生的目標彙編碼的控製流圖,根據控製流圖同構算法,判斷控製流圖是否同構,由此確定CoSy編譯器的不安全因素髮生在編譯器的前耑還是後耑.實驗結果錶明,該方法能有效驗證編譯器的安全性.
위험증CoSy편역기적안전성,병학정불안전인소대치출현적위치,제출일충통과공제류도적동구대비판정CoSy편역기시부안전적방법.해방법생성원정서적공제류도이급CoSy중급중간표시적공제류도후,생성유CoSy편역기산생적목표회편마적공제류도,근거공제류도동구산법,판단공제류도시부동구,유차학정CoSy편역기적불안전인소발생재편역기적전단환시후단.실험결과표명,해방법능유효험증편역기적안전성.
