Company Filing History:
Years Active: 2020
Title: Innovations of Johannes Späth in Code Analysis
Introduction
Johannes Späth is an accomplished inventor based in Mainz, Germany. He has made significant contributions to the field of code analysis, particularly through his innovative patent. His work focuses on enhancing the understanding and efficiency of code through advanced analytical methods.
Latest Patents
Johannes Späth holds a patent for a method titled "Modular points-to analysis." This method involves analyzing code by determining modules that include function definitions using a dependency graph. It generates source points-to tuples and a call graph for a source function definition in a first module. The source points-to tuples consist of a source variable and a source allocation site, which refers to a memory location allocated during the execution of the source function definition. The method also includes determining reachable target function definitions from the source function definition and importing target summaries into source summaries.
Career Highlights
Johannes Späth is currently employed at Oracle International Corporation, where he applies his expertise in code analysis. His innovative approach has the potential to significantly improve software development processes and enhance code reliability.
Collaborations
Some of his notable coworkers include Francois Gauthier and Padmanabhan Krishnan, who contribute to the collaborative environment at Oracle International Corporation.
Conclusion
Johannes Späth's contributions to code analysis through his patent demonstrate his commitment to innovation in the field. His work not only advances technical understanding but also enhances practical applications in software development.