专利快速检索-快速检索全球专利，免费商用专利数据库-IPRDB

1. 再颁专利

USRE46380E1 Type inference for datalog with complex type hierarchies 有权
公开(公告)号：USRE46380E1
公开(公告)日：2017-04-25
申请号：US14952788
申请日：2015-11-25
申请人： SEMMLE LIMITED
发明人： Max Schaefer , Oege de Moor
IPC分类号： G06F7/00 , G06F17/30 , G06F9/45
CPC分类号： G06F17/30421 , G06F8/437
摘要： What is disclosed are a novel system and method for inferring types of database queries. In one embodiment a program and associated database schema that includes a type hierarchy is accessed. The program includes query operations to a database that contains relations described by a database schema. Types are inferred from definitions in the program by replacing each database relationship in the program by the types in the database schema. A new program is generated with the types that have been inferred with the new program only accessing unary relations in the database. In another embodiment, testing of each of the types that have been inferred is performed for type emptiness. In response to type emptiness being found for a type that have been inferred, a variety of different operations are performing including removing the type, providing a notification regarding the emptiness found for the type, and more.

2. 发明申请

US20150324195A1 SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION 有权
公开(公告)号：US20150324195A1
公开(公告)日：2015-11-12
申请号：US14794280
申请日：2015-07-08
申请人： SEMMLE LIMITED
发明人： Anders Starcke Henriksen , Arthur Baars , Pavel Avgustinov , Julian Tibble , Max Schaefer , Oege de Moor
IPC分类号： G06F9/44 , G06Q10/06
CPC分类号： G06F8/71 , G06F8/43 , G06F8/75 , G06F8/77 , G06F11/3616 , G06F17/30106 , G06Q10/06398
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.

3. 发明申请

US20160132326A1 SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION 有权
标题翻译：源代码违法匹配与引用
公开(公告)号：US20160132326A1
公开(公告)日：2016-05-12
申请号：US14988491
申请日：2016-01-05
申请人： SEMMLE LIMITED
发明人： Anders Starcke Henriksen , Arthur Baars , Pavel Avgustinov , Julian Tibble , Max Schaefer , Oege de Moor
IPC分类号： G06F9/44 , G06F17/30
CPC分类号： G06F8/71 , G06F8/43 , G06F8/75 , G06F8/77 , G06F11/3616 , G06F17/30106 , G06Q10/06398
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot Tis received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.
摘要翻译：方法，系统和装置，包括在计算机存储介质上编码的计算机程序，用于匹配和归因于代码违例。其中一种方法包括接收源代码的代码库和代码库的不同快照T的快照S。表示快照S中第一次违规的数据和快照Tis中的第二次违规。通过执行两个或更多个匹配过程来确定对匹配违规，包括执行第一匹配处理，第一匹配处理根据第一匹配算法确定第一对匹配违规，并执行第二匹配处理，第二匹配处理确定第二匹配过程根据不符合第一匹配过程的违规的第二匹配算法对匹配违规。在确定的匹配违规对中包括第一对匹配违例和第二对匹配违规。

4. 发明申请

US20150309790A1 SOURCE CODE VIOLATION MATCHING AND ATTRIBUTION 有权
标题翻译：源代码违法匹配与引用
公开(公告)号：US20150309790A1
公开(公告)日：2015-10-29
申请号：US14696185
申请日：2015-04-24
申请人： SEMMLE LIMITED
发明人： Anders Starcke Henriksen , Arthur Baars , Pavel Avgustinov , Julian Tibble , Max Schaefer , Oege de Moor
IPC分类号： G06F9/44
CPC分类号： G06F8/71 , G06F8/43 , G06F8/75 , G06F8/77 , G06F11/3616 , G06F17/30106 , G06Q10/06398
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.
摘要翻译：方法，系统和装置，包括在计算机存储介质上编码的计算机程序，用于匹配和归因于代码违例。其中一种方法包括接收源代码的代码库和代码库的不同快照T的快照S。收到表示快照S中的第一次违规的数据和快照T中的第二次违规。通过执行两个或更多个匹配过程来确定对匹配违规，包括执行第一匹配处理，第一匹配处理根据第一匹配算法确定第一对匹配违规，并执行第二匹配处理，第二匹配处理确定第二匹配过程根据不符合第一匹配过程的违规的第二匹配算法对匹配违规。在确定的匹配违规对中包括第一对匹配违例和第二对匹配违规。

5. 发明授权

US09507591B2 Source code violation matching and attribution 有权
公开(公告)号：US09507591B2
公开(公告)日：2016-11-29
申请号：US14988491
申请日：2016-01-05
申请人： SEMMLE LIMITED
发明人： Anders Starcke Henriksen , Arthur Baars , Pavel Avgustinov , Julian Tibble , Max Schaefer , Oege de Moor
IPC分类号： G06F9/44 , G06Q10/06 , G06F11/36 , G06F9/45 , G06F17/30
CPC分类号： G06F8/71 , G06F8/43 , G06F8/75 , G06F8/77 , G06F11/3616 , G06F17/30106 , G06Q10/06398
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.

6. 发明授权

US09411578B2 Source code violation matching and attribution 有权
公开(公告)号：US09411578B2
公开(公告)日：2016-08-09
申请号：US14794280
申请日：2015-07-08
申请人： SEMMLE LIMITED
发明人： Anders Starcke Henriksen , Arthur Baars , Pavel Avgustinov , Julian Tibble , Max Schaefer , Oege de Moor
IPC分类号： G06F9/44 , G06Q10/06 , G06F11/36 , G06F9/45
CPC分类号： G06F8/71 , G06F8/43 , G06F8/75 , G06F8/77 , G06F11/3616 , G06F17/30106 , G06Q10/06398
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.

7. 发明授权

US09262157B2 Source code violation matching and attribution 有权
公开(公告)号：US09262157B2
公开(公告)日：2016-02-16
申请号：US14696185
申请日：2015-04-24
申请人： SEMMLE LIMITED
发明人： Anders Starcke Henriksen , Arthur Baars , Pavel Avgustinov , Julian Tibble , Max Schaefer , Oege de Moor
IPC分类号： G06F9/44
CPC分类号： G06F8/71 , G06F8/43 , G06F8/75 , G06F8/77 , G06F11/3616 , G06F17/30106 , G06Q10/06398
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for matching and attributing code violations. One of the methods includes receiving a snapshot S of a code base of source code and a different snapshot T of the code base. Data representing first violations in the snapshot S and second violations in the snapshot T is received. Pairs of matching violations are determined using performing two or more matching processes, including performing a first matching process, the first matching process determining first pairs of matching violations according to a first matching algorithm and performing a second matching process, the second matching process determining second pairs of matching violations according to a second matching algorithm from violations not matched by the first matching process. The first pairs of matching violations and the second pairs of matching violations are included in the determined pairs of matching violations.

8. 发明授权

US09015193B1 Recursive aggregates 有权
标题翻译：递归聚合
公开(公告)号：US09015193B1
公开(公告)日：2015-04-21
申请号：US14292581
申请日：2014-05-30
申请人： Semmle Limited
发明人： Oege de Moor
IPC分类号： G06F17/30
CPC分类号： G06F17/30513 , G06F17/30412 , G06F17/30483 , G06F17/30595
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for expressing and evaluating aggregation functions, including aggregation functions in the context of recursive aggregates, in data languages that implement fixed point semantics. One of the methods includes receiving input specifying, explicitly or implicitly, an aggregation function agg having an input type and an output type, a relation s that has a domain and a range and that represents one or more entities to be aggregated over, and a relation t that is a relation from the range of s to the input type of the aggregation function agg; and evaluating an aggregation construct agg* to calculate a relation between the domain of s and the output type of the aggregation function agg according to agg*(s, t)={(m, agg(n))|∃d: (m,d)εs,nεπ{|t(y)|yεs(m)|}}.
摘要翻译：方法，系统和装置，包括在计算机存储介质上编码的计算机程序，用于在实现固定点语义的数据语言中表达和评估聚合函数，包括在递归聚合的上下文中的聚合函数。一种方法包括接收明确或隐含地指定具有输入类型和输出类型的聚合函数agg的输入，具有域和范围的关系，并且表示要聚合的一个或多个实体，以及关系t是从s到聚合函数agg的输入类型的关系; 并且根据agg *（s，t）= {（m，agg（n））|∃d：（m）来计算聚合函数agg的域和输出类型之间的关系，d）＆egr; s，n＆egr;＆pgr; {| t（y）| y＆egr; s（m）|}}。

9. 再颁专利

USRE46537E1 Querying an object-oriented data hierarchy using relational query languages 有权
公开(公告)号：USRE46537E1
公开(公告)日：2017-09-05
申请号：US14877992
申请日：2015-10-08
申请人： Semmle Limited
发明人： Mathieu Verbaere , Oege de Moor , Elnar Hajiyev
IPC分类号： G06F17/30
CPC分类号： G06F17/30395 , G06F17/30401
摘要： A novel system, computer readable storage medium and method for creating re-usable queries over complex data including hierarchies, trees and graphs is described. This is achieved by an object-oriented query language, where a class is a logical property of a data item, and inheritance is implication between such properties. Virtual method calls execute all relevant method implementations in most specific classes. Expressions can be multi-valued, thus avoiding the need for naming intermediate results. All constructs closely follow the syntax of mainstream object-oriented languages like Java.

10. 发明授权

US09418111B1 Recursive aggregates 有权
标题翻译：递归聚合
公开(公告)号：US09418111B1
公开(公告)日：2016-08-16
申请号：US14679759
申请日：2015-04-06
申请人： SEMMLE LIMITED
发明人： Oege de Moor
IPC分类号： G06F17/30
CPC分类号： G06F17/30513 , G06F17/30412 , G06F17/30483 , G06F17/30595
摘要： Methods, systems, and apparatus, including computer programs encoded on computer storage media, for expressing and evaluating aggregation functions, including aggregation functions in the context of recursive aggregates, in data languages that implement fixed point semantics. One of the methods includes receiving input specifying, explicitly or implicitly, an aggregation function agg having an input type and an output type, a relation s that has a domain and a range and that represents one or more entities to be aggregated over, and a relation t that is a relation from the range of s to the input type of the aggregation function agg; and evaluating an aggregation construct agg* to calculate a relation between the domain of s and the output type of the aggregation function agg according to agg*(s,t)={(m,agg(n))|∃d:(m,d)εs,nεΠ{|t(y)|yεs(m)|}}.
摘要翻译：方法，系统和装置，包括在计算机存储介质上编码的计算机程序，用于在实现固定点语义的数据语言中表达和评估聚合函数，包括在递归聚合的上下文中的聚合函数。一种方法包括接收明确或隐含地指定具有输入类型和输出类型的聚合函数agg的输入，具有域和范围的关系，并且表示要聚合的一个或多个实体，以及关系t是从s到聚合函数agg的输入类型的关系; 并且根据agg *（s，t）= {（m，agg（n））|∃d：（m）来计算聚合函数agg的域和输出类型之间的关系，d）εs，nεΠ{| t（y）|yεs（m）|}}。

你已经成功收藏专利！

检索式保存成功!

IPRDB

热门服务

关于我们

友情链接

联系方式