This paper presents extensions to Steensgaard's and Andersen's algorithms to handle Java features. Without careful consideration, the handling of these features may affect the correctness, precision, and efficiency of these algorithms. The paper also presents the results of empirical studies. These studies compare the precision and efficiency of these two algorithms and evaluate the effectiveness of handling Java features using alternative approaches. The studies also evaluate the impact of the points-to information provided by these two algorithms on client analyses that use the information.
机译:扩展和评估对Java不敏感的对流不敏感和对上下文不敏感的点
机译:评估具有个性化用户分析的可扩展性上下文感知“学习Java”应用程序
机译:瑞典成人和儿童霉菌毒素尿毒素分析的扩展评价
机译:扩展和评估对流不敏感和对上下文不敏感的点,以进行Java分析
机译:对Java的副作用分析的研究。
机译:从简短评估到异常行为评估的扩展实验分析
机译:针对Java的指向和副作用分析的参数化对象灵敏度