Frama-C Framework in Wine.

[Игорь Чебаненко]

I don't know if you use it in your project,but if not,try.

Wikipedia:
https://en.wikipedia.org/wiki/Frama-C

Website:
https://frama-c.com/