• はてなブックマーク
  • テクノロジー
  • GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.
  • Twitterでシェア
  • Facebookでシェア

GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.

テクノロジー カテゴリーの変更を依頼 記事元:github.com/NASA-SW-VnV
適切な情報に変更
4users がブックマーク コメント 2
    共有

    • 記事へのコメント2件

    • 注目コメント
    • 新着コメント
    その他
    masterq
    "抽象解釈にもとづく静的プログラム解析器。Z3などのソルバは使っていないが、多面体解釈や不動点をサポートしており、制御フローや関数呼び出しも考慮してバグを発見できる。C/C++を対象としているが、LLVMでも"

    その他
    tanakh
    “Static analyzer for C/C++ based on the theory of Abstract Interpretation.”ふーむ(´･_･`)

    その他

    注目コメント算出アルゴリズムの一部にLINEヤフー株式会社の「建設的コメント順位付けモデルAPI」を使用しています

    アプリのスクリーンショット
    いまの話題をアプリでチェック！
    • バナー広告なし
    • ミュート機能あり
    • ダークモード搭載
    アプリをダウンロード

    関連記事

    GitHub - NASA-SW-VnV/ikos: Static analyzer for C/C++ based on the theory of Abstract Interpretation.

    You signed in with another tab or window. Reload to refresh your session. You signed out in anoth...

    ブックマークしたユーザー

    すべてのユーザーの
    詳細を表示します

    いま人気の記事

    いま人気の記事をもっと読む

    いま人気の記事 - テクノロジー

    いま人気の記事 - テクノロジーをもっと読む

    新着記事 - テクノロジー

    新着記事 - テクノロジーをもっと読む

    同時期にブックマークされた記事

    いま人気の記事 - 企業メディア

    企業メディアをもっと読む

    はてなブックマーク

    公式Twitter

    はてなのサービス

    • App Storeからダウンロード
    • Google Playで手に入れよう
    Copyright © 2005-2026 Hatena. All Rights Reserved.