Issued Patents All Time
Showing 1–25 of 25 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 11544384 | Applying machine learning techniques to discover security impacts of application programming interfaces | Kristofer A. Duer, Babita Sharma, David E. Stewart, Jason N. Todd, Shu Wang | 2023-01-03 |
| 10614218 | Scan time reduction in application code security scanning | Babita Sharma, Jason N. Todd, Jeffrey C. Turnham, Mathieu Merineau, Ettore Merlo | 2020-04-07 |
| 10592405 | Visualization of vulnerabilities detected by static application testing | Kristofer A. Duer, Stephen D. Teilhet, Lin Tan, Jinqiu Yang | 2020-03-17 |
| 10586050 | Consolidating static analysis tool warnings using dynamic programming | Kristofer A. Duer, Jonathan J. Butler, Stephen D. Teilhet, Omer Tripp | 2020-03-10 |
| 10482262 | Static analysis based on abstract program representations | Babita Sharma, Andrew Mak, Richard Myer Goldberg, Jeffrey C. Turnham, Matthew Francis Murphy +1 more | 2019-11-19 |
| 10339320 | Applying machine learning techniques to discover security impacts of application programming interfaces | Kristofer A. Duer, Babita Sharma, David E. Stewart, Jason N. Todd, Shu Wang | 2019-07-02 |
| 10324825 | Visualization of security warning solution points | Kristofer A. Duer, Johnathan D. Smith, Stephen D. Teilhet, Jason N. Todd, Lin Tan +1 more | 2019-06-18 |
| 10091232 | Solution-centric reporting of security warnings | Stephen D. Teilhet, Kristofer A. Duer, Omer Tripp | 2018-10-02 |
| 10089215 | Visualization of security warning solution points | Kristofer A. Duer, Stephen D. Teilhet, Jason N. Todd, Lin Tan, Jinqui Yang | 2018-10-02 |
| 9785777 | Static analysis based on abstract program representations | Babita Sharma, Andrew Mak, Richard Myer Goldberg, Jeffrey C. Turnham, Matthew Francis Murphy +1 more | 2017-10-10 |
| 9749345 | Reporting security vulnerability warnings | Kristofer A. Duer, Omer Tripp, Stephen D. Teilhet | 2017-08-29 |
| 9729569 | Solution-centric reporting of security warnings | Stephen D. Teilhet, Kristofer A. Duer, Omer Tripp | 2017-08-08 |
| 9160762 | Verifying application security vulnerabilities | Nevon C. Brake, Paul Ionescu, Iosif V. Onut, Wayne Duncan Smith | 2015-10-13 |
| 9075997 | Global variable security analysis | Shay Artzi, Ryan Berg, Marco Pistoia, Manu Sridharan, Takaaki Tateishi +2 more | 2015-07-07 |
| 8935794 | Verifying application security vulnerabilities | Nevon C. Brake, Paul Ionescu, Iosif V. Onut, Wayne Duncan Smith | 2015-01-13 |
| 8656496 | Global variable security analysis | Shay Artzi, Ryan Berg, Marco Pistoia, Manu Sridharan, Takaaki Tateishi +2 more | 2014-02-18 |
| 8434070 | Generating specifications of client-server applications for static analysis | Shay Artzi, Ryan Berg, Marco Pistoia, Manu Sridharan, Robert Wiener | 2013-04-30 |
| 8429633 | Managing memory to support large-scale interprocedural static analysis for security problems | Richard Title, Benjamin Greenwald | 2013-04-23 |
| 8156483 | Method and system for detecting vulnerabilities in source code | Ryan Berg, Larry Rose, John J. Danahy, Robert A. Gottlieb, Chris Rehbein | 2012-04-10 |
| 7617489 | Method and system for detecting interprocedural vulnerability by analysis of source code | Robert A. Gottlieb | 2009-11-10 |
| 7418734 | Method and system for detecting privilege escalation vulnerabilities in source code | Ryan Berg, Larry Rose, John J. Danahy, Robert A. Gottlieb, Chris Rehbein | 2008-08-26 |
| 7398517 | Method and system for detecting vulnerabilities in source code | Ryan Berg, Larry Rose, John J. Danahy, Robert A. Gottlieb, Chris Rehbein | 2008-07-08 |
| 7398516 | Method and system for detecting race condition vulnerabilities in source code | Ryan Berg, Larry Rose, John J. Danahy, Robert A. Gottlieb, Chris Rehbein | 2008-07-08 |
| 7240332 | Method and system for detecting vulnerabilities in source code | Ryan Berg, Larry Rose, John J. Danahy, Robert A. Gottlieb, Chris Rehbein | 2007-07-03 |
| 5920723 | Compiler with inter-modular procedure optimization | Stuart de Jong | 1999-07-06 |