基於c2Rust的C語言轉換為更安全Rust語言的自動化轉換器開發與研究__國立清華大學博碩士論文全文影像系統

圖書館首頁| 網站地圖| 首頁| 本站說明| 聯絡我們| 相關資源| 台聯大論文系統| 操作說明 | English

帳號：guest(3.128.205.122) 離開系統

字體大小：

字級放大

字級縮小

預設字形

詳目顯示

第 1 筆 / 共 1 筆

第一頁

上一頁

下一頁

最後一頁

/1頁

以作者查詢圖書館館藏

、以作者查詢臺灣博碩士論文系統

、以作者查詢全國書目

論文基本資料
電子全文

作者(中文):	蘇信豪
作者(外文):	SU, SHIN-HAU
論文名稱(中文):	基於c2Rust的C語言轉換為更安全Rust語言的自動化轉換器開發與研究
論文名稱(外文):	Development and Research of an Automated Converter: Transforming C Language into Safer Rust Based on c2Rust
指導教授(中文):	孫宏民
指導教授(外文):	SUN, HUNG-MIN
口試委員(中文):	許富皓黃育綸
口試委員(外文):	HSU, FU-HAO HUANG, YU-LUN
學位類別:	碩士
校院名稱:	國立清華大學
系所名稱:	資訊安全研究所
學號:	111164528
出版年(民國):	113
畢業學年度:	112
語文別:	英文
論文頁數:	71
中文關鍵詞:	Rust程式語言、程式碼轉換、靜態分析工具
外文關鍵詞:	Rust programming language、Code conversion、Static analysis tools
相關次數:	推薦:0 點閱:19 評分: 下載:0 收藏:0

(此全文20290730後開放外部瀏覽)
電子全文
摘要

推文
推薦
評分
引用網址
轉寄

第一頁

上一頁

下一頁

最後一頁

相關論文

1.	ISDroid:整合動態分析與靜態分析的Android應用程式檢測系統
2.	HTTP請求走私攻擊偵測與防禦
3.	基於ARM TrustZone可信任環境之軟體更新機制─以STBEAT為例
4.	基於Transformer架構來理解Android 應用程序中對行為保真度級別之描述
5.	一個優化種子選擇策略的多參數模糊測試
6.	利用圖注意力網路檢測智能合約漏洞
7.	基於URL和網頁內容的深度釣魚網站偵測模型
8.	SWEDEX: 一個以虛擬化技術繞過Android防禦機制的自動化脫殼框架
9.	微調自然語言處理模型BERT來偵測智慧合約的漏洞
10.	Android SandFox: 基於 Docker 的 Android APP 檢測沙盒
11.	基於微調 BERT 之物聯網入侵檢測系統
12.	RansomSleuth：以行為與鑑識分析識別與分類勒索軟體的模型
13.	一個基於 UI 自動化遍歷與資料流追蹤的 iOS 應用程式檢測框架
14.	基於仿真器回饋優化物聯網韌體的模糊策略
15.	改善基於覆蓋率核心模糊測試的種子變異策略

簡易查詢 | 進階查詢 | 論文瀏覽 | 熱門排行 | 管理/審核者登入