本論文では、プログラムの振る舞いを分析する新しい静的分析手法を提案する。この分析手法は、シンボリック表現と抽象的解釈を組み合わせて、プログラムの各プログラムポイントにおける変数と記憶領域の可能な記号的な値を計算する。
具体的には以下の手順で分析を行う:
この分析手法の主な特徴は以下の通り:
本手法は、プログラムの振る舞いを捉えるのに有用であり、コードの差分分析などへの応用が期待できる。
Para Outro Idioma
do conteúdo original
arxiv.org
Principais Insights Extraídos De
by Qi Zhan às arxiv.org 05-03-2024
https://arxiv.org/pdf/2405.01369.pdfPerguntas Mais Profundas