Proving the qemu Range type — summary

• Had to remove glib header + one function.
• You can run Frama-C on the original source file.
• Might need a few #ifdefs.
• Could be integrated as part of CI.
• Doesn't make sense for qemu right now.