技术编号:6551550
提示:您尚未登录,请点 登 陆 后下载,如果您还没有账户请点 注 册 ,登陆完成后,请刷新本页查看技术详细信息。本发明的领域总地涉及计算机系统,更具体地但非排他地,本发明涉及支持和非可信(untrusted)代码一起运行的可信(trusted)(例如,类型安全)语言环境的处理器扩展和软件验证。背景技术 今天的大多数软件是用“不安全的”语言写的,例如C或C++,使用指向特定处理器指令集体系结构的编译器将所述软件编译为本机机器码。这些语言是不安全的,因为它们具有通过内置功能(即,指针间接寻址和操纵)、扩展或者内部汇编来进行直接的、未经检查的存储器操纵或访问的规定。例如,...
注意:该技术已申请专利,请尊重研发人员的辛勤研发付出,在未取得专利权人授权前,仅供技术研究参考不得用于商业用途。
该专利适合技术人员进行技术研发参考,增加技术思路,做技术知识储备,不适合论文引用。
请注意,此类技术没有源代码,用于学习研究技术思路。