公开(公告)号：US12118350B1

公开(公告)日：2024-10-15

申请号：US17491088

申请日：2021-09-30

Applicant: Amazon Technologies, Inc.

Inventor： Rajdeep Mukherjee ,  Hoan Anh Nguyen ,  Pranav Garg ,  Omer Tripp ,  Sengamedu Hanumantha Rao Srinivasan

IPC: G06F8/71 ,  G06F8/20 ,  G06F16/901

CPC classification number: G06F8/71 ,  G06F8/20 ,  G06F16/9024

Abstract: Code changes may be hierarchically clustered to discover coding practices. Code change graphs for changes to code in a source code repository may be clustered according to hierarchy of different features determined for the source code into groups. The code change graphs in the groups may then be indexed according their similarity with other code change graphs in the groups. Then one or more coding practices corresponding to the indexed code changes may be provided.

公开(公告)号：US11914993B1

公开(公告)日：2024-02-27

申请号：US17364768

申请日：2021-06-30

Applicant: Amazon Technologies, Inc.

Inventor： Pranav Garg ,  Sengamedu Hanumantha Rao Srinivasan ,  Benjamin Robert Liblit ,  Rajdeep Mukherjee ,  Omer Tripp ,  Neela Sawant

IPC: G06F8/77 ,  G06N20/00

CPC classification number: G06F8/77 ,  G06N20/00

Abstract: An aggregate representation of a collection of source code examples is constructed. The collection includes positive examples that conform to a coding practice and negative examples do not conform to the coding practice. The aggregate representation includes nodes corresponding to source code elements, and edges representing relationships between code elements. Using an iterative analysis of the aggregate representation, a rule to automatically detect non-conformance is generated. The rule is used to provide an indication that a set of source code is non-conformant.

公开(公告)号：US11586437B1

公开(公告)日：2023-02-21

申请号：US17218590

申请日：2021-03-31

Applicant: Amazon Technologies, Inc.

Inventor： Omer Tripp ,  Rajdeep Mukherjee ,  Michael Wilson ,  Yingjun Lyu

IPC: G06F9/44 ,  G06F8/75 ,  G06F9/54 ,  G06N20/00

Abstract: Techniques for program verification are described. An exemplary method includes receiving a request to evaluate code based on a customized rule, the customized rule comprising one or more conditions for which the customized rule is applicable and one or more postconditions to indicate at least one check to perform for a given node in a graph for the code, wherein an application of the customized rule performs one or more of: an interleave between a backward analysis and forward analysis based on user-specified conditions, an analysis between sub-graphs by a query from a first sub-graph to a second sub-graph, and an operation on a sub-graph, storage of a result of the operation on the sub-graph, and usage of the stored result in a subsequent operation; generating a graph for the code; and evaluating the code by applying the customized rule to the generated graph.