The Johns Hopkins University

David J Heine

C Durward McDonell, Iii

J Aaron Pendergrass

Peter A Loscocco

Perry W Wilson

Bessie Y Lewis

Douglas Charles Schmidt

David R Zaret

Laura J Glendenning

Margaret F Lospinuso

Ryan W Gardner

Forest C Deal, Jr

Yanni A Kouskoulas

Vina H Nguyen

A method executable via operation of configured processing circuitry to identify vulnerabilities in program code may include receiving a program and employing a disassembler to disassemble the program, generating a function call tree for the program based on disassembly of the program, receiving an indication of a post condition for which analysis of the program is desired, transforming program statements into logical equations, simplifying the logical equations, propagating post conditions backwards via Dijkstra's weakest precondition variant, analyzing aliases and processing loops to generate a precondition, and using an automated solver to determine whether the precondition is realizable and, if so, providing program inputs required to realize the precondition.

Method and apparatus for automated vulnerability detection

The present disclosure is directed towards methods and systems and methods for measuring the integrity of an operating system's execution and ensuring that the system's code is performing its intended functionality. This includes examining the integrity of the code that the operating system is executing as well as the data that the operating system accesses. Integrity violations can be detected in the dynamic portions of the code being executed.

Method and system for program execution integrity measurement

Methods and system for program execution integrity measurement

Growing community of inventors

Columbia, MD, United States of America

David J Heine