score-json / inc_nlohmann_json / 20038457056

99%

push

github

halnasri-Revisit TT-RESULTS (#17)

* revisit TT-RESULTS

* rebase

* resolve conflict

* fixing some typos

* AoU --> AOU

* reformulated JLS-22 and completed the checklist of TA-DATA

* Update TSF/trustable/statements/JLS-17.md

Co-authored-by: Erik Hu <erik.hu@d-fine.com>
Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

* Fix typo in 'misbehaviours' in documentation

Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

* Fix typo in file path for nlohmann misbehaviours

Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

* Clarify answers in TA-ANALYSIS_CONTEXT.md

Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

* adress comment of TA-DATA context file

* fixed some issues in the TA-ANALYSIS context file

* typo in JLS-17

* added a reference to TA-ANALYSIS_CONTEXT.md

* added some answers to the checklist of TA-VALIDATION

* fix typos

Co-authored-by: LucaFue <luca.fueger@d-fine.de>
Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

* added one answer to the TA-VALIDATION and fixed typos

* answered checklist questions of TA-VALIDATION

* reformulated JLS-17 and added the failure rate analysis

* fix some checklist questions

* typo

* typos

* typos and rewrite JLS 17

* Update TSF/trustable/assertions/TA-ANALYSIS_CONTEXT.md

Co-authored-by: Erik Hu <erik.hu@d-fine.com>
Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

* Update TSF/trustable/assertions/TA-ANALYSIS_CONTEXT.md

Co-authored-by: Erik Hu <erik.hu@d-fine.com>
Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

* link formating

Co-authored-by: Erik Hu <erik.hu@d-fine.com>
Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

* link formating

Co-authored-by: Erik Hu <erik.hu@d-fine.com>
Signed-off-by: halnasri <hatem.alnasri@d-fine.com>

---------

Signed-off-by: halnasri <hatem.alnasri@d-fine.com>
Co-authored-by: Erik Hu <erik.hu@d-fine.com>
Co-authored-by: LucaFue <luca.fueger@d-fine.de>

1989 of 2119 branches covered (93.87%)

6339 of 6391 relevant lines covered (99.19%)

14998575.45 hits per line