Efficient and Precise Points-to Analysis：Modeling the Heap by Merging Equivalent Automata
文件格式: PDF大小: 1.32MB页数: 67
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
文件格式: PDF大小: 693.66KB页数: 21
Efficient and Precise Points-to Analysis：Modeling the Heap by Merging Equivalent Automata
文件格式: PDF大小: 791.65KB页数: 14
Precise and Efficient Points-to Analysis via New Context-Sensitivity and Heap Abstraction
文件格式: PDF大小: 1.6MB页数: 118
Reflection Analysis for Java：Uncovering More Reflective Targets Precisely
文件格式: PDF大小: 1.01MB页数: 12
Scalability-First Pointer Analysis with Self-Tuning Context-Sensitivity
文件格式: PDF大小: 750.26KB页数: 12
Precision-Guided Context Sensitivity for Pointer Analysis
文件格式: PDF大小: 834.52KB页数: 29
Understanding and Analyzing Java Reflection
文件格式: PDF大小: 2.86MB页数: 51
A Principled Approach to Selective Context Sensitivity for Pointer Analysis
文件格式: PDF大小: 1.39MB页数: 40
Making Pointer Analysis More Precise by Unleashing the Power of Selective Context Sensitivity
文件格式: PDF大小: 623.55KB页数: 27