Yeah, but I didn't say pick between Frama-C and C++. I said pick between a subset of carefully-written C with all the tooling one could throw at it and C++. The

Yeah, but I didn't say pick between Frama-C and C++. I said pick between a subset of carefully-written C with all the tooling one could throw at it and C++. The latter comparison is an easier tradeoff to make than the former. Especially with the tools I mentioned with low, false positives. They'd be serving Google well right now. Among other users.