From f56a1c9f539f4f221ac8689b17a447146db15c6b Mon Sep 17 00:00:00 2001 From: Muneeb Ahmed Date: Wed, 7 Jul 2021 12:51:32 -0700 Subject: [PATCH 1/2] Fix description of CBMC in README --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 80ac5539..efac22a2 100644 --- a/README.md +++ b/README.md @@ -2,7 +2,7 @@ This repository contains the coreJSON library, a parser that strictly enforces the ECMA-404 JSON standard and is suitable for low memory footprint embedded devices. The coreJSON library is distributed under the [MIT Open Source License](LICENSE). -This library has gone through code quality checks including verification that no function has a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8, and checks against deviations from mandatory rules in the [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx). Deviations from the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). This library has also undergone both static code analysis from [Coverity static analysis](https://scan.coverity.com/), and validation of memory safety and proof of functional correctness through the [CBMC automated reasoning tool](https://www.cprover.org/cbmc/). +This library has gone through code quality checks including verification that no function has a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8, and checks against deviations from mandatory rules in the [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx). Deviations from the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). This library has also undergone both static code analysis from [Coverity static analysis](https://scan.coverity.com/), and validation of memory safety through the [CBMC automated reasoning tool](https://www.cprover.org/cbmc/). See memory requirements for this library [here](https://docs.aws.amazon.com/embedded-csdk/202103.00/lib-ref/libraries/standard/coreJSON/docs/doxygen/output/html/index.html#json_memory_requirements). From 704118f3f8233b5368a067d25b8bae9049886ca0 Mon Sep 17 00:00:00 2001 From: Muneeb Ahmed Date: Wed, 7 Jul 2021 13:19:06 -0700 Subject: [PATCH 2/2] Update size table --- docs/doxygen/include/size_table.html | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/docs/doxygen/include/size_table.html b/docs/doxygen/include/size_table.html index 6193a43d..b3a9e9a7 100644 --- a/docs/doxygen/include/size_table.html +++ b/docs/doxygen/include/size_table.html @@ -10,11 +10,11 @@ core_json.c
2.9K
-
2.3K
+
2.4K
Total estimates
2.9K
 -
2.3K
 +
2.4K