公开(公告)号：US20120102471A1

公开(公告)日：2012-04-26

申请号：US12912345

申请日：2010-10-26

申请人： Shay ARTZI ,  Ryan BERG ,  John T. PEYTON, JR. ,  Marco PISTOIA ,  Manu SRIDHARAN ,  Robert WIENER

发明人： Shay ARTZI ,  Ryan BERG ,  John T. PEYTON, JR. ,  Marco PISTOIA ,  Manu SRIDHARAN ,  Robert WIENER

IPC分类号： G06F9/44 ,  G06F17/30

CPC分类号： G06F8/30

摘要： Systems and methods are provided for creating a data structure associated with a software application that is based on at least one framework. According to the method, source code and at least one configuration file of the software application is analyzed by at least one framework-specific processor so as to determine entry point information indicating entry points in the source code, request attribute access information indicating where attributes attached to a request data structure are read and written, and forward information indicating forwards performed by the software application. A data structure for a static analysis engine is created based on this information. The data structure includes a list of synthetic methods that model framework-related behavior of the software application, and a list of entry points indicating the synthetic methods and/or application methods of the software application that can be invoked by the framework.

摘要翻译： 系统和方法被提供用于创建与基于至少一个框架的软件应用相关联的数据结构。 根据该方法，由至少一个特定于框架的处理器分析软件应用的源代码和至少一个配置文件，以便确定指示源代码中的入口点的入口点信息，指示所附属性的属性访问信息 读取和写入请求数据结构，以及指示由软件应用执行的转发的转发信息。 基于此信息创建静态分析引擎的数据结构。 数据结构包括对软件应用程序的框架相关行为进行建模的综合方法列表，以及指示框架可以调用的软件应用程序的合成方法和/或应用方法的入口点列表。