| 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 |
