State Farm Mutual Automobile Insurance Company

Paul David Kimbrel

Joseph W Norton

Matthew Joshua Tijerina

Michael Gregory Schwarz

Kevin Knipmeyer

William Knight Harrod

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.

Growing community of inventors

Wylie, TX, United States of America

Paul David Kimbrel