Method and apparatus for automated vulnerability detection

Number of patents in Portfolio can not be more than 2000

United States of America Patent

PATENT NO 9507945
APP PUB NO 20140298472A1
SERIAL NO

14242028

Stats

ATTORNEY / AGENT: (SPONSORED)

Importance

Loading Importance Indicators... loading....

Abstract

See full text

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.

Loading the Abstract Image... loading....

First Claim

See full text

Family

Loading Family data... loading....

Patent Owner(s)

  • THE JOHNS HOPKINS UNIVERSITY

International Classification(s)

  • [Classification Symbol]
  • [Patents Count]

Inventor(s)

Inventor Name Address # of filed Patents Total Citations
Deal,, Jr Forest C Catonsville, US 1 1
Gardner, Ryan W Columbia, US 2 48
Glendenning, Laura J Columbia, US 4 54
Heine, David J Columbia, US 7 186
Kouskoulas, Yanni A Silver Spring, US 1 6
Lospinuso, Margaret F Laurel, US 4 54
McDonell,, III C Durward Olney, US 5 78
Nguyen, Vina H Bethesda, US 1 1
Schmidt, Douglas C Severna Park, US 7 88
Zaret, David R Columbia, US 4 5

Cited Art Landscape

Load Citation

Patent Citation Ranking

Forward Cite Landscape

Load Citation

Maintenance Fees

Fee Large entity fee small entity fee micro entity fee due date
7.5 Year Payment $3600.00 $1800.00 $900.00 May 29, 2024
11.5 Year Payment $7400.00 $3700.00 $1850.00 May 29, 2028
Fee Large entity fee small entity fee micro entity fee
Surcharge - 7.5 year - Late payment within 6 months $160.00 $80.00 $40.00
Surcharge - 11.5 year - Late payment within 6 months $160.00 $80.00 $40.00
Surcharge after expiration - Late payment is unavoidable $700.00 $350.00 $175.00
Surcharge after expiration - Late payment is unintentional $1,640.00 $820.00 $410.00