Patent · US Active

Using static analysis for vulnerability detection

US12034754B2 · kind B2 · utility

5Cited by

257References

18Claims

0Family size

Assignee

Lacework, Inc. · US

Inventors

Peter W. O'Hearn · London, GB
Theodore M. Reed · Berkeley Heights, US
Yijou Chen · Cupertino, US
Robert Schoening · Oakland, US

Key dates

Filing date	Jun 13, 2022
Grant date	Jul 9, 2024
Priority date	—
Expiry date	Oct 21, 2042

Classification

Technology area (CPC G)Physics
CPC primaryG06F16/2456
WIPO fieldComputer technology
WIPO sectorElectrical engineering

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.

Source: USPTO / EPO open patent data. Objective bibliographic and citation counts.