資料介紹
需求驅動指向分析技術一般用于受到嚴格時間或內存限制的環境。提高需求驅動指向分析的流敏感度,可使一些變量得到準確的指向關系,但實踐中存在具有較強流與數據依賴的大型軟件系統,較難識別出對目標變量的指向關系產生貢獻的程序語句。為此,提出一種流敏感的程序表示方法,通過定義一種上下文無關語言可達性的概念,搜索目標變量的流敏感指向關系。開發一種Seeker工具,能夠為用戶感興趣的變量計算指向集合。實驗結果表明,需求驅動的指向分析算法提高了流敏感上下文非敏感指向分析的效率。
指向分析是一種廣泛應用于編譯器優化、軟件的測試和驗證、安全性分析的靜態分析技術。指向分析的目標是計算變量的引用與分配的對象之間的指向關系。它的實現采用經典的數據流迭代分析框架,利用不動點算法,在程序的控制流圖(ControlFlowGraph,CFG)上,根據每個CFG結點上定義的轉移函數,迭代地傳播變量的指向關系,直到所有變量的指向集合都不再發生變化,即到達一個不動點。轉移函數定義了在每個CFG結點前后變量指向集合之間的關系。雖然流敏感分析是提高指向分析精度的主要手段,全程序的流敏感指向分析是一項資源密集、計算密集的分析工作,無法適應具有嚴格的時間或內存限制的環境,如即時編譯器和交互式開發環境等。
?
- 潮濕、再流焊和工藝敏感器件的操作、包裝、運輸及使用 0次下載
- 線性恒流驅動1 8次下載
- LED燈恒流驅動電路原理圖下載 357次下載
- ADC芯片需求驅動
- 降壓型大功率LED恒流驅動器LEDA數據手冊 59次下載
- DC-DC降壓型LED恒流驅動器芯片H6118A 28次下載
- 基于流知識圖譜的網絡流行為分析模型 8次下載
- 物聯網工程需求分析課件下載 0次下載
- 高效高性能LED恒流驅動電源芯片AX2028 24次下載
- LED恒流驅動芯片和系統方案資源下載 68次下載
- 恒流驅動LED升壓型DC-DC轉換器芯片HX3248C 28次下載
- 一種基于機器學習的流簇大小推理模型 34次下載
- 雷電脈沖電磁場對電站敏感設備的干擾情況是如何的詳細資料分析概述 11次下載
- LED恒流驅動芯片SM16704PB產品說明書及原理圖分析 79次下載
- IGBT的驅動和過流保護電路的研究
- 熱物性擬合中的敏感度分析 73次閱讀
- 驅動具有恒流端口擴展器輸出的LED 830次閱讀
- ?綜述:基于類酶材料的微流控技術在生物分析方面的應用 855次閱讀
- 8550驅動蜂鳴器電路分析 1.4w次閱讀
- 分析和比較驅動電路結構和功率回路耦合特性對于并聯IGBT均流特性的影響 4292次閱讀
- led恒流驅動電路圖解析 9.1w次閱讀
- LED恒流驅動芯片的滯環控制電路設計 4318次閱讀
- 什么是線性恒流驅動IC?淺淡高壓線性恒流驅動芯片優缺點 2.9w次閱讀
- 線性恒流驅動ic型號有哪些 2.3w次閱讀
- 微流控芯片五大優點及四大缺點分析 5.5w次閱讀
- 咪頭種類有哪些_全指向咪頭和單指向咪頭的區別介紹 6.2w次閱讀
- TL431驅動LED恒流控制電路方案 2.5w次閱讀
- 基于MC34063A的LED用恒流驅動電路的設計 1.8w次閱讀
- 淺談大功率LED恒流驅動電路的設計分析 3499次閱讀
- 第三代非隔離LED恒流驅動技術 3156次閱讀
下載排行
本周
- 1電子電路原理第七版PDF電子教材免費下載
- 0.00 MB | 1490次下載 | 免費
- 2單片機典型實例介紹
- 18.19 MB | 92次下載 | 1 積分
- 3S7-200PLC編程實例詳細資料
- 1.17 MB | 27次下載 | 1 積分
- 4筆記本電腦主板的元件識別和講解說明
- 4.28 MB | 18次下載 | 4 積分
- 5開關電源原理及各功能電路詳解
- 0.38 MB | 10次下載 | 免費
- 6基于AT89C2051/4051單片機編程器的實驗
- 0.11 MB | 4次下載 | 免費
- 7藍牙設備在嵌入式領域的廣泛應用
- 0.63 MB | 3次下載 | 免費
- 89天練會電子電路識圖
- 5.91 MB | 3次下載 | 免費
本月
- 1OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 2PADS 9.0 2009最新版 -下載
- 0.00 MB | 66304次下載 | 免費
- 3protel99下載protel99軟件下載(中文版)
- 0.00 MB | 51209次下載 | 免費
- 4LabView 8.0 專業版下載 (3CD完整版)
- 0.00 MB | 51043次下載 | 免費
- 5555集成電路應用800例(新編版)
- 0.00 MB | 33562次下載 | 免費
- 6接口電路圖大全
- 未知 | 30320次下載 | 免費
- 7Multisim 10下載Multisim 10 中文版
- 0.00 MB | 28588次下載 | 免費
- 8開關電源設計實例指南
- 未知 | 21539次下載 | 免費
總榜
- 1matlab軟件下載入口
- 未知 | 935053次下載 | 免費
- 2protel99se軟件下載(可英文版轉中文版)
- 78.1 MB | 537791次下載 | 免費
- 3MATLAB 7.1 下載 (含軟件介紹)
- 未知 | 420026次下載 | 免費
- 4OrCAD10.5下載OrCAD10.5中文版軟件
- 0.00 MB | 234313次下載 | 免費
- 5Altium DXP2002下載入口
- 未知 | 233045次下載 | 免費
- 6電路仿真軟件multisim 10.0免費下載
- 340992 | 191183次下載 | 免費
- 7十天學會AVR單片機與C語言視頻教程 下載
- 158M | 183277次下載 | 免費
- 8proe5.0野火版下載(中文版免費下載)
- 未知 | 138039次下載 | 免費
評論
查看更多