電子發(fā)燒友App
創(chuàng)作
發(fā)文章
發(fā)帖 
提問 
發(fā)資料
發(fā)視頻資料介紹
隨著軟件運(yùn)行時(shí)驗(yàn)證技術(shù)的發(fā)展，出現(xiàn)了許多面向C語言的運(yùn)行時(shí)內(nèi)存安全驗(yàn)證工具。這些工具大多是基于源代碼或者中間代碼插樁技術(shù)來實(shí)現(xiàn)內(nèi)存安全的運(yùn)行時(shí)檢測(cè)。但是，其中一些沒有經(jīng)過嚴(yán)格證明的驗(yàn)證工具往往存在兩方面的問題，是插樁程序的加入可能會(huì)改變?cè)闯绦虻男袨榧罢Z義，二是插樁程序并不能有效保證內(nèi)存安全。為了解決這些問題，文中提出了一種使用Coq定理證明器來判定內(nèi)存安全驗(yàn)證工具算法是否正確的形式化方法，并使用該方法對(duì)C語言運(yùn)行時(shí)驗(yàn)證工具M(jìn)ove的動(dòng)態(tài)檢測(cè)算法的正確性進(jìn)行了證明。對(duì)安全規(guī)范性質(zhì)的證明結(jié)果表明了Mσve的內(nèi)存安全性動(dòng)態(tài)檢測(cè)算法是正確的。
下載該資料的人也在下載
下載該資料的人還在閱讀
更多 >
- SVPWM控制算法及工具綜述 6次下載
- Git常見的誤區(qū)和命令行工具等綜述 0次下載
- 基于DNN與規(guī)則學(xué)習(xí)的機(jī)器翻譯算法綜述 33次下載
- 大數(shù)據(jù)加密算法在數(shù)據(jù)安全中的應(yīng)用綜述 13次下載
- 軟件的順序語句塊自動(dòng)化規(guī)約與驗(yàn)證研究 5次下載
- 環(huán)境感知自適應(yīng)軟件的驗(yàn)證技術(shù)綜述 4次下載
- MEMS陀螺儀姿態(tài)算法研究綜述 39次下載
- 基于定理證明其的有限域及其形式化研究 1次下載
- 支持向量機(jī)SVM算法在智能交通系統(tǒng)中的應(yīng)用綜述 4次下載
- 16位CRC驗(yàn)證碼生成VI工具下載 55次下載
- SystemView抽樣定理驗(yàn)證實(shí)驗(yàn)的詳細(xì)資料說明 28次下載
- Z3的Coq自動(dòng)證明策略的設(shè)計(jì) 0次下載
- 戴維南定理的驗(yàn)證仿真實(shí)驗(yàn) 11次下載
- 費(fèi)馬大定理的證明 18次下載
- 一種安全協(xié)議分析算法研究
- 戴維寧定理和諾頓定理的區(qū)別和聯(lián)系是什么? 1.1w次閱讀
- 開源LLEMMA發(fā)布：超越未公開的頂尖模型，可直接應(yīng)用于工具和定理證明 793次閱讀
- IC驗(yàn)證的主要工作流程和驗(yàn)證工具是什么？ 1733次閱讀
- 線性電路的基本定理 7311次閱讀
- 使用硬件在環(huán)進(jìn)行模式S信號(hào)解碼算法驗(yàn)證 1529次閱讀
- 基于智能狀態(tài)和源代碼插樁的C程序內(nèi)存安全性動(dòng)態(tài)分析 1591次閱讀
- 安全哈希算法的基礎(chǔ)知識(shí)，如何使用算法進(jìn)行身份驗(yàn)證 2571次閱讀
- 如何對(duì)RTK高精度定位算法進(jìn)行驗(yàn)證 3923次閱讀
- 形式驗(yàn)證工具對(duì)系統(tǒng)功能的設(shè)計(jì) 1527次閱讀
- 內(nèi)存的基本概念以及操作系統(tǒng)的內(nèi)存管理算法 1794次閱讀
- 如何證明一個(gè)特定的BCH地址的所有權(quán) 984次閱讀
- 基于FPGA的Cordic算法實(shí)現(xiàn)的設(shè)計(jì)與驗(yàn)證 2811次閱讀
- 動(dòng)能定理公式的理解與推導(dǎo) 3.9w次閱讀
- 戴維南定理典型例子_戴維南定理解題方法 22.6w次閱讀
- 什么是戴維南定理？用戴維南定理求開路電壓求解電路的例題與方法 14.2w次閱讀
上傳資料賺積分下載排行
本周
- 1DC電源插座圖紙
- 0.67 MB | 3次下載 | 免費(fèi)
- 2AN158 GD32VW553 Wi-Fi開發(fā)指南
- 1.51MB | 2次下載 | 免費(fèi)
- 3AN148 GD32VW553射頻硬件開發(fā)指南
- 2.07MB | 1次下載 | 免費(fèi)
- 4AN111-LTC3219用戶指南
- 84.32KB | 次下載 | 免費(fèi)
- 5AN153-用于電源系統(tǒng)管理的Linduino
- 1.38MB | 次下載 | 免費(fèi)
- 6AN-283: Σ-Δ型ADC和DAC[中文版]
- 677.86KB | 次下載 | 免費(fèi)
- 7SM2018E 支持可控硅調(diào)光線性恒流控制芯片
- 402.24 KB | 次下載 | 免費(fèi)
- 8AN-1308: 電流檢測(cè)放大器共模階躍響應(yīng)
- 545.42KB | 次下載 | 免費(fèi)
本月
- 1ADI高性能電源管理解決方案
- 2.43 MB | 450次下載 | 免費(fèi)
- 2免費(fèi)開源CC3D飛控資料（電路圖&PCB源文件、BOM、
- 5.67 MB | 138次下載 | 1 積分
- 3基于STM32單片機(jī)智能手環(huán)心率計(jì)步器體溫顯示設(shè)計(jì)
- 0.10 MB | 130次下載 | 免費(fèi)
- 4使用單片機(jī)實(shí)現(xiàn)七人表決器的程序和仿真資料免費(fèi)下載
- 2.96 MB | 44次下載 | 免費(fèi)
- 5美的電磁爐維修手冊(cè)大全
- 1.56 MB | 24次下載 | 5 積分
- 6如何正確測(cè)試電源的紋波
- 0.36 MB | 18次下載 | 免費(fèi)
- 7感應(yīng)筆電路圖
- 0.06 MB | 10次下載 | 免費(fèi)
- 8萬用表UT58A原理圖
- 0.09 MB | 9次下載 | 5 積分
總榜
- 1matlab軟件下載入口
- 未知 | 935121次下載 | 10 積分
- 2開源硬件-PMP21529.1-4 開關(guān)降壓/升壓雙向直流/直流轉(zhuǎn)換器 PCB layout 設(shè)計(jì)
- 1.48MB | 420062次下載 | 10 積分
- 3Altium DXP2002下載入口
- 未知 | 233088次下載 | 10 積分
- 4電路仿真軟件multisim 10.0免費(fèi)下載
- 340992 | 191367次下載 | 10 積分
- 5十天學(xué)會(huì)AVR單片機(jī)與C語言視頻教程 下載
- 158M | 183335次下載 | 10 積分
- 6labview8.5下載
- 未知 | 81581次下載 | 10 積分
- 7Keil工具M(jìn)DK-Arm免費(fèi)下載
- 0.02 MB | 73810次下載 | 10 積分
- 8LabVIEW 8.6下載
- 未知 | 65988次下載 | 10 積分
工商網(wǎng)監(jiān)
評(píng)論