软件开发工具

摘要

提供了软件开发工具。一种用于提供与计算机程序源代码和动态表达式相关联的完成列表的系统和方法。执行静态分析以找到并聚集表达式的一个或多个候选类型。分析可包括若干技术中的一个或多个，包括分析被赋予程序变量的表达式、遵循方法调用、检验系统或其他指定的汇编件、加载运行时汇编件、或基于对变量的其他使用作出推断。动态分析可被执行并与静态分析组合。完成列表可基于配置的准则被过滤或排序。

主权项

一种用于生成和目标程序源代码(102)中的目标程序变量相对应的完成列表(116)的基于计算机的方法(800)，包括：a)执行(806)控制流分析来定位一个或多个源代码指令，每个源代码指令表示对象到目标程序变量的运行时赋值；b)分析所述一个或多个源代码指令中的每一个以确定(808)对应于所述目标程序变量的至少一个候选类型；c)对于每个候选类型，确定(810)与该类型相关联的一组类成员；以及d)聚集(813)一组或多组类成员。