電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
隨著軟件運(yùn)行時驗證技術(shù)的發(fā)展，出現(xiàn)了許多面向C語言的運(yùn)行時內(nèi)存安全驗證工具。這些工具大多是基于源代碼或者中間代碼插樁技術(shù)來實現(xiàn)內(nèi)存安全的運(yùn)行時檢測。但是，其中一些沒有經(jīng)過嚴(yán)格證明的驗證工具往往存在兩方面的問題，是插樁程序的加入可能會改變源程序的行為及語義，二是插樁程序并不能有效保證內(nèi)存安全。為了解決這些問題，文中提出了一種使用Coq定理證明器來判定內(nèi)存安全驗證工具算法是否正確的形式化方法，并使用該方法對C語言運(yùn)行時驗證工具M(jìn)ove的動態(tài)檢測算法的正確性進(jìn)行了證明。對安全規(guī)范性質(zhì)的證明結(jié)果表明了Mσve的內(nèi)存安全性動態(tài)檢測算法是正確的。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- SVPWM控制算法及工具綜述 6次下載
- Git常見的誤區(qū)和命令行工具等綜述 0次下載
- 基于DNN與規(guī)則學(xué)習(xí)的機(jī)器翻譯算法綜述 33次下載
- 大數(shù)據(jù)加密算法在數(shù)據(jù)安全中的應(yīng)用綜述 13次下載
- 軟件的順序語句塊自動化規(guī)約與驗證研究 5次下載
- 環(huán)境感知自適應(yīng)軟件的驗證技術(shù)綜述 4次下載
- MEMS陀螺儀姿態(tài)算法研究綜述 39次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 支持向量機(jī)SVM算法在智能交通系統(tǒng)中的應(yīng)用綜述 4次下載
- 16位CRC驗證碼生成VI工具下載 57次下載
- SystemView抽樣定理驗證實驗的詳細(xì)資料說明 28次下載
- Z3的Coq自動證明策略的設(shè)計 0次下載
- 戴維南定理的驗證仿真實驗 11次下載
- 費(fèi)馬大定理的證明 18次下載
- 一種安全協(xié)議分析算法研究
- 內(nèi)存泄漏檢測工具Sanitizer介紹 1.6k次閱讀
- 戴維寧定理和諾頓定理的區(qū)別和聯(lián)系是什么? 1.7w次閱讀
- 開源LLEMMA發(fā)布：超越未公開的頂尖模型，可直接應(yīng)用于工具和定理證明 1.5k次閱讀
- IC驗證的主要工作流程和驗證工具是什么？ 2.8k次閱讀
- 線性電路的基本定理 9.4k次閱讀
- 使用硬件在環(huán)進(jìn)行模式S信號解碼算法驗證 2.5k次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動態(tài)分析 2.6k次閱讀
- 安全哈希算法的基礎(chǔ)知識，如何使用算法進(jìn)行身份驗證 3.6k次閱讀
- 如何對RTK高精度定位算法進(jìn)行驗證 5.3k次閱讀
- 形式驗證工具對系統(tǒng)功能的設(shè)計 2.2k次閱讀
- 內(nèi)存的基本概念以及操作系統(tǒng)的內(nèi)存管理算法 2.7k次閱讀
- 如何證明一個特定的BCH地址的所有權(quán) 1.3k次閱讀
- 基于FPGA的Cordic算法實現(xiàn)的設(shè)計與驗證 3.4k次閱讀
- 動能定理公式的理解與推導(dǎo) 4.3w次閱讀
- 戴維南定理典型例子_戴維南定理解題方法 23.1w次閱讀
上傳資料賺積分下載排行
本周
- 1電子電路原理第七版PDF電子教材免費(fèi)下載
- 0.00 MB | 1491次下載 | 免費(fèi)
- 2單片機(jī)典型實例介紹
- 18.19 MB | 95次下載 | 1 積分
- 3S7-200PLC編程實例詳細(xì)資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關(guān)電源原理及各功能電路詳解
- 0.38 MB | 11次下載 | 免費(fèi)
- 6100W短波放大電路圖
- 0.05 MB | 4次下載 | 3 積分
- 7基于單片機(jī)和 SG3525的程控開關(guān)電源設(shè)計
- 0.23 MB | 4次下載 | 免費(fèi)
- 8基于AT89C2051/4051單片機(jī)編程器的實驗
- 0.11 MB | 4次下載 | 免費(fèi)
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費(fèi)
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費(fèi)
- 4LabView 8.0 專業(yè)版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費(fèi)
- 5555集成電路應(yīng)用800例(新編版)
- 0.00 MB | 33562次下載 | 免費(fèi)
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費(fèi)
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費(fèi)
- 8開關(guān)電源設(shè)計實例指南
- 未知 | 21539次下載 | 免費(fèi)
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費(fèi)
- 2protel99se軟件下載(可英文版轉(zhuǎn)中文版)
- 78.1 MB | 537793次下載 | 免費(fèi)
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費(fèi)
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費(fèi)
- 5Altium DXP2002下載入口
- 未知 | 233046次下載 | 免費(fèi)
- 6電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191183次下載 | 免費(fèi)
- 7十天學(xué)會AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183277次下載 | 免費(fèi)
- 8proe5.0野火版下載(中文版免費(fèi)下載)
- 未知 | 138039次下載 | 免費(fèi)
工商網(wǎng)監(jiān)
評論