Self-Inferencing Reflection Resolution for Java
文件格式: PDF大小: 797.38KB页数: 26
Effective Soundness-Guided Reflection Analysis
文件格式: PDF大小: 729.28KB页数: 17
Program Tailoring：Slicing by Sequential Criteria
文件格式: PDF大小: 1.37MB页数: 25
Making k-Object-Sensitive Pointer Analysis More Precise with Still k-Limiting
文件格式: PDF大小: 1.7MB页数: 69
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