Redirect to Frama-Clang