Some coding choices we'd like to enforce automatically like using sd_malloc instead of malloc at least inside library code. Another choice is to use static storage for all data and functions not declared in the API header.
Other linter checks could be useful as well, and a lib like pycparser would be a useful place to start.
Dreaming a little bit, some error analysis for double arithmetic as well.
Some coding choices we'd like to enforce automatically like using
sd_mallocinstead ofmallocat least inside library code. Another choice is to usestaticstorage for all data and functions not declared in the API header.Other linter checks could be useful as well, and a lib like pycparser would be a useful place to start.
Dreaming a little bit, some error analysis for
doublearithmetic as well.