search

oreparaz / vroughtime

compact roughtime client implementation in C for embedded use
Apache License 2.0
4 stars 1 forks source link

feat: add cbmc proof for memory safety #7

Closed oreparaz closed 2 years ago

oreparaz commented 2 years ago

cbmc is an easy to use bounds checker. This commit checks for memory safety (array bounds checks and checks for the safe use of pointers) and adds a github action to test this in CI.