FirmDep:利用動(dòng)態(tài)分析的嵌入式應(yīng)用托管方案

摘要： 固件托管(firmwarerehosting)是一種對(duì)嵌入式設(shè)備的軟硬件進(jìn)行建模和仿真,并在仿真環(huán)境中運(yùn)行和分析嵌入式設(shè)備軟件的技術(shù).現(xiàn)有的基于全系統(tǒng)仿真的固件托管方案只能預(yù)防性地修復(fù)已知的軟硬件依賴問題,而無法解決未知的問題.為應(yīng)對(duì)這一現(xiàn)狀,提出了一種由動(dòng)態(tài)分析輔助的固件托管方案FirmDep.在托管過程中,FirmDep對(duì)被分析應(yīng)用的執(zhí)行軌跡和系統(tǒng)狀態(tài)進(jìn)行記錄.若目標(biāo)應(yīng)用無... （共19頁）