Company Filing History:
Years Active: 2020-2021
Title: Paul David Kimbrel: Innovator in Code Scanning Technology
Introduction
Paul David Kimbrel is an accomplished inventor based in Wylie, Texas. He has made significant contributions to the field of software security through his innovative patents. With a total of 2 patents, Kimbrel has developed advanced systems that enhance the safety and reliability of source code.
Latest Patents
One of Kimbrel's latest patents is a Functional Language Source Code Vulnerability Scanner. This code scanning system features a syntax generation component that receives source code and generates an abstract syntax tree (AST) file. The system includes a white list of permitted pure functions and a black list of prohibited impure functions. Additionally, it incorporates a static code analyzer that performs 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, it is 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 either list, it is marked as 'unknown' and subjected to manual analysis.
Career Highlights
Kimbrel is currently employed at State Farm Mutual Automobile Insurance Company, where he applies his expertise in software development and security. His work focuses on creating innovative solutions that protect against vulnerabilities in code.
Collaborations
Some of Kimbrel's notable coworkers include Joseph W. Norton and Michael Gregory Schwarz. Their collaboration contributes to the advancement of technology within their organization.
Conclusion
Paul David Kimbrel is a notable inventor whose work in code scanning technology has made a significant impact on software security. His innovative patents reflect his commitment to enhancing the safety and reliability of programming practices.