您當前的位置：成果庫 > 基于控制流分析和數(shù)據(jù)流分析的Java程序靜態(tài)分析方法
1711
2018/08/08
咨詢成果
發(fā)布成果基本信息
- 成果類型 高等院校
- 委托機構(gòu) 西安電子科技大學
- 成果持有方 西安電子科技大學
- 行業(yè)領(lǐng)域 信息安全
- 項目名稱 基于控制流分析和數(shù)據(jù)流分析的Java程序靜態(tài)分析方法
- 知識產(chǎn)權(quán) 發(fā)明專利
- 項目簡介 本發(fā)明公開了一種基于控制流分析和數(shù)據(jù)流分析的Java程序靜態(tài)分析方法，主要解決現(xiàn)有靜態(tài)分析方法分析準確率低的問題。其實現(xiàn)步驟是：1.將Java源程序轉(zhuǎn)化為Jimple語言的中間表示形式；2.將Java程序靜態(tài)分析問題抽象為過程間分布式子集問題IFDS；3.定義過程間分布式子集問題IFDS求解器的接口類；4.通過求解器類接口中的數(shù)據(jù)流功能函數(shù)FlowFunctions，設(shè)置數(shù)據(jù)流分析規(guī)則；5.運行過程間分布式子集問題IFDS，在控制流圖的基礎(chǔ)上進行數(shù)據(jù)流分析，得出分析結(jié)果。本發(fā)明提高了靜態(tài)分析的完整性和準確性，分析效率高，擴展性強，可用對較大系統(tǒng)規(guī)模的程序分析。
交易信息
- 意向交易額 面議
- 掛牌時間 2018/04/17
- 委托機構(gòu) 西安電子科技大學
- 聯(lián)系人姓名 王小剛
- 聯(lián)系人電話 15802954800
- 聯(lián)系人郵箱 745490733@qq.com
- 分享至：
