Retourner au contenu associé (journal : IKOS, un analyseur statique développé à la NASA)
Posté par Boiethios le 15 décembre 2018 à 10:38. En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 1.
Je n'arrive pas à trouver d'infos dessus, mais vérifie-t-il si un code multi-threadé est correct ?
De toute façon, ça ne peut être qu'un outil temporaire, en attendant de porter le code en Rust :P
AltStyle によって変換されたページ (->オリジナル) / アドレス: モード: デフォルト 音声ブラウザ ルビ付き 配色反転 文字拡大 モバイル
# Vérification du code multi-threadé ?
Posté par Boiethios . En réponse au journal IKOS, un analyseur statique développé à la NASA. Évalué à 1.
Je n'arrive pas à trouver d'infos dessus, mais vérifie-t-il si un code multi-threadé est correct ?
De toute façon, ça ne peut être qu'un outil temporaire, en attendant de porter le code en Rust :P