技術(shù)編號：6502841
提示：您尚未登錄，請點 登 陸 后下載，如果您還沒有賬戶請點 注 冊 ，登陸完成后，請刷新本頁查看技術(shù)詳細信息。本發(fā)明涉及檢查計算機程序的領(lǐng)域；更具體地，本發(fā)明涉及執(zhí)行靜態(tài)和動態(tài)的檢查，其中，靜態(tài)地驗證計算機程序中關(guān)于動態(tài)檢查的信息。背景技術(shù) 程序由本文中被稱為代碼生成者的個人創(chuàng)建，并由本文中被稱為代碼消費者的個人運行。代碼消費者不希望運行由代碼生成者創(chuàng)建的不可信程序，這是因為程序經(jīng)由運行時間庫與代碼消費者的計算機進行通信，而這提供了訪問諸如文件和網(wǎng)絡(luò)之類資源的功能。代碼消費者希望確保該程序是安全的，即它不破壞用戶數(shù)據(jù)、不將私人數(shù)據(jù)輸出到外部源并且不濫用系統(tǒng)資源?，F(xiàn)...
注意：該技術(shù)已申請專利，請尊重研發(fā)人員的辛勤研發(fā)付出，在未取得專利權(quán)人授權(quán)前，僅供技術(shù)研究參考不得用于商業(yè)用途。
該專利適合技術(shù)人員進行技術(shù)研發(fā)參考以及查看自身技術(shù)是否侵權(quán)，增加技術(shù)思路，做技術(shù)知識儲備，不適合論文引用。
請注意，此類技術(shù)沒有源代碼，用于學(xué)習(xí)研究技術(shù)思路。