Issued Patents All Time
Showing 26–50 of 51 patents
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 9208055 | Importance-based call graph construction | Stephen Fink, Yinnon A. Haviv, Marco Pistoia, Omer Tripp | 2015-12-08 |
| 9189204 | Static analysis of computer software applications having a model-view-controller architecture | Yinnon A. Haviv, Omer Tripp | 2015-11-17 |
| 9032528 | Black-box testing of web applications with client-side code evaluation | Yinnon A. Haviv, Daniel Kalman, Dmitri Pikus, Omer Tripp | 2015-05-12 |
| 8984493 | Distributed static analysis of computer software applications | Marco Pistoia, Omer Tripp | 2015-03-17 |
| 8966636 | Transforming unit tests for security testing | Daniel Kalman, Ory Segal, Omer Tripp | 2015-02-24 |
| 8949996 | Transforming unit tests for security testing | Daniel Kalman, Ory Segal, Omer Tripp | 2015-02-03 |
| 8949985 | Application testing system and method | Yair Amit, Adi Cohen, Lotem Guy, Alexander Landau, Omer Tripp +1 more | 2015-02-03 |
| 8943589 | Application testing system and method | Yair Amit, Adi Cohen, Lotem Guy, Alexander Landau, Omer Tripp +1 more | 2015-01-27 |
| 8925094 | Automatic synthesis of unit tests for security testing | Daniel Kalman, Ory Segal, Omer Tripp | 2014-12-30 |
| 8910291 | Black-box testing of web applications with client-side code evaluation | Yinnon A. Haviv, Daniel Kalman, Dmitri Pikus, Omer Tripp | 2014-12-09 |
| 8856935 | Automatic synthesis of unit tests for security testing | Daniel Kalman, Ory Segal, Omer Tripp | 2014-10-07 |
| 8856764 | Distributed static analysis of computer software applications | Marco Pistoia, Omer Tripp | 2014-10-07 |
| 8850405 | Generating sound and minimal security reports based on static analysis of a program | Stephen Fink, Yinnon A. Haviv, Marco Pistoia, Omer Tripp | 2014-09-30 |
| 8819637 | Fixing security vulnerability in a source code | Aharon Abadi, Yishai Feldman, Ran Ettinger, Jonathan Bnayahu, Omer Tripp +2 more | 2014-08-26 |
| 8819644 | Selective data flow analysis of bounded regions of computer software applications | Daniel Kalman, Dmitri Pikus, Omer Tripp | 2014-08-26 |
| 8806648 | Automatic classification of security vulnerabilities in computer software applications | Lotem Guy, Daniel Kalman, Omer Tripp | 2014-08-12 |
| 8726245 | Static analysis of computer software applications having a model-view-controller architecture | Yinnon A. Haviv, Omer Tripp | 2014-05-13 |
| 8683596 | Detection of DOM-based cross-site scripting vulnerabilities | Yair Amit, Yinnon A. Haviv, Daniel Kalman, Omer Tripp | 2014-03-25 |
| 8671397 | Selective data flow analysis of bounded regions of computer software applications | Daniel Kalman, Dmitri Pikus, Omer Tripp | 2014-03-11 |
| 8635602 | Verification of information-flow downgraders | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Adi Sharabani, Takaaki Tateishi +1 more | 2014-01-21 |
| 8584246 | Eliminating false reports of security vulnerabilities when testing computer software | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Adi Sharabani, Takaaki Tateishi +1 more | 2013-11-12 |
| 8533694 | Identification of read/write chains during static analysis of computer software | Marco Pistoia, Takaaki Tateishi, Omer Tripp | 2013-09-10 |
| 8528095 | Injection context based static analysis of computer software applications | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Ory Segal, Adi Sharabani +2 more | 2013-09-03 |
| 8468605 | Identifying security vulnerability in computer software | Yinnon A. Haviv, Roee Hay, Marco Pistoia, Adi Sharabani, Takaaki Tateishi +1 more | 2013-06-18 |
| 8387017 | Black box testing optimization using information from white box testing | Rob Calendino, Craig Robert Earl Conboy, Guy Podjarny, Ory Segal, Adi Sharabani +1 more | 2013-02-26 |