Company Filing History:
Years Active: 2020-2021
Title: Innovations of Michael Gregory Schwarz
Introduction
Michael Gregory Schwarz is an accomplished inventor based in Bloomington, IL (US). He has made significant contributions to the field of software development, particularly in the area of code analysis and security. With a total of 2 patents, his work focuses on enhancing the safety and reliability of programming languages.
Latest Patents
One of his latest patents is a Functional Language Source Code Vulnerability Scanner. This innovative 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
Michael currently works at State Farm Mutual Automobile Insurance Company, where he applies his expertise in software development and security. His role involves collaborating with other professionals to enhance the company's technological capabilities and ensure the integrity of their software systems.
Collaborations
Some of his notable coworkers include Joseph W Norton and Paul David Kimbrel. Their collective efforts contribute to the innovative environment at State Farm, fostering advancements in technology and software solutions.
Conclusion
Michael Gregory Schwarz is a notable inventor whose work in code analysis and vulnerability scanning has made a significant impact in the field of software development. His contributions continue to enhance the security and reliability of programming languages, showcasing the importance of innovation in technology.