Using clang as a Frontend on a Formal Verification Tool