diff --git a/CHANGELOG.md b/CHANGELOG.md
index b3c2c785..95cf8870 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,5 +1,12 @@
 # Change Log for coreJSON Library
 
+## v3.3.0 (May 2024)
+- [#157](https://github.com/FreeRTOS/coreJSON/pull/157) MISRA C:2012 compliance check.
+- [#154](https://github.com/FreeRTOS/coreJSON/pull/154) Add ClusterFuzzLite setup.
+- [#144](https://github.com/FreeRTOS/coreJSON/pull/144) Upgrade to CBMC Starter Kit 2.10.
+- [#134](https://github.com/FreeRTOS/coreJSON/pull/134) Update doxygen version for documentation.
+- [#133](https://github.com/FreeRTOS/coreJSON/pull/133) Update Memory safety proofs to use function contracts.
+
 ## v3.2.0 (October 2022)
 - [#121](https://github.com/FreeRTOS/coreJSON/pull/121) MISRA C:2012 compliance updates.
 - [#119](https://github.com/FreeRTOS/coreJSON/pull/119) Update CBMC Starter Kit.
diff --git a/docs/doxygen/config.doxyfile b/docs/doxygen/config.doxyfile
index 8bf7e9a1..8091d717 100644
--- a/docs/doxygen/config.doxyfile
+++ b/docs/doxygen/config.doxyfile
@@ -48,7 +48,7 @@ PROJECT_NAME           = coreJSON
 # could be handy for archiving the generated documentation or if some version
 # control system is used.
 
-PROJECT_NUMBER         = v3.2.0
+PROJECT_NUMBER         = v3.3.0
 
 # Using the PROJECT_BRIEF tag one can provide an optional one line description
 # for a project that appears at the top of each page and should give viewer a
diff --git a/manifest.yml b/manifest.yml
index ae34a028..488651b0 100644
--- a/manifest.yml
+++ b/manifest.yml
@@ -1,5 +1,5 @@
 name : "coreJSON"
-version: "v3.2.0"
+version: "v3.3.0"
 description: |
   "A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers. \n"
 license: "MIT"
diff --git a/source/core_json.c b/source/core_json.c
index bfd69afa..b6d4d996 100644
--- a/source/core_json.c
+++ b/source/core_json.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/source/include/core_json.h b/source/include/core_json.h
index cc2046eb..6590ddf8 100644
--- a/source/include/core_json.h
+++ b/source/include/core_json.h
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_json_annex.h b/test/cbmc/include/core_json_annex.h
index b63e22c4..7681bd97 100644
--- a/test/cbmc/include/core_json_annex.h
+++ b/test/cbmc/include/core_json_annex.h
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/include/core_json_contracts.h b/test/cbmc/include/core_json_contracts.h
index fec38860..5f35b11b 100644
--- a/test/cbmc/include/core_json_contracts.h
+++ b/test/cbmc/include/core_json_contracts.h
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c b/test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c
index 1148c5e2..f8f87102 100644
--- a/test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c
+++ b/test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/JSON_SearchConst/JSON_SearchConst_harness.c b/test/cbmc/proofs/JSON_SearchConst/JSON_SearchConst_harness.c
index c1e7dcaf..c031514b 100644
--- a/test/cbmc/proofs/JSON_SearchConst/JSON_SearchConst_harness.c
+++ b/test/cbmc/proofs/JSON_SearchConst/JSON_SearchConst_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c b/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c
index f43fac92..adbd4746 100644
--- a/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c
+++ b/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/arraySearch/arraySearch_harness.c b/test/cbmc/proofs/arraySearch/arraySearch_harness.c
index 19f2eebe..d7e211b6 100644
--- a/test/cbmc/proofs/arraySearch/arraySearch_harness.c
+++ b/test/cbmc/proofs/arraySearch/arraySearch_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/multiSearch/multiSearch_harness.c b/test/cbmc/proofs/multiSearch/multiSearch_harness.c
index 07b932ab..20f91253 100644
--- a/test/cbmc/proofs/multiSearch/multiSearch_harness.c
+++ b/test/cbmc/proofs/multiSearch/multiSearch_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/objectSearch/objectSearch_harness.c b/test/cbmc/proofs/objectSearch/objectSearch_harness.c
index 364f8327..3b8e38e9 100644
--- a/test/cbmc/proofs/objectSearch/objectSearch_harness.c
+++ b/test/cbmc/proofs/objectSearch/objectSearch_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipAnyScalar/skipAnyScalar_harness.c b/test/cbmc/proofs/skipAnyScalar/skipAnyScalar_harness.c
index cdfcb8bd..eaa9f377 100644
--- a/test/cbmc/proofs/skipAnyScalar/skipAnyScalar_harness.c
+++ b/test/cbmc/proofs/skipAnyScalar/skipAnyScalar_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipCollection/skipCollection_harness.c b/test/cbmc/proofs/skipCollection/skipCollection_harness.c
index 9c7ac01f..945124ff 100644
--- a/test/cbmc/proofs/skipCollection/skipCollection_harness.c
+++ b/test/cbmc/proofs/skipCollection/skipCollection_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipDigits/skipDigits_harness.c b/test/cbmc/proofs/skipDigits/skipDigits_harness.c
index a057cc1c..6d17b71b 100644
--- a/test/cbmc/proofs/skipDigits/skipDigits_harness.c
+++ b/test/cbmc/proofs/skipDigits/skipDigits_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipEscape/skipEscape_harness.c b/test/cbmc/proofs/skipEscape/skipEscape_harness.c
index 177db367..5309e855 100644
--- a/test/cbmc/proofs/skipEscape/skipEscape_harness.c
+++ b/test/cbmc/proofs/skipEscape/skipEscape_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipObjectScalars/skipObjectScalars_harness.c b/test/cbmc/proofs/skipObjectScalars/skipObjectScalars_harness.c
index 9904ea71..870c4c01 100644
--- a/test/cbmc/proofs/skipObjectScalars/skipObjectScalars_harness.c
+++ b/test/cbmc/proofs/skipObjectScalars/skipObjectScalars_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipScalars/skipScalars_harness.c b/test/cbmc/proofs/skipScalars/skipScalars_harness.c
index d74cdcdc..bd89e1f9 100644
--- a/test/cbmc/proofs/skipScalars/skipScalars_harness.c
+++ b/test/cbmc/proofs/skipScalars/skipScalars_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipSpace/skipSpace_harness.c b/test/cbmc/proofs/skipSpace/skipSpace_harness.c
index 786f6995..765f872e 100644
--- a/test/cbmc/proofs/skipSpace/skipSpace_harness.c
+++ b/test/cbmc/proofs/skipSpace/skipSpace_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipString/skipString_harness.c b/test/cbmc/proofs/skipString/skipString_harness.c
index f8fb0d2c..cbf24828 100644
--- a/test/cbmc/proofs/skipString/skipString_harness.c
+++ b/test/cbmc/proofs/skipString/skipString_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c b/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c
index 85ab655f..016e4dcc 100644
--- a/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c
+++ b/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/cbmc/sources/core_json_contracts.c b/test/cbmc/sources/core_json_contracts.c
index b4bb2bd7..13437950 100644
--- a/test/cbmc/sources/core_json_contracts.c
+++ b/test/cbmc/sources/core_json_contracts.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2023 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT
diff --git a/test/unit-test/core_json_utest.c b/test/unit-test/core_json_utest.c
index dac4e6bd..87e40ddb 100644
--- a/test/unit-test/core_json_utest.c
+++ b/test/unit-test/core_json_utest.c
@@ -1,5 +1,5 @@
 /*
- * coreJSON v3.2.0
+ * coreJSON v3.3.0
  * Copyright (C) 2020 Amazon.com, Inc. or its affiliates.  All Rights Reserved.
  *
  * SPDX-License-Identifier: MIT