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 () { |
| 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" "$@" |