[Dokmelody scratchpad notes]
[Main website]
tech/frama-c-code-analysis
https://www.frama-c.com/
analyze C code and answer to questions.