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:
Oct. 12, 2021
Filed:
Mar. 26, 2020
State Farm Mutual Automobile Insurance Company, Bloomington, IL (US);
Joseph W. Norton, Normal, IL (US);
Michael Gregory Schwarz, Bloomington, IL (US);
Paul David Kimbrel, Wylie, TX (US);
William Knight Harrod, Dallas, TX (US);
Matthew Joshua Tijerina, Richardson, TX (US);
Kevin Knipmeyer, Bloomington, IL (US);
STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANY, Bloomington, IL (US);
Abstract
A code scanning system has a syntax generation component that receives source code and generates an abstract syntax tree file. The system includes a white list of permitted pure functions, and a black list of prohibited impure functions. In addition, the system includes a static code analyzer for performing static analysis of the source code. The static code analyzer includes a function analyzer that receives the AST file and identifies the functions. Each function is compared to the white list, and if it is present, marked as permitted in a static analysis file. If the function is not on the white list, it is compared to the black list. If it is present on the black list, it is marked as prohibited in the static analysis file. If the function is not on the white or black list, it is marked as 'unknown' and subjected to manual analysis.