Implementierung von frama-clang

Question

Bisher habe ich das STANCE-Projekt (Stance project website) ein Lesegerät (found on the website) und eine Präsentation (also found on the website) gefunden. Außerdem wird es anscheinend am 20. Juni einen Framac-Tag geben, an dem Framaclong eingeführt wird.

Ich frage mich jedoch, ob es eine Implementierung gibt, um mit Frama-Clang zu spielen.

Answer 1

Seit ein paar Minuten gibt es: http://frama-c.com/frama-clang.html (vergessen Sie nicht, die Caveat Teil zu lesen). Es wird als neues Plug-In unter LGPL2.1 veröffentlicht. Frama-Clang ist kompatibel mit Frama-C Aluminium (d. H. Der neuesten Version von Frama-C) und clang/llvm 3.8 (stellen Sie sicher, dass Sie entweder die dev-Pakete Ihrer Distribution verwenden oder den Sound von Hand kompilieren).