The patent badge is an abbreviated version of the USPTO patent document. The patent badge does contain a link to the full patent document.
The patent badge is an abbreviated version of the USPTO patent document. The patent badge covers the following: Patent number, Date patent was issued, Date patent was filed, Title of the patent, Applicant, Inventor, Assignee, Attorney firm, Primary examiner, Assistant examiner, CPCs, and Abstract. The patent badge does contain a link to the full patent document (in Adobe Acrobat format, aka pdf). To download or print any patent click here.
Patent No.:
Date of Patent:
Jul. 14, 2026
Filed:
Dec. 06, 2023
Amazon Technologies, Inc., Seattle, WA (US);
Pranav Garg, Secaucus, NJ (US);
Yanjun Wang, Santa Clara, CA (US);
Benjamin Robert Liblit, Leesburg, VA (US);
Omer Tripp, San Jose, CA (US);
Amazon Technologies, Inc., Seattle, WA (US);
Abstract
A search language is provided for writing rules that allow semantic and syntactic checking of source code to find potential errors in a target code. The language allows for wildcards (also called placeholders), which provide a more expansive matching of search terms. A compiler is described that converts a search language query into a semantic graph representation. The target code being searched can also be converted to a target graph representation. A comparison can then be performed between the semantic graph representation and the target graph representation to determine if the semantic graph representation is contained within the target graph representation. If so, then a semantic match is found in the target source code. More specifically, semantic matching can be realized by checking homomorphism against the target graph representation. In one example, the semantic matching can include a comparison of nodes and edges connecting the nodes.