Issued Patents All Time
Showing 1–4 of 4 patents
| Patent # | Title | Co-Inventors | Date | Approx Value ⓘ |
|---|---|---|---|---|
| 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 | $93,221,000 |
| 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 | $105,670,000 |