Patents by Inventor Kevin Knipmeyer

Kevin Knipmeyer has filed for patents to protect the following inventions. This listing includes patent applications that are pending as well as patents that have already been granted by the United States Patent and Trademark Office (USPTO).

  • Functional language source code vulnerability scanner
    Patent number: 11144643
    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.
    Type: Grant
    Filed: March 26, 2020
    Date of Patent: October 12, 2021
    Assignee: STATE FARM MUTUAL AUTOMOBILE INSURANCE COMPANY
    Inventors: Joseph W. Norton, Michael Gregory Schwarz, Paul David Kimbrel, William Knight Harrod, Matthew Joshua Tijerina, Kevin Knipmeyer
  • Functional language source code vulnerability scanner
    Patent number: 10628584
    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.
    Type: Grant
    Filed: October 4, 2017
    Date of Patent: April 21, 2020
    Assignee: State Farm Mutual Automobile Insurance Company
    Inventors: Joseph W. Norton, Michael Gregory Schwarz, Paul David Kimbrel, William Knight Harrod, Matthew Joshua Tijerina, Kevin Knipmeyer