近年来,手机,机顶盒等嵌入式系统在生活中越来越常见。这些嵌入式系统往往资源有限,因此在这些系统上进行软件开发,应该考虑到相应的资源限制。嵌入式系统一个常见的资源方面的限制是内存空间都相对比较小。为了让嵌入式系统的开发人员能对程序内存需求的上界有个可靠的估计,我们开发并实现了一套程序框架,用静态分析技术推断估计程序在栈上的内存占用上界。内存占用上界的估计是通过一系列的推理规则,进行多轮的演绎推理来得到最终结果。我们开发了一个可用的工具来处理由类Java字节码写成的程序,根据推理规则对其中每一条语句进行分析。为了达到更好的精度,最后的结果是带有参数的一个表达式,表示了各种可能执行路径下的内存占用值。该工具调用了一个Presburger逻辑公式求解器对循环和递归调用进行不动点分析。我们的初步实验已证实该方法是可行且有效的。