Patents by Inventor PETER W. O'HEARN

PETER W. O'HEARN 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).

  • USING STATIC ANALYSIS FOR VULNERABILITY DETECTION
    Publication number: 20220329616
    Abstract: Using static analysis for vulnerability detection, including: inspecting, using an underapproximate static code analysis, a non-executable representation of an application to identify one or more vulnerabilities in the application; and providing an indication of the one or more vulnerabilities, wherein the underapproximate static code analysis can include a taint analysis that is based on one or more of symbolic execution or incorrectness logic.
    Type: Application
    Filed: June 13, 2022
    Publication date: October 13, 2022
    Inventors: PETER W. O'HEARN, THEODORE M. REED, YIJOU CHEN, ROBERT SCHOENING