I would, but my programs use structured concurrency; I don't know how well Frama-C would help. If someone paid me to, I'd do it in a heartbeat. For CHERI, I w

I would, but my programs use structured concurrency; I don't know how well Frama-C would help. If someone paid me to, I'd do it in a heartbeat. For CHERI, I want my software to be safe on unsafe platforms. I am building a memory-safe language that I will rewrite my software in.