利索-全球专利检索

  1. 登录
  2. 注册

搜索结果

34 条记录 (耗时 0.016 秒)

    ANALYZING TARGET SOFTWARE FOR SECURITY VULNERABILITIES
    2.
    发明公开
    ANALYZING TARGET SOFTWARE FOR SECURITY VULNERABILITIES 审中-公开
    分析VON TARGETSOFTWAREFÜRSICHERHEITSLÜCKEN

    公开(公告)号：EP3019994A4

    公开(公告)日：2017-05-10

    申请号：EP13889177

    申请日：2013-07-12

    申请人： HEWLETT PACKARD ENTPR DEV LP

    发明人： SCHMITT MICHAEL JASON

    IPC分类号： G06F21/57 ,  G06F9/44 ,  G06F9/45

    CPC分类号： G06F21/577 ,  G06F8/43 ,  G06F8/77 ,  G06F2221/033

    摘要： A method of analyzing target software for security vulnerabilities comprises, with a processor, scanning a codebase of a target software using a static analysis scan to identify a number of security flaws, and calculating a number of code metrics of the codebase of the target software for a number of iterations over a period of time to obtain a number of historical scans.

    摘要翻译： 一种针对安全漏洞分析目标软件的方法包括：利用处理器，使用静态分析扫描来扫描目标软件的代码库以识别多个安全缺陷，并且计算目标软件的代码量的数量，用于 在一段时间内进行多次迭代以获得许多历史扫描。

    Scriptor and interpreter
    4.
    发明公开
    Scriptor and interpreter 审中-公开
    Scriptor und Interpretierer

    公开(公告)号：EP1100011A2

    公开(公告)日：2001-05-16

    申请号：EP00308103.1

    申请日：2000-09-18

    申请人： LUCENT TECHNOLOGIES INC.

    发明人： Hernandez, Gaspar, III

    IPC分类号： G06F9/44

    CPC分类号： G06F8/30 ,  G06F8/43

    摘要： A scriptor and interpreter are disclosed. The scriptor and interpreter each not only check the syntax of a command in a script, but also that the values for the variables passed as arguments to command are consistent with the values attributed to those variables in preceding portions of the script.

    摘要翻译： 披露了一位脚本和口译员。 脚本和解释器每个都不仅检查脚本中的命令的语法，而且将作为命令传递的变量的值与归因于脚本前面部分中的那些变量的值一致。

    Unified interface for meta model checking, modifying, and reporting
    8.
    发明公开
    Unified interface for meta model checking, modifying, and reporting 审中-公开
    Vereinheitlichte Schnittstelle zurMetamodellüberprüfung，Modifizierung und Berichterstattung

    公开(公告)号：EP2492806A1

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

    申请号：EP12000578.0

    申请日：2012-01-30

    申请人： SAP AG

    发明人： Brandt, Carsten

    IPC分类号： G06F9/44

    CPC分类号： G06F8/10 ,  G06F8/43 ,  G06F8/73

    摘要： This disclosure provides various embodiments for performing operations on entities of a meta model modeling one or more software components. A request is received to perform a particular operation of a particular type on each of a plurality of model entities, each model entity modeling at least one attribute of a software component. The request includes an identification of the particular type of operation in a plurality of operation types. The model entities are retrieved in response to the request. A handler object is instantiated of the particular type adapted to perform the particular operation by calling a set of reusable software modules, each software module providing functionality used to perform at least a portion of the particular operation on at least one entity in the plurality of entities. Result data is generated based on the performance of the particular operation using the instantiated handler and reusable software modules.

    摘要翻译： 本公开提供了用于对建模一个或多个软件组件的元模型的实体执行操作的各种实施例。 接收到一个请求以在多个模型实体中的每一个上执行特定类型的特定操作，每个模型实体建模软件组件的至少一个属性。 该请求包括在多种操作类型中的特定操作类型的标识。 根据请求检索模型实体。 处理程序对象被实例化为适于通过调用一组可重复使用的软件模块来执行特定操作的特定类型，每个软件模块提供用于对多个实体中的至少一个实体执行特定操作的至少一部分的功能 。 结果数据基于使用实例处理程序和可重用软件模块的特定操作的性能生成。

    SYSTEM AND METHOD FOR CREATING A PARSER GENERATOR AND ASSOCIATED COMPUTER PROGRAM
    9.
    发明公开
    SYSTEM AND METHOD FOR CREATING A PARSER GENERATOR AND ASSOCIATED COMPUTER PROGRAM 审中-公开
    系统和方法，用于产生PARSERGENERATORS及相关的计算机程序

    公开(公告)号：EP2454661A1

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

    申请号：EP09780676.4

    申请日：2009-07-15

    申请人： Proviciel - Mlstate

    发明人： BINSZTOK, Henri ,  KOPROWSKI, Adam

    IPC分类号： G06F9/44 ,  G06F9/45

    CPC分类号： G06F8/436 ,  G06F8/30 ,  G06F8/37 ,  G06F8/427 ,  G06F8/43

    摘要： The invention relates to a system for building a parser. According to the invention, such a system comprises of: - a grammar input module for inputting in said parser generator a grammar expressed in a given formalism; - a checking module for formally verifying that a given grammar belongs to a predetermined class of grammars for which a translation to a correct, terminating parser is feasible; - a checking module for formally verifying that a grammar expressed in the said formalism is well-formed; - a semantic action module defining a parsing result depending on semantic actions embedded in said grammar, said semantic action module ensuring in a formal way that all semantic actions of said grammar are terminating and - a formal module generating a parser with total correctness guarantees, using said modules to verify that the grammar is well-formed, belongs to a certain class of feasible, terminating grammars and all its semantic actions are terminating.