...
机译:Java的基于优化的上下文相关指向分析
context-sensitive analysis; demand-driven analysis; points-to analysis; refinement;
机译:Java的基于优化的上下文相关指向分析
机译:通过堆克隆使上下文相关的指向分析在现实世界中切实可行
机译:一分钟内Java的千兆规模穷举分析
机译:Java的基于优化的上下文相关指向分析
机译:Java的上下文相关安全类型系统。
机译:Java的上下文相关跟踪内联
机译:基于细化的上下文敏感点 - 对Java的分析