Fortinet, Inc.

Lacework Inc.

Robert Schoening

Yijou Chen

Theodore M Reed

Peter W O'hearn

Leveraging information gathered using static analysis for remediating detected issues in a monitored deployment, including: inspecting, using static code analysis, a non-executable representation of an application to identify one or more vulnerabilities in the application; detecting one more conditions in the monitored deployment; and initiating, based on information describing the one or more vulnerabilities in the application that were identified using static code analysis, a remediation workflow.

Leveraging information gathered using static analysis for remediating detected issues in a monitored deployment

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.

Growing community of inventors

OAKLAND, CA, United States of America

Robert Schoening