域敏感相关论文
针对传统的数据随机化技术静态分析精度不高的问题,提出一种基于域敏感指针分析算法的细粒度数据随机化技术.在静态分析过程中,首......
静态分析由于并不执行源代码，导致无法获取变量在实际运行中的取值，进而对一些和变量取值相关的缺陷检测带来了一定困难．利用符号执行......
针对传统的数据随机化技术静态分析精度不高的问题,提出一种基于域敏感指针分析算法的细粒度数据随机化技术。在静态分析过程中,首......
静态分析方法被广泛用于Android应用的隐私泄露检测,其以(Source,Sink)对形式检测潜在漏洞,但同时会产生大量虚警。针对该问题,提......
