State Farm Mutual Automobile Insurance Company

Kevin Knipmeyer

Joseph W Norton

Matthew Joshua Tijerina

Michael Gregory Schwarz

William Knight Harrod

Paul David Kimbrel

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

Bloomington, IL, United States of America

Kevin Knipmeyer