Issued Patents All Time
Showing 25 most recent of 35 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 10956562 | Developing applications using precise static security analysis | Marco Pistoia, Omer Tripp | 2021-03-23 |
| 10839312 | Warning filter based on machine learning | Aleksandr Y. Aravkin, Marco Pistoia, Omer Tripp | 2020-11-17 |
| 10545848 | Boosting the efficiency of static program analysis using configuration tuning | Marco Pistoia, Omer Tripp | 2020-01-28 |
| 10372582 | Enhanced string analysis that improves accuracy of static analysis | Marco Pistoia, Takaaki Tateishi, Omer Tripp | 2019-08-06 |
| 10097574 | Auto-tuning program analysis tools based on user feedback | Omer Tripp | 2018-10-09 |
| 10055590 | Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis | Marco Pistoia, Stephen D. Teilhet, Omer Tripp | 2018-08-21 |
| 9940465 | Static security analysis using a hybrid representation of string values | Marco Pistoia, Omer Tripp | 2018-04-10 |
| 9940464 | Static security analysis using a hybrid representation of string values | Marco Pistoia, Omer Tripp | 2018-04-10 |
| 9459986 | Automatic generation of analysis-equivalent application constructs | Marco Pistoia, Omer Tripp | 2016-10-04 |
| 9460282 | Static security analysis using a hybrid representation of string values | Marco Pistoia, Omer Tripp | 2016-10-04 |
| 9424423 | Static security analysis using a hybrid representation of string values | Marco Pistoia, Omer Tripp | 2016-08-23 |
| 9405916 | Automatic correction of security downgraders | Marco Pistoia, Omer Tripp | 2016-08-02 |
| 9396336 | Automatic correction of security downgraders | Marco Pistoia, Omer Tripp | 2016-07-19 |
| 9384354 | Rule matching in the presence of languages with no types or as an adjunct to current analyses for security vulnerability analysis | Marco Pistoia, Stephen D. Teilhet, Omer Tripp | 2016-07-05 |
| 9336120 | Enhanced string analysis that improves accuracy of static analysis | Marco Pistoia, Takaaki Tateishi, Omer Tripp | 2016-05-10 |
| 9223984 | After-the-fact configuration of static analysis tools able to reduce user burden | Marco Pistoia, Omer Tripp | 2015-12-29 |
| 9208061 | Partitioning of program analyses into sub-analyses using dynamic hints | Marco Pistoia, Omer Tripp | 2015-12-08 |
| 9177143 | Progressive static security analysis | Omer Tripp, Marco Pistoia | 2015-11-03 |
| 9176849 | Partitioning of program analyses into sub-analyses using dynamic hints | Omer Tripp, Marco Pistoia | 2015-11-03 |
| 9166996 | Automatic correction of security downgraders | Marco Pistoia, Omer Tripp | 2015-10-20 |
| 9164869 | Scalable and precise string analysis using index-sensitive static string abstractions | Marco Pistoia, Omer Tripp | 2015-10-20 |
| 9158923 | Mitigating security risks via code movement | Marco Pistoia, Omer Tripp | 2015-10-13 |
| 9135147 | Automated testing of applications with scripting code | Shay Artzi, Julian Timothy Dolby, Simon H. Jensen, Marco Pistoia, Manu Sridharan +2 more | 2015-09-15 |
| 9135441 | Progressive static security analysis | Omer Tripp, Marco Pistoia | 2015-09-15 |
| 9021450 | Scalable and precise string analysis using index-sensitive static string abstractions | Marco Pistoia, Omer Tripp | 2015-04-28 |