コンパイル段階で C プログラムのクリティカル セクションを分析するツールを作成したいと考えています。これを可能にする適切なアルゴリズムを探しています。コンパイラのどのフェーズでも可能です。
質問する
503 次
1 に答える
4
この記事「<a href="http://www.di.ens.fr/~mine/publi/article-mine-LMCS12.pdf" rel="nofollow">ランタイムの静的分析」に興味があるかもしれません組み込みリアルタイム並列 C プログラムのエラー」。
Frama -Cプラグインmthreadは、同時に独立して開発されました。それは同等の原則に基づいて機能します。
上記の 2 つのツールのそれぞれは、すでに少なくとも 10 人年を費やしている既存のベースに対する工数です。一部の人がすでにコメントしているように、それが正しいことを自分自身に納得させるために読むだけでは不十分な、適度に大きなプログラムのために重要で有用なことをしたい場合は、多くの作業が必要になります。
于 2012-10-14T22:28:40.533 に答える