Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 7849509 | Detection of security vulnerabilities in computer programs | Jayaraman Thiagarajan, Dong Wei | 2010-12-07 |
| 7624304 | Defect detection for integers | Jayaraman Thiagarajan | 2009-11-24 |
| 7584458 | Source code annotation language | Manuvir Das, Manuel A. Fahndrich, Daniel Weise, William Hunter Hudson, Sameet Agarwal +4 more | 2009-09-01 |
| 7484205 | Preprocessor-based source code instrumentation | — | 2009-01-27 |