3 ms·
> C++ verifiers have to understand template types, overloads, etc. If they operate at some compiler IR level (e.g. LLVM bitcode), the difference between C and
by quotemstr 5y ago
> C++ verifiers have to understand template types, overloads, etc.
If they operate at some compiler IR level (e.g. LLVM bitcode), the difference between C and C++ verification is nothing. C++ is purely a front-end thing. Why should formal verifiers operate at the AST level?