利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

137 条记录 (耗时 0.027 秒)

    Crawling of object model using transformation graph
    1.
    发明申请
    Crawling of object model using transformation graph 失效
    使用变换图来爬行对象模型

    公开(公告)号：US20100088668A1

    公开(公告)日：2010-04-08

    申请号：US12246065

    申请日：2008-10-06

    申请人： Sachiko Yoshihama ,  Shinya Kawanaka ,  Takaaki Tateishi ,  Ory Segal ,  Adi Sharabani ,  Marco Pistoia ,  Guy Podjarny

    发明人： Sachiko Yoshihama ,  Shinya Kawanaka ,  Takaaki Tateishi ,  Ory Segal ,  Adi Sharabani ,  Marco Pistoia ,  Guy Podjarny

    IPC分类号： G06F9/44

    CPC分类号： G06F8/10

    摘要： A transformation tree for an object model (OM) is defined. The transformation tree has nodes interconnected by edges, where each node is connected to at most one other tree node. Each node corresponds to a state of the OM; each edge corresponds to an event causing the OM to transition from the state of one node to the state of another node. A transformation graph for the OM is constructed by simulating the transformation tree. The transformation graph has nodes interconnected by edges, and is a directed graph in which each node is connected to one or more other nodes. Each node corresponds to a state of the OM; each edge corresponds to an event causing the OM to transition from the state of one node to the state of another node. Crawling-oriented actions are performed in relation to the OM by being performed in relation to the transformation graph.

    摘要翻译： 定义了对象模型（OM）的转换树。 转换树具有通过边缘互连的节点，其中每个节点连接到最多一个其他树节点。 每个节点对应于OM的状态; 每个边缘对应于导致OM从一个节点的状态转变到另一个节点的状态的事件。 通过模拟转换树构建OM的变换图。 转换图具有通过边缘互连的节点，并且是有向图，其中每个节点连接到一个或多个其他节点。 每个节点对应于OM的状态; 每个边缘对应于导致OM从一个节点的状态转变到另一个节点的状态的事件。 通过相对于变换图执行针对OM执行针对爬行的动作。

    Crawling of object model using transformation graph
    2.
    发明授权
    Crawling of object model using transformation graph 失效
    使用变换图来爬行对象模型

    公开(公告)号：US08296722B2

    公开(公告)日：2012-10-23

    申请号：US12246065

    申请日：2008-10-06

    申请人： Sachiko Yoshihama ,  Shinya Kawanaka ,  Takaaki Tateishi ,  Ory Segal ,  Adi Sharabani ,  Marco Pistoia ,  Guy Podjarny

    发明人： Sachiko Yoshihama ,  Shinya Kawanaka ,  Takaaki Tateishi ,  Ory Segal ,  Adi Sharabani ,  Marco Pistoia ,  Guy Podjarny

    IPC分类号： G06F9/44

    CPC分类号： G06F8/10

    摘要： A transformation tree for an object model (OM) is defined. The transformation tree has nodes interconnected by edges, where each node is connected to at most one other tree node. Each node corresponds to a state of the OM; each edge corresponds to an event causing the OM to transition from the state of one node to the state of another node. A transformation graph for the OM is constructed by simulating the transformation tree. The transformation graph has nodes interconnected by edges, and is a directed graph in which each node is connected to one or more other nodes. Each node corresponds to a state of the OM; each edge corresponds to an event causing the OM to transition from the state of one node to the state of another node. Crawling-oriented actions are performed in relation to the OM by being performed in relation to the transformation graph.

    摘要翻译： 定义了对象模型（OM）的转换树。 转换树具有通过边缘互连的节点，其中每个节点连接到最多一个其他树节点。 每个节点都对应于OM的状态; 每个边缘对应于导致OM从一个节点的状态转变到另一个节点的状态的事件。 通过模拟转换树构建OM的变换图。 转换图具有通过边缘互连的节点，并且是有向图，其中每个节点连接到一个或多个其他节点。 每个节点对应于OM的状态; 每个边缘对应于导致OM从一个节点的状态转变到另一个节点的状态的事件。 通过相对于变换图执行针对OM执行针对爬行的动作。

    WEB CRAWLING USING STATIC ANALYSIS
    4.
    发明申请
    WEB CRAWLING USING STATIC ANALYSIS 审中-公开
    使用静态分析的WEB抓取

    公开(公告)号：US20120215757A1

    公开(公告)日：2012-08-23

    申请号：US13032638

    申请日：2011-02-22

    申请人： Omri Weisman ,  Yinnon Avraham Haviv ,  Adi Sharabani ,  Omer Tripp ,  Marco Pistoia ,  Takaaki Tateishi ,  Guy Podjarny

    发明人： Omri Weisman ,  Yinnon Avraham Haviv ,  Adi Sharabani ,  Omer Tripp ,  Marco Pistoia ,  Takaaki Tateishi ,  Guy Podjarny

    IPC分类号： G06F17/30

    CPC分类号： G06F16/951

    摘要： A crawler including a document retriever configured to retrieve a first computer-based document, a link identifier configured to identify an actual string within the computer-based document as being a hyperlink-type string, and a static analyzer configured to perform static analysis of an operation on a variable within the first computer-based document to identify a possible string value of the variable as being a hyperlink-type string, where any of the strings indicate a location of at least a second computer-based document.

    摘要翻译： 包括被配置为检索第一基于计算机的文档的文档检索器的爬行器，被配置为将所述基于计算机的文档内的实际字符串标识为超链接字符串的链接标识符和被配置为执行静态分析的静态分析器 操作第一基于计算机的文档中的变量，以将变量的可能字符串值标识为超链接类型的字符串，其中任何字符串指示至少第二基于计算机的文档的位置。

    SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX TESTING
    8.
    发明申请
    SIMULATING BLACK BOX TEST RESULTS USING INFORMATION FROM WHITE BOX TESTING 有权
    使用白盒测试中的信息模拟黑盒测试结果

    公开(公告)号：US20120254839A1

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

    申请号：US13493067

    申请日：2012-06-11

    申请人： Stephen Fink ,  Yinnon A. Haviv ,  Roee Hay ,  Marco Pistoia ,  Ory Segal ,  Adi Sharabani ,  Manu Sridharan ,  Frank Tip ,  Omer Tripp ,  Omri Weisman

    发明人： Stephen Fink ,  Yinnon A. Haviv ,  Roee Hay ,  Marco Pistoia ,  Ory Segal ,  Adi Sharabani ,  Manu Sridharan ,  Frank Tip ,  Omer Tripp ,  Omri Weisman

    IPC分类号： G06F9/44

    CPC分类号： G06F11/3604 ,  G06F9/44589 ,  G06F9/455 ,  G06F11/36 ,  G06F11/362 ,  G06F21/577 ,  G06F2221/033

    摘要： Systems, methods are program products for simulating black box test results using information obtained from white box testing, including analyzing computer software (e.g., an application) to identify a potential vulnerability within the computer software application and a plurality of milestones associated with the potential vulnerability, where each of the milestones indicates a location within the computer software application, tracing a path from a first one of the milestones to an entry point into the computer software application, identifying an input to the entry point that would result in a control flow from the entry point and through each of the milestones, describing the potential vulnerability in a description indicating the entry point and the input, and presenting the description via a computer-controlled output medium.

    摘要翻译： 系统，方法是使用从白盒测试获得的信息来模拟黑盒测试结果的程序产品，包括分析计算机软件（例如应用程序）以识别计算机软件应用程序中的潜在漏洞以及与潜在漏洞相关联的多个里程碑 ，其中每个里程碑指示计算机软件应用程序内的位置，跟踪从第一个里程碑到入口点的路径到计算机软件应用程序中，识别入口点的输入将导致控制流从 描述在描述入口点和输入的描述中的潜在漏洞，以及经由计算机控制的输出介质呈现描述的入口点和通过每个里程碑。