├── .clusterfuzzlite ├── Dockerfile ├── README.md ├── build.sh ├── project.yaml └── validate_fuzzer.c ├── .github ├── .cSpellWords.txt ├── CODEOWNERS ├── CONTRIBUTING.md ├── memory_statistics_config.json ├── pull_request_template.md └── workflows │ ├── cflite_pr.yml │ ├── ci.yml │ ├── doxygen.yml │ └── release.yml ├── .gitignore ├── .gitmodules ├── .lgtm.yml ├── CHANGELOG.md ├── LICENSE ├── MISRA.md ├── README.md ├── SECURITY.md ├── cspell.config.yaml ├── docs └── doxygen │ ├── config.doxyfile │ ├── include │ └── size_table.md │ ├── layout.xml │ ├── pages.dox │ └── style.css ├── jsonFilePaths.cmake ├── loop_invariants.patch ├── manifest.yml ├── source ├── core_json.c └── include │ ├── core_json.h │ ├── stdbool.readme │ └── stdint.readme ├── test ├── CMakeLists.txt ├── cbmc │ ├── .gitignore │ ├── include │ │ ├── README.md │ │ ├── core_json_annex.h │ │ └── core_json_contracts.h │ ├── proofs │ │ ├── JSON_Iterate │ │ │ ├── JSON_Iterate_harness.c │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ └── cbmc-viewer.json │ │ ├── JSON_SearchConst │ │ │ ├── JSON_SearchConst_harness.c │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ └── cbmc-viewer.json │ │ ├── JSON_Validate │ │ │ ├── JSON_Validate_harness.c │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ └── cbmc-viewer.json │ │ ├── Makefile │ │ ├── Makefile-json.common │ │ ├── Makefile-project-defines │ │ ├── Makefile-project-targets │ │ ├── Makefile-project-testing │ │ ├── Makefile-template-defines │ │ ├── Makefile.common │ │ ├── README.md │ │ ├── arraySearch │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── arraySearch_harness.c │ │ │ ├── cbmc-proof.txt │ │ │ └── cbmc-viewer.json │ │ ├── lib │ │ │ ├── __init__.py │ │ │ ├── print_tool_versions.py │ │ │ └── summarize.py │ │ ├── multiSearch │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── multiSearch_harness.c │ │ ├── objectSearch │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── objectSearch_harness.c │ │ ├── run-cbmc-proofs.py │ │ ├── skipAnyScalar │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipAnyScalar_harness.c │ │ ├── skipCollection │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipCollection_harness.c │ │ ├── skipDigits │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipDigits_harness.c │ │ ├── skipEscape │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipEscape_harness.c │ │ ├── skipObjectScalars │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipObjectScalars_harness.c │ │ ├── skipScalars │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipScalars_harness.c │ │ ├── skipSpace │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipSpace_harness.c │ │ ├── skipString │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipString_harness.c │ │ └── skipUTF8 │ │ │ ├── Makefile │ │ │ ├── README.md │ │ │ ├── cbmc-proof.txt │ │ │ ├── cbmc-viewer.json │ │ │ └── skipUTF8_harness.c │ └── sources │ │ ├── README.md │ │ └── core_json_contracts.c └── unit-test │ ├── CMakeLists.txt │ ├── catch_assert.h │ ├── core_json_utest.c │ └── unity_build.cmake └── tools ├── coverity ├── README.md └── misra.config └── unity ├── coverage.cmake ├── create_test.cmake └── project.yml /.clusterfuzzlite/Dockerfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.clusterfuzzlite/Dockerfile -------------------------------------------------------------------------------- /.clusterfuzzlite/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.clusterfuzzlite/README.md -------------------------------------------------------------------------------- /.clusterfuzzlite/build.sh: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.clusterfuzzlite/build.sh -------------------------------------------------------------------------------- /.clusterfuzzlite/project.yaml: -------------------------------------------------------------------------------- 1 | language: c 2 | -------------------------------------------------------------------------------- /.clusterfuzzlite/validate_fuzzer.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.clusterfuzzlite/validate_fuzzer.c -------------------------------------------------------------------------------- /.github/.cSpellWords.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/.cSpellWords.txt -------------------------------------------------------------------------------- /.github/CODEOWNERS: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/CODEOWNERS -------------------------------------------------------------------------------- /.github/CONTRIBUTING.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/CONTRIBUTING.md -------------------------------------------------------------------------------- /.github/memory_statistics_config.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/memory_statistics_config.json -------------------------------------------------------------------------------- /.github/pull_request_template.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/pull_request_template.md -------------------------------------------------------------------------------- /.github/workflows/cflite_pr.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/workflows/cflite_pr.yml -------------------------------------------------------------------------------- /.github/workflows/ci.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/workflows/ci.yml -------------------------------------------------------------------------------- /.github/workflows/doxygen.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/workflows/doxygen.yml -------------------------------------------------------------------------------- /.github/workflows/release.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.github/workflows/release.yml -------------------------------------------------------------------------------- /.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.gitignore -------------------------------------------------------------------------------- /.gitmodules: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.gitmodules -------------------------------------------------------------------------------- /.lgtm.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/.lgtm.yml -------------------------------------------------------------------------------- /CHANGELOG.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/CHANGELOG.md -------------------------------------------------------------------------------- /LICENSE: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/LICENSE -------------------------------------------------------------------------------- /MISRA.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/MISRA.md -------------------------------------------------------------------------------- /README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/README.md -------------------------------------------------------------------------------- /SECURITY.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/SECURITY.md -------------------------------------------------------------------------------- /cspell.config.yaml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/cspell.config.yaml -------------------------------------------------------------------------------- /docs/doxygen/config.doxyfile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/docs/doxygen/config.doxyfile -------------------------------------------------------------------------------- /docs/doxygen/include/size_table.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/docs/doxygen/include/size_table.md -------------------------------------------------------------------------------- /docs/doxygen/layout.xml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/docs/doxygen/layout.xml -------------------------------------------------------------------------------- /docs/doxygen/pages.dox: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/docs/doxygen/pages.dox -------------------------------------------------------------------------------- /docs/doxygen/style.css: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/docs/doxygen/style.css -------------------------------------------------------------------------------- /jsonFilePaths.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/jsonFilePaths.cmake -------------------------------------------------------------------------------- /loop_invariants.patch: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/loop_invariants.patch -------------------------------------------------------------------------------- /manifest.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/manifest.yml -------------------------------------------------------------------------------- /source/core_json.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/source/core_json.c -------------------------------------------------------------------------------- /source/include/core_json.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/source/include/core_json.h -------------------------------------------------------------------------------- /source/include/stdbool.readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/source/include/stdbool.readme -------------------------------------------------------------------------------- /source/include/stdint.readme: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/source/include/stdint.readme -------------------------------------------------------------------------------- /test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/CMakeLists.txt -------------------------------------------------------------------------------- /test/cbmc/.gitignore: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/.gitignore -------------------------------------------------------------------------------- /test/cbmc/include/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/include/README.md -------------------------------------------------------------------------------- /test/cbmc/include/core_json_annex.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/include/core_json_annex.h -------------------------------------------------------------------------------- /test/cbmc/include/core_json_contracts.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/include/core_json_contracts.h -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Iterate/JSON_Iterate_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Iterate/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Iterate/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Iterate/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Iterate/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Iterate/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Iterate/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Iterate/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Iterate/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_SearchConst/JSON_SearchConst_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_SearchConst/JSON_SearchConst_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_SearchConst/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_SearchConst/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_SearchConst/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_SearchConst/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_SearchConst/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_SearchConst/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_SearchConst/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_SearchConst/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Validate/JSON_Validate_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Validate/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Validate/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Validate/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Validate/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Validate/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Validate/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/JSON_Validate/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/JSON_Validate/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/Makefile-json.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/Makefile-json.common -------------------------------------------------------------------------------- /test/cbmc/proofs/Makefile-project-defines: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/Makefile-project-defines -------------------------------------------------------------------------------- /test/cbmc/proofs/Makefile-project-targets: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/Makefile-project-targets -------------------------------------------------------------------------------- /test/cbmc/proofs/Makefile-project-testing: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/Makefile-project-testing -------------------------------------------------------------------------------- /test/cbmc/proofs/Makefile-template-defines: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/Makefile-template-defines -------------------------------------------------------------------------------- /test/cbmc/proofs/Makefile.common: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/Makefile.common -------------------------------------------------------------------------------- /test/cbmc/proofs/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/arraySearch/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/arraySearch/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/arraySearch/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/arraySearch/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/arraySearch/arraySearch_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/arraySearch/arraySearch_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/arraySearch/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/arraySearch/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/arraySearch/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/arraySearch/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/lib/__init__.py: -------------------------------------------------------------------------------- 1 | -------------------------------------------------------------------------------- /test/cbmc/proofs/lib/print_tool_versions.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/lib/print_tool_versions.py -------------------------------------------------------------------------------- /test/cbmc/proofs/lib/summarize.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/lib/summarize.py -------------------------------------------------------------------------------- /test/cbmc/proofs/multiSearch/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/multiSearch/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/multiSearch/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/multiSearch/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/multiSearch/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/multiSearch/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/multiSearch/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/multiSearch/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/multiSearch/multiSearch_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/multiSearch/multiSearch_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/objectSearch/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/objectSearch/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/objectSearch/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/objectSearch/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/objectSearch/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/objectSearch/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/objectSearch/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/objectSearch/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/objectSearch/objectSearch_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/objectSearch/objectSearch_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/run-cbmc-proofs.py: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/run-cbmc-proofs.py -------------------------------------------------------------------------------- /test/cbmc/proofs/skipAnyScalar/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipAnyScalar/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipAnyScalar/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipAnyScalar/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipAnyScalar/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipAnyScalar/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipAnyScalar/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipAnyScalar/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipAnyScalar/skipAnyScalar_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipAnyScalar/skipAnyScalar_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/skipCollection/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipCollection/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipCollection/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipCollection/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipCollection/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipCollection/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipCollection/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipCollection/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipCollection/skipCollection_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipCollection/skipCollection_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/skipDigits/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipDigits/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipDigits/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipDigits/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipDigits/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipDigits/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipDigits/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipDigits/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipDigits/skipDigits_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipDigits/skipDigits_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/skipEscape/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipEscape/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipEscape/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipEscape/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipEscape/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipEscape/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipEscape/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipEscape/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipEscape/skipEscape_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipEscape/skipEscape_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/skipObjectScalars/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipObjectScalars/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipObjectScalars/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipObjectScalars/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipObjectScalars/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipObjectScalars/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipObjectScalars/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipObjectScalars/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipObjectScalars/skipObjectScalars_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipObjectScalars/skipObjectScalars_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/skipScalars/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipScalars/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipScalars/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipScalars/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipScalars/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipScalars/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipScalars/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipScalars/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipScalars/skipScalars_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipScalars/skipScalars_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/skipSpace/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipSpace/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipSpace/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipSpace/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipSpace/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipSpace/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipSpace/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipSpace/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipSpace/skipSpace_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipSpace/skipSpace_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/skipString/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipString/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipString/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipString/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipString/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipString/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipString/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipString/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipString/skipString_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipString/skipString_harness.c -------------------------------------------------------------------------------- /test/cbmc/proofs/skipUTF8/Makefile: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipUTF8/Makefile -------------------------------------------------------------------------------- /test/cbmc/proofs/skipUTF8/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipUTF8/README.md -------------------------------------------------------------------------------- /test/cbmc/proofs/skipUTF8/cbmc-proof.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipUTF8/cbmc-proof.txt -------------------------------------------------------------------------------- /test/cbmc/proofs/skipUTF8/cbmc-viewer.json: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipUTF8/cbmc-viewer.json -------------------------------------------------------------------------------- /test/cbmc/proofs/skipUTF8/skipUTF8_harness.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/proofs/skipUTF8/skipUTF8_harness.c -------------------------------------------------------------------------------- /test/cbmc/sources/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/sources/README.md -------------------------------------------------------------------------------- /test/cbmc/sources/core_json_contracts.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/cbmc/sources/core_json_contracts.c -------------------------------------------------------------------------------- /test/unit-test/CMakeLists.txt: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/unit-test/CMakeLists.txt -------------------------------------------------------------------------------- /test/unit-test/catch_assert.h: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/unit-test/catch_assert.h -------------------------------------------------------------------------------- /test/unit-test/core_json_utest.c: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/unit-test/core_json_utest.c -------------------------------------------------------------------------------- /test/unit-test/unity_build.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/test/unit-test/unity_build.cmake -------------------------------------------------------------------------------- /tools/coverity/README.md: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/tools/coverity/README.md -------------------------------------------------------------------------------- /tools/coverity/misra.config: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/tools/coverity/misra.config -------------------------------------------------------------------------------- /tools/unity/coverage.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/tools/unity/coverage.cmake -------------------------------------------------------------------------------- /tools/unity/create_test.cmake: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/tools/unity/create_test.cmake -------------------------------------------------------------------------------- /tools/unity/project.yml: -------------------------------------------------------------------------------- https://raw.githubusercontent.com/FreeRTOS/coreJSON/HEAD/tools/unity/project.yml --------------------------------------------------------------------------------