From b56aff1b50de1c1e94142bdcefeda60e6c3d6da4 Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Fri, 11 Sep 2020 12:32:14 -0700 Subject: [PATCH 01/13] Update README.md --- README.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index b806ae6c..22ef16ca 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,8 @@ ## coreJSON Library -A parser strictly enforcing the ECMA-404 JSON standard, suitable for microcontrollers +This repository contains the coreJSON library, a parser that strictly enforces the ECMA-404 JSON standard, suitable for microcontrollers. It is distributed under the [MIT License](LICENSE) + +This library has gone through code quality checks including for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html), [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx), [Coverity statical analysis](https://scan.coverity.com/), and [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721) to ensure memory safety, thread safety and functional correctness proof. Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). ## Reference example From b06482235fd1a3e8505cbeb7bd21e2d93faf1fa6 Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Fri, 11 Sep 2020 12:33:20 -0700 Subject: [PATCH 02/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 22ef16ca..c30cddba 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ ## coreJSON Library -This repository contains the coreJSON library, a parser that strictly enforces the ECMA-404 JSON standard, suitable for microcontrollers. It is distributed under the [MIT License](LICENSE) +This repository contains the coreJSON library, a parser that strictly enforces the ECMA-404 JSON standard and suitable for microcontrollers. It is distributed under the [MIT License](LICENSE) This library has gone through code quality checks including for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html), [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx), [Coverity statical analysis](https://scan.coverity.com/), and [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721) to ensure memory safety, thread safety and functional correctness proof. Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). From 969bb7a394716a4f9bb094ba167607c332fba17d Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Fri, 11 Sep 2020 12:37:18 -0700 Subject: [PATCH 03/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index c30cddba..2d538a55 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ ## coreJSON Library -This repository contains the coreJSON library, a parser that strictly enforces the ECMA-404 JSON standard and suitable for microcontrollers. It is distributed under the [MIT License](LICENSE) +This repository contains the coreJSON library, a parser that strictly enforces the ECMA-404 JSON standard and is suitable for microcontrollers. It is distributed under the [MIT License](LICENSE) This library has gone through code quality checks including for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html), [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx), [Coverity statical analysis](https://scan.coverity.com/), and [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721) to ensure memory safety, thread safety and functional correctness proof. Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). From af0e848a9ceb88aa70fc99f21cdbdbd1704ac019 Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Mon, 14 Sep 2020 12:50:00 -0700 Subject: [PATCH 04/13] Update README.md --- README.md | 3 ++- 1 file changed, 2 insertions(+), 1 deletion(-) diff --git a/README.md b/README.md index 2d538a55..1c7104a0 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,7 @@ ## coreJSON Library -This repository contains the coreJSON library, a parser that strictly enforces the ECMA-404 JSON standard and is suitable for microcontrollers. It is distributed under the [MIT License](LICENSE) +This repository contains the coreJSON library, a parser that follows 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 for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html), [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx), [Coverity statical analysis](https://scan.coverity.com/), and [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721) to ensure memory safety, thread safety and functional correctness proof. Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). From 3b09ab477f4bd118d27431ff9c2b31ceb1c46a92 Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Mon, 14 Sep 2020 13:50:44 -0700 Subject: [PATCH 05/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 1c7104a0..38460d34 100644 --- a/README.md +++ b/README.md @@ -3,7 +3,7 @@ This repository contains the coreJSON library, a parser that follows 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 for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html), [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx), [Coverity statical analysis](https://scan.coverity.com/), and [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721) to ensure memory safety, thread safety and functional correctness proof. Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). +This library has gone through code quality checks including for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html), [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx), [Coverity statical analysis](https://scan.coverity.com/), and [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721) to validate memory safety, thread safety and functional correctness proof. Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). ## Reference example From 011f83021e0e364e33e93d516f6ced4c856bf5f7 Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Tue, 15 Sep 2020 08:50:06 -0700 Subject: [PATCH 06/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 38460d34..5cdc96b4 100644 --- a/README.md +++ b/README.md @@ -1,6 +1,6 @@ ## coreJSON Library -This repository contains the coreJSON library, a parser that follows 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 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 for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html), [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx), [Coverity statical analysis](https://scan.coverity.com/), and [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721) to validate memory safety, thread safety and functional correctness proof. Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). From e8f0581761dca810402b23ddc2c9388df1b03f5d Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Tue, 15 Sep 2020 12:55:25 -0700 Subject: [PATCH 07/13] Update README.md --- README.md | 3 +-- 1 file changed, 1 insertion(+), 2 deletions(-) diff --git a/README.md b/README.md index 5cdc96b4..5b89efb0 100644 --- a/README.md +++ b/README.md @@ -2,8 +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 for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html), [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx), [Coverity statical analysis](https://scan.coverity.com/), and [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721) to validate memory safety, thread safety and functional correctness proof. Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). +This library has gone through code quality checks including for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) and [MISRA coding standard compl](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx). Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). This library has also undergone both static code analysis from [Coverity statical analysis](https://scan.coverity.com/) and validation of memory safety and functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). ## Reference example From 7dc10c9ae45e226b8b059d9f33f8afc9252d2f5c Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Tue, 15 Sep 2020 13:06:33 -0700 Subject: [PATCH 08/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5b89efb0..bcea1614 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 for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) and [MISRA coding standard compl](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx). Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). This library has also undergone both static code analysis from [Coverity statical analysis](https://scan.coverity.com/) and validation of memory safety and functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). +This library has gone through code quality checks including for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) and [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx). Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). This library has also undergone both static code analysis from [Coverity statical analysis](https://scan.coverity.com/) and validation of memory safety and functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). ## Reference example From 5b79071ca9b7bda47b1e7b0b0278e5aff42119a4 Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Tue, 15 Sep 2020 16:53:29 -0700 Subject: [PATCH 09/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index bcea1614..90255bcc 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 for [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) and [MISRA coding standard](https://www.misra.org.uk/MISRAHome/MISRAC2012/tabid/196/Default.aspx). Deviations to the MISRA C:2012 guidelines are documented under [MISRA Deviations](MISRA.md). This library has also undergone both static code analysis from [Coverity statical analysis](https://scan.coverity.com/) and validation of memory safety and functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). +This library has gone through code quality checks including for overly-complex functions that have a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8 and for violations to 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 statical analysis](https://scan.coverity.com/) and validation of memory safety and functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). ## Reference example From fa4264f167eb3e97231cb29262b916d00de38097 Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Tue, 15 Sep 2020 16:58:28 -0700 Subject: [PATCH 10/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 90255bcc..2190d627 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 for overly-complex functions that have a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8 and for violations to 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 statical analysis](https://scan.coverity.com/) and validation of memory safety and functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). +This library has gone through code quality checks including for overly-complex functions that have a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8 and for violations to 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 functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). ## Reference example From 1f5028f8681b2aced47afc4a025df3fb54b6c405 Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Tue, 15 Sep 2020 17:02:35 -0700 Subject: [PATCH 11/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 2190d627..ee11e411 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 for overly-complex functions that have a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8 and for violations to 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 functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). +This library has gone through code quality checks including for overly-complex functions that have a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8 and for deviations to 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 functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). ## Reference example From 18b3ba5b20bc34e500072f58a678fcfa69cbcfec Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Tue, 15 Sep 2020 17:28:50 -0700 Subject: [PATCH 12/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index ee11e411..5e05c5bf 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 for overly-complex functions that have a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8 and for deviations to 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 functional correctness proof through the [AWS CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). +This library has gone through code quality checks including for overly-complex functions that have a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8 and for deviations to 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 functional correctness proof through the [CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). ## Reference example From bc95f4af9476723cbb3e79b4e607f0f390662c5a Mon Sep 17 00:00:00 2001 From: yngki <47755894+yngki@users.noreply.github.com> Date: Tue, 15 Sep 2020 18:12:49 -0700 Subject: [PATCH 13/13] Update README.md --- README.md | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/README.md b/README.md index 5e05c5bf..080e38c2 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 for overly-complex functions that have a [GNU Complexity](https://www.gnu.org/software/complexity/manual/complexity.html) score over 8 and for deviations to 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 functional correctness proof through the [CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). +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 functional correctness proof through the [CBMC automated reasoning tool](https://www.youtube.com/watch?v=YwQHAPRhQkI&feature=youtu.be&t=1721). ## Reference example