标签:Heaps 分析 快照 CMI 拍摄 静态 权衡 How 精度
Abstract
背景:
- 指针分析的误差可能会对安卓app代码的信息流分析造成干扰
- 静态分析的最新进展表明,结合在运行时的某⼀点拍摄的动态堆快照可以显着改进⼀般静态分析
本文:
取舍因素: - 在执行期间何时收集快照以及收集多少快照
- 快照使⽤⽅式如何影响可靠性和精度
Task:在污点分析中引入堆快照
方法:拓展FlowDroid
实验:
数据集:DroidMacroBench(本文公开的)
效果:
- 降低了分析时间和内存消耗
- 混合模式带来了精度和召回率权衡
- 虽然单个堆快照(理想情况下在执行结束时拍摄)⾜以提⾼性能和精度,但使⽤多个快照可以获得更好的权衡(a better trade-of?)
标签:Heaps,分析,快照,CMI,拍摄,静态,权衡,How,精度 来源: https://www.cnblogs.com/xuesu/p/16336335.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。