Retourner au contenu associé (journal : IKOS, un analyseur statique développé à la NASA)
Posté par Maxime Arthaud le 17 décembre 2018 à 18:02. En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 1.
Quand je disais « classique », je pensais à cppcheck, clang-tidy et autre. C'est à dire, des analyseurs avec des heuristiques pour trouver des bugs.
C'est vrai que l'interprétation abstraite à 40 ans, mais en général quand je parle avec des ingénieurs, ils n'ont aucune idée de ce que c'est.
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
[^] # Re: Classique ?
Posté par Maxime Arthaud . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 1.
Quand je disais « classique », je pensais à cppcheck, clang-tidy et autre. C'est à dire, des analyseurs avec des heuristiques pour trouver des bugs.
C'est vrai que l'interprétation abstraite à 40 ans, mais en général quand je parle avec des ingénieurs, ils n'ont aucune idée de ce que c'est.