Write Frama-C code to avoid some of bugs

metasepi / postmortem

Postmortem for open-source operating systems

MIT License

1 stars 0 forks source link

Open master-q opened 3 years ago

master-q commented 3 years ago

I believe I should take the other people's advice for this issue, because there are many flavors on Frama-C and plugins...