Retourner au contenu associé (journal : IKOS, un analyseur statique développé à la NASA)
Posté par Harvesterify le 17 décembre 2018 à 17:12. En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 2.
En effet, la plupart des analyseurs sérieux reposent sur l'interprétation abstraite (Frama-C, Astrée, CodeProver, cités dans le post originel).
Il serait intéressant de comparer les fonctionnalités offertes vis à vis des autres outils cités précédemment
Mes messages engagent qui je veux.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Classique ?
Posté par Harvesterify . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 2.
En effet, la plupart des analyseurs sérieux reposent sur l'interprétation abstraite (Frama-C, Astrée, CodeProver, cités dans le post originel).
Il serait intéressant de comparer les fonctionnalités offertes vis à vis des autres outils cités précédemment
Mes messages engagent qui je veux.