Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 8881122 | Predicate matching library for complex program analysis | Manuel Victor Klimek, Bruce Chandler Carruth | 2014-11-04 |
| 8677314 | Modifying a source code file to reduce dependencies included therein | Craig Silverstein | 2014-03-18 |