Patents by Inventor Bernhard Friedrich Scholz

Bernhard Friedrich Scholz 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).

  • Combining type-analysis with points-to analysis for analyzing library source-code
    Patent number: 9336397
    Abstract: In general, in one aspect, the invention relates to a method for statically analyzing a library that includes obtaining native method annotations associated with native methods invoked by the library and extracting facts corresponding to the library from the library to obtain library facts. The library is written in a first programming language. The method also includes constructing a type-object lattice, modeling an abstracted heap using the type-object lattice, expressing abstracted heap update operations as heap update rules, and constructing, based on the library, a most general application (MGA) for the library. The method additionally includes analyzing the library using the native method annotations, the library facts, the MGA, the abstracted heap, and the heap update rules to obtain results, storing the results of the analysis, and performing an action based on the results.
    Type: Grant
    Filed: June 30, 2014
    Date of Patent: May 10, 2016
    Assignee: Oracle International Corporation
    Inventors: Nicholas John Allen, Padmanabhan Krishnan, Bernhard Friedrich Scholz
  • COMBINING TYPE-ANALYSIS WITH POINTS-TO ANALYSIS FOR ANALYZING LIBRARY SOURCE-CODE
    Publication number: 20150379271
    Abstract: In general, in one aspect, the invention relates to a method for statically analyzing a library that includes obtaining native method annotations associated with native methods invoked by the library and extracting facts corresponding to the library from the library to obtain library facts. The library is written in a first programming language. The method also includes constructing a type-object lattice, modeling an abstracted heap using the type-object lattice, expressing abstracted heap update operations as heap update rules, and constructing, based on the library, a most general application (MGA) for the library. The method additionally includes analyzing the library using the native method annotations, the library facts, the MGA, the abstracted heap, and the heap update rules to obtain results, storing the results of the analysis, and performing an action based on the results.
    Type: Application
    Filed: June 30, 2014
    Publication date: December 31, 2015
    Inventors: Nicholas John Allen, Padmanabhan Krishnan, Bernhard Friedrich Scholz