| Gilles Peskine | 3d4ea54 | 2022-11-30 17:35:44 +0100 | [diff] [blame] | 1 | #!/bin/sh | 
|  | 2 |  | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 3 | help () { | 
|  | 4 | cat <<EOF | 
| Gilles Peskine | 749a0d7 | 2022-11-30 18:08:14 +0100 | [diff] [blame] | 5 | Usage: $0 [-r] | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 6 | Collect coverage statistics of library code into an HTML report. | 
|  | 7 |  | 
|  | 8 | General instructions: | 
| Gilles Peskine | 202b1a0 | 2022-12-01 17:41:36 +0100 | [diff] [blame] | 9 | 1. Build the library with CFLAGS="--coverage -O0 -g3" and link the test | 
|  | 10 | programs with LDFLAGS="--coverage". | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 11 | This can be an out-of-tree build. | 
| Gilles Peskine | 202b1a0 | 2022-12-01 17:41:36 +0100 | [diff] [blame] | 12 | For example (in-tree): | 
|  | 13 | make CFLAGS="--coverage -O0 -g3" LDFLAGS="--coverage" | 
|  | 14 | Or (out-of-tree): | 
|  | 15 | mkdir build-coverage && cd build-coverage && | 
|  | 16 | cmake -D CMAKE_BUILD_TYPE=Coverage .. && make | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 17 | 2. Run whatever tests you want. | 
|  | 18 | 3. Run this script from the parent of the directory containing the library | 
|  | 19 | object files and coverage statistics files. | 
|  | 20 | 4. Browse the coverage report in Coverage/index.html. | 
| Gilles Peskine | 749a0d7 | 2022-11-30 18:08:14 +0100 | [diff] [blame] | 21 | 5. After rework, run "$0 -r", then re-test and run "$0" to get a fresh report. | 
|  | 22 |  | 
|  | 23 | Options | 
|  | 24 | -r    Reset traces. Run this before re-testing to get fresh measurements. | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 25 | EOF | 
|  | 26 | } | 
|  | 27 |  | 
|  | 28 | # Copyright The Mbed TLS Contributors | 
| Dave Rodgman | 16799db | 2023-11-02 19:47:20 +0000 | [diff] [blame] | 29 | # SPDX-License-Identifier: Apache-2.0 OR GPL-2.0-or-later | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 30 |  | 
|  | 31 | set -eu | 
|  | 32 |  | 
| Thomas Daubney | 11120f9 | 2023-10-19 15:27:59 +0100 | [diff] [blame] | 33 | # Repository detection | 
| Thomas Daubney | c0ae569 | 2023-10-23 17:25:52 +0100 | [diff] [blame] | 34 | in_mbedtls_build_dir () { | 
| Thomas Daubney | 0bb761c | 2023-11-14 12:03:10 +0000 | [diff] [blame] | 35 | test -d library | 
| Thomas Daubney | b4f1ee0 | 2023-11-13 09:50:58 +0000 | [diff] [blame] | 36 | } | 
| Thomas Daubney | 11120f9 | 2023-10-19 15:27:59 +0100 | [diff] [blame] | 37 |  | 
| Gilles Peskine | 749a0d7 | 2022-11-30 18:08:14 +0100 | [diff] [blame] | 38 | # Collect stats and build a HTML report. | 
|  | 39 | lcov_library_report () { | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 40 | rm -rf Coverage | 
| Gilles Peskine | e628f29 | 2022-11-30 17:56:58 +0100 | [diff] [blame] | 41 | mkdir Coverage Coverage/tmp | 
| Thomas Daubney | 11120f9 | 2023-10-19 15:27:59 +0100 | [diff] [blame] | 42 | lcov --capture --initial --directory $library_dir -o Coverage/tmp/files.info | 
|  | 43 | lcov --rc lcov_branch_coverage=1 --capture --directory $library_dir -o Coverage/tmp/tests.info | 
| Gilles Peskine | e628f29 | 2022-11-30 17:56:58 +0100 | [diff] [blame] | 44 | lcov --rc lcov_branch_coverage=1 --add-tracefile Coverage/tmp/files.info --add-tracefile Coverage/tmp/tests.info -o Coverage/tmp/all.info | 
|  | 45 | lcov --rc lcov_branch_coverage=1 --remove Coverage/tmp/all.info -o Coverage/tmp/final.info '*.h' | 
|  | 46 | gendesc tests/Descriptions.txt -o Coverage/tmp/descriptions | 
| Thomas Daubney | 11120f9 | 2023-10-19 15:27:59 +0100 | [diff] [blame] | 47 | genhtml --title "$title" --description-file Coverage/tmp/descriptions --keep-descriptions --legend --branch-coverage -o Coverage Coverage/tmp/final.info | 
| Gilles Peskine | e628f29 | 2022-11-30 17:56:58 +0100 | [diff] [blame] | 48 | rm -f Coverage/tmp/*.info Coverage/tmp/descriptions | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 49 | echo "Coverage report in: Coverage/index.html" | 
|  | 50 | } | 
|  | 51 |  | 
| Gilles Peskine | 749a0d7 | 2022-11-30 18:08:14 +0100 | [diff] [blame] | 52 | # Reset the traces to 0. | 
|  | 53 | lcov_reset_traces () { | 
|  | 54 | # Location with plain make | 
| Thomas Daubney | 11120f9 | 2023-10-19 15:27:59 +0100 | [diff] [blame] | 55 | rm -f $library_dir/*.gcda | 
| Gilles Peskine | 749a0d7 | 2022-11-30 18:08:14 +0100 | [diff] [blame] | 56 | # Location with CMake | 
| Thomas Daubney | 11120f9 | 2023-10-19 15:27:59 +0100 | [diff] [blame] | 57 | rm -f $library_dir/CMakeFiles/*.dir/*.gcda | 
| Gilles Peskine | 749a0d7 | 2022-11-30 18:08:14 +0100 | [diff] [blame] | 58 | } | 
|  | 59 |  | 
| Gilles Peskine | eff8803 | 2022-11-30 17:51:44 +0100 | [diff] [blame] | 60 | if [ $# -gt 0 ] && [ "$1" = "--help" ]; then | 
|  | 61 | help | 
|  | 62 | exit | 
|  | 63 | fi | 
|  | 64 |  | 
| Thomas Daubney | c0ae569 | 2023-10-23 17:25:52 +0100 | [diff] [blame] | 65 | if in_mbedtls_build_dir; then | 
| Thomas Daubney | 11120f9 | 2023-10-19 15:27:59 +0100 | [diff] [blame] | 66 | library_dir='library' | 
|  | 67 | title='Mbed TLS' | 
|  | 68 | else | 
| Thomas Daubney | c0ae569 | 2023-10-23 17:25:52 +0100 | [diff] [blame] | 69 | library_dir='core' | 
| Thomas Daubney | 11120f9 | 2023-10-19 15:27:59 +0100 | [diff] [blame] | 70 | title='TF-PSA-Crypto' | 
|  | 71 | fi | 
|  | 72 |  | 
| Gilles Peskine | 749a0d7 | 2022-11-30 18:08:14 +0100 | [diff] [blame] | 73 | main=lcov_library_report | 
|  | 74 | while getopts r OPTLET; do | 
|  | 75 | case $OPTLET in | 
|  | 76 | r) main=lcov_reset_traces;; | 
|  | 77 | *) help 2>&1; exit 120;; | 
|  | 78 | esac | 
|  | 79 | done | 
|  | 80 | shift $((OPTIND - 1)) | 
|  | 81 |  | 
|  | 82 | "$main" "$@" |