分享到:

国内首款商用反编译器上海造

本报讯 荣获第二届张江ICT国际青年技术创新大赛第一名的“交互式C/C++反编译云服务平台”项目团队在进入  (本文共1页) 阅读全文>>

《中国科技论文》2017年14期
中国科技论文

一种适用于可信编译器的源语言转换与检查框架

针对当前可信编译器对源语言处理能力的局限,提出了1个适于可信编译器的源语言转换与检查框架,将命令式源语言...  (本文共5页) 阅读全文>>

《计算机科学》2014年S1期
计算机科学

可信编译器构造的翻译确认方法简述

编译器的安全可信问题日益引起重视,特别是在安全关键系统中,编译器的误编译将会造成重大的损失。消除误编译的传统方法是大量的测试,但是测试难以达到完全覆盖,并不能充分地保证编译器的安全可信。近年来,形式化验证方法被成功用于可信编译器的...  (本文共5页) 阅读全文>>

《节水灌溉》2011年05期
节水灌溉

计算智能技术在分布式多编译器中的应用分析

分布式编译是目前提高大规模软件项目编译时间及效率的有效方法。通过简介市场上主流的2种技术代表性产品Incredibuilder和Distcc的性能...  (本文共3页) 阅读全文>>

《群文天地》2011年14期
群文天地

优化编译器的设计

编译器的研究综合了计算机科学中的操作系统、计算机系统结构、图算法、人工智能等众多领域,因此对编译器的研究要求研究者在各方面都有很深的理解。编译器的研究可以追溯到上世纪50年代。从F...  (本文共2页) 阅读全文>>

《电脑知识与技术》2010年18期
电脑知识与技术

关于C编译器对——运算编译的研究

针对不同编译器对C语言中——运算编译的不同,分析研究了Turbo C2.0编译器和Visual C++6.0编译器对C语言的——运...  (本文共3页) 阅读全文>>