一种基于静态分析的缓存组件指针分析方法

本发明公开了一种基于静态分析的鸿蒙ArkTS缓存组件指针分析方法，通过三地址码语义建模筛选AppStorage相关API，采用反向回流边构建双向同步的强连通分量，并基于冻结约束阻断单向同步的逆向传播，结合动态指针赋值图与可达性算法实现跨组件数据流精准追踪。该方法使指针分析误报率从20％降至5％，内存泄漏检测准确率达98％，分析效率提升40％‑60％，且兼容OpenHarmony工具链，解决了ArkTS响应式同步机制下的内存安全与优化难题。