| 9460282 |
Static security analysis using a hybrid representation of string values |
Marco Pistoia, Omer Tripp |
2016-10-04 |
| 9459986 |
Automatic generation of analysis-equivalent application constructs |
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 |
