Rule creation for code analysis
    1.
    发明授权

    公开(公告)号:US12045609B1

    公开(公告)日:2024-07-23

    申请号:US17850583

    申请日:2022-06-27

    CPC classification number: G06F8/75 G06F8/71 G06F40/20

    Abstract: Techniques for generating custom rules are described. For example, a system to receive at least one request to create rules based on a policy and code repository files stored by the storage service; analyze the policy to generate a collection of rule candidates; analyze the code repository files to identify labeled code examples that either conform or do not conform to the rule candidates; receive a selection of the labeled code examples; and synthesize at least one rule that includes a precondition that specifies applicability to the selected labeled code examples and a postcondition that expresses a check to be performed contingent on the precondition being satisfied is at least described.

    Codifying rules from online documentation

    公开(公告)号:US11150897B1

    公开(公告)日:2021-10-19

    申请号:US16836447

    申请日:2020-03-31

    Abstract: Techniques for generating rules from documentation are described. For example, a method for generating rules may include generating one or more templates containing patterns and anti-patterns from code of one or more documents, wherein a pattern captures a good coding practice as detailed in the documents and an anti-pattern is a proper subset of a pattern that does not include a construct described in the documents as being a recommended and/or required usage; constructing one or more graphs from the one or more templates; mining the constructed one or more graphs to find target sub-graphs which do not contain bugs, wherein a bug occurs when an anti-pattern matches, but a pattern does not match; comparing the target sub-graphs to a representative dataset to remove target sub-graphs that violate good usage; and codifying the sub-graphs that represent good usage.

    Using an abstract syntax tree for generating names in source code

    公开(公告)号:US10809983B1

    公开(公告)日:2020-10-20

    申请号:US16198980

    申请日:2018-11-23

    Abstract: Techniques for suggesting a name from one or more code files are described. An exemplary method includes receiving a request to suggest one or more names for a name in a code file; determining one or more names based on existing names in one or more code files using one or more abstract syntax trees (ASTs) for the one or more code files; and outputting the determined one or more names as a name suggestion that comprises novel sequences of sub-tokens of existing names of the one or more code files.

Patent Agency Ranking