G06F 9/44589
Program code verification
Official title: {Program code verification, e.g. Java bytecode verification, proof-carrying code (high-level semantic checks G06F8/43; prevention of errors by analysis, debugging or testing of software G06F11/36)}
G06F9/44589 (Program code verification) appears on 457 US grants and 409 published applications in this corpus.
Search patents in G06F- Granted patents
- 457
- Published applications
- 409
- Assignees
- 188
- Inventors
- 1,000
- Latest grant
- 28 Jul 2026
Filings by year
| Year | Granted patents | Published applications |
|---|---|---|
| 1991 | 1 | 0 |
| 1992 | 0 | 0 |
| 1993 | 0 | 0 |
| 1994 | 0 | 0 |
| 1995 | 0 | 0 |
| 1996 | 0 | 0 |
| 1997 | 2 | 0 |
| 1998 | 3 | 0 |
| 1999 | 4 | 0 |
| 2000 | 13 | 0 |
| 2001 | 4 | 0 |
| 2002 | 6 | 13 |
| 2003 | 11 | 8 |
| 2004 | 7 | 12 |
| 2005 | 7 | 13 |
| 2006 | 11 | 10 |
| 2007 | 10 | 13 |
| 2008 | 5 | 14 |
| 2009 | 4 | 13 |
| 2010 | 11 | 10 |
| 2011 | 10 | 12 |
| 2012 | 9 | 8 |
| 2013 | 18 | 20 |
| 2014 | 25 | 23 |
| 2015 | 34 | 12 |
| 2016 | 28 | 19 |
| 2017 | 30 | 17 |
| 2018 | 20 | 22 |
| 2019 | 24 | 21 |
| 2020 | 21 | 35 |
| 2021 | 30 | 29 |
| 2022 | 36 | 30 |
| 2023 | 25 | 13 |
| 2024 | 21 | 17 |
| 2025 | 19 | 14 |
| 2026 | 8 | 11 |
By publication year. Applications have been published since 2001. 2026 runs to 8 Oct.
Recent patents
- Systems and methods for generating data lineage28 Jul 2026US 12,693,873 B2Regnology FRR Belgium
- Inference with inline real-time ML models in applications16 Jun 2026US 12,657,282 B2Microsoft Technology Licensing, LLC
- Provider network deficiency management12 May 2026US 12,625,686 B1Amazon Technologies, Inc.
- Learned control flow monitoring and enforcement of unobserved transitions24 Mar 2026US 12,585,771 B2Cisco Technology, Inc.
- Control flow integrity monitoring based insights10 Mar 2026US 12,572,656 B2Cisco Technology, Inc.
- System and method of application programming interface (api) anomaly detection6 Aug 2026US 2026/0228329 A1Ariel Scientific Innovations Ltd.
- Control flow integrity monitoring based insights9 Jul 2026US 2026/0195454 A1Cisco Technology, Inc.
- Method and apparatus for checking an execution of a bytecode instruction16 Apr 2026US 2026/0104907 A1Sick AG
- Secure digital assistant integration in web pages12 Mar 2026US 2026/0073002 A1Google Inc.
- Control flow integrity monitoring for applications running on platforms12 Mar 2026US 2026/0073052 A1Cisco Technology, Inc.
Most cited
By later US patents
- Verifying intermediate language code179US 6,851,108 B1Microsoft Corporation · 2005
- Providing firmware updates to portable media devices174US 7,770,165 B2Microsoft Corporation · 2010
- Bytecode program interpreter apparatus and method with pre-verification of data type restrictions and object initialization157US 5,740,441 ASun Microsystems, Inc. · 1998
- Verifier to check intermediate language152US 6,560,774 B1Microsoft Corporation · 2003
- System and method for locating object view and platform independent object136US 5,630,066 ASun Microsystems, Inc. · 1997