抄録/ポイント:
抄録/ポイント
文献の概要を数百字程度の日本語でまとめたものです。
部分表示の続きは、JDreamⅢ(有料)でご覧頂けます。
J-GLOBALでは書誌(タイトル、著者名等)登載から半年以上経過後に表示されますが、医療系文献の場合はMyJ-GLOBALでのログインが必要です。
低レベルプログラム(CまたはLLVM)の静的解析は,モデリングメモリを必要とする。精度と性能の間の良好なバランスを打つために,ほとんどの静的アナライザは,ポインタがメモリオブジェクト内の数値オフセットであるCメモリモデルに依存する。アドレス空間の有限分割は一般的な抽象化である。例えば,割当サイト抽象化は,同じ割当サイトで生成されたすべてのオブジェクトを併合することによって分割を生成する。再帰抽象化は,以前のものから最も最近の割り当てメモリオブジェクトを識別することによって,割当サイト抽象化を洗練する。残念なことに,これらの抽象化は,リンクリストのような動的に割り当てられたデータ構造のコンテンツで表現される不変量を推論するためには,しばしば十分に正確でない。これらの場合,メモリ位置間の連結性パターンを考慮する形状のようなより高価な抽象化がしばしば必要である。高価なメモリ抽象化の代わりに,領域ベースのメモリモデル(RBMM)と呼ばれる新しいメモリモデルを提案した。RBMMは,ポインタが領域と呼ばれる余分なコンポーネントを持つCメモリモデルの精密化である。従って,メモリオブジェクトは,領域がペアワイズ素形であるため,エイリアシングを大きく制限できる複数の領域をスパニングできる。RBMMは,各メモリ命令が領域に対して明示的に言及することを必要とするので,まず,抽象解釈者Crabの入力である領域に基づく新しい中間表現(IR)を提示した。第2に,著者らは,割当サイトとレジェンシーのような抽象化がRBMMに容易に適応できることを示した。第3に,著者らの新しいIRを用いてCrabを評価し,広く使用されたCプロジェクトで単純な配置サイト抽象化を評価した。Copyright Springer Nature Switzerland AG 2022 Translated from English into Japanese by JST.【JST・京大機械翻訳】