I believe we should postpone inclusion of the Frama-C analyzer in the analyzers list: Frama-C command-line interface is a bit different from the other analyzers: It requires each c programming language file as a parameter, it does not support C++, and it needs us to know the include files path. Of course we are talking about a more sophisticated analysis here, but there will be a considerable amount of work to include it in kiskadee.