tillitis-key/hw
Michael Cardell Widerkrantz c443ef8a3e
fw: clang-tidy and splint: New make target: check
Add clang-tidy and splint static analytics check. For now, we use only
the cert-* warnings on clang-tidy and run splint with a lot of flags
to allow more things.

Changes to silence these analytics:

- Stop returning stuff from our debug print functions. We don't check
  them anyway and we don't have any way of detecting transmission
  failure.

- Declare more things static that isn't used outside of a file.

- Change types to be more consistent, typically to size_t or
  something or to uint32_t.
2023-03-22 11:05:32 +01:00
..
application_fpga fw: clang-tidy and splint: New make target: check 2023-03-22 11:05:32 +01:00
boards Add Pico SDK to docker image, for building tp1 firmware 2023-03-21 14:38:29 +01:00
production_test Print warning if the programmer device permissions are incorrect 2023-03-21 14:38:29 +01:00