技術(shù)編號：6551550
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。本發(fā)明的領(lǐng)域總地涉及計算機系統(tǒng)，更具體地但非排他地，本發(fā)明涉及支持和非可信(untrusted)代碼一起運行的可信(trusted)(例如，類型安全)語言環(huán)境的處理器擴展和軟件驗證。背景技術(shù) 今天的大多數(shù)軟件是用“不安全的”語言寫的，例如C或C++，使用指向特定處理器指令集體系結(jié)構(gòu)的編譯器將所述軟件編譯為本機機器碼。這些語言是不安全的，因為它們具有通過內(nèi)置功能(即，指針間接尋址和操縱)、擴展或者內(nèi)部匯編來進行直接的、未經(jīng)檢查的存儲器操縱或訪問的規(guī)定。例如，...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學習研究技術(shù)思路。