| commit | 78bdfb17ed2faf8fa726317bd460ddf49a695524 | [log] [tgz] |
|---|---|---|
| author | Soby Mathew <soby.mathew@arm.com> | Thu May 09 16:58:04 2024 +0100 |
| committer | Soby Mathew <soby.mathew@arm.com> | Thu May 09 17:24:08 2024 +0100 |
| tree | 841d16519e08e39437f8d5f29fdcff1b5d97ef12 | |
| parent | 992d96d286eae6be74be504f378a5cc2e9e19b03 [diff] |
docs: Add cross references in userguide This patch adds necessary cross references to CBMC and Cppcheck application note from build examples and getting started guides. The contribution guide is also enhanced to add notes about static analysis as part of the contribution workflow. Some minor corrections are also made in the cppcheck application note. Signed-off-by: Soby Mathew <soby.mathew@arm.com> Change-Id: I67fe84b154f14dd49152862b5bdd4402ddb88881