| 10592405 |
Visualization of vulnerabilities detected by static application testing |
Kristofer A. Duer, John Peyton, Lin Tan, Jinqiu Yang |
2020-03-17 |
| 10586050 |
Consolidating static analysis tool warnings using dynamic programming |
Kristofer A. Duer, Jonathan J. Butler, John Peyton, Omer Tripp |
2020-03-10 |
| 10324825 |
Visualization of security warning solution points |
Kristofer A. Duer, John Peyton, Johnathan D. Smith, Jason N. Todd, Lin Tan +1 more |
2019-06-18 |
| 10091232 |
Solution-centric reporting of security warnings |
Kristofer A. Duer, John Peyton, Omer Tripp |
2018-10-02 |
| 10089215 |
Visualization of security warning solution points |
Kristofer A. Duer, John Peyton, Jason N. Todd, Lin Tan, Jinqui Yang |
2018-10-02 |
| 10055590 |
Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis |
Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp |
2018-08-21 |
| 9749345 |
Reporting security vulnerability warnings |
Kristofer A. Duer, Omer Tripp, John Peyton |
2017-08-29 |
| 9729569 |
Solution-centric reporting of security warnings |
Kristofer A. Duer, John Peyton, Omer Tripp |
2017-08-08 |
| 9544327 |
Prioritizing security findings in a SAST tool based on historical security analysis |
Babita Sharma, Kristofer A. Duer, Richard Myer Goldberg, Jeffrey C. Turnham, Shu Wang +1 more |
2017-01-10 |
| 9384354 |
Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis |
Salvatore A. Guarnieri, Marco Pistoia, Omer Tripp |
2016-07-05 |
| 8881300 |
Automated detection of flaws and incompatibility problems in information flow downgraders |
Marco Pistoia, Takaaki Tateishi, Omer Tripp |
2014-11-04 |
| 8769696 |
Automated detection of flaws and incompatibility problems in information flow downgraders |
Marco Pistoia, Takaaki Tateishi, Omer Tripp |
2014-07-01 |
| 8701186 |
Formal analysis of the quality and conformance of information flow downgraders |
Ryan Berg, Marco Pistoia, Takaaki Tateishi, Omer Tripp |
2014-04-15 |
| 8667584 |
Formal analysis of the quality and conformance of information flow downgraders |
Ryan Berg, Marco Pistoia, Takaaki Tateishi, Omer Tripp |
2014-03-04 |
