[Dok Melody Scratchpad Notes]

tech/frama-c-code-analysis

https://www.frama-c.com/ analyze C code and answer to questions.