Issued Patents All Time
| Patent # | Title | Co-Inventors | Date |
|---|---|---|---|
| 12229549 | Scalable code testing and benchmarking | James Johnson, Isaac Dawson, Dinesh Bolkensteyn, Michael Henriksen, Mark Art | 2025-02-18 |
| 12086271 | Vulnerability tracking using smatch values of scopes | James Johnson, Lucas Charles | 2024-09-10 |
| 11983091 | Adaptively generated program model | Isaac Dawson, James Johnson, Zach Rice, Daniel Searles, Lucas Charles +4 more | 2024-05-14 |
| 11868482 | Vulnerability tracing using scope and offset | James Johnson, Lucas Charles | 2024-01-09 |