C + +の静的コード

我々は、部分がプログラムの実際の実行を行わずに安全でないコードを識別することで手順として、ソースコードの静的解析のプロセスを定義することができます。

'S 静的解析は、 テストプロセスをサポートするために有用な、独自の特定のツールによって、つまり、自動的に実行することができます。 ソフトウェアテストの段階では、その全体が、非常に複雑なプロセスであり、通常は、この特定の分野を専門とすることにしたプログラマによってどのように守ってください。 "静的コード分析に特化したソフトウェアツールは、このように、コードのセクションが、より慎重に確認するために必要なことに何の最初のヒントを提供し、時間とコストを削減するのに役立ちます。

前述の機器により検出されたエラーの種類は複数と継続的な更新、事業開発、実際には、この種のソフトウェアは、長い時間のために偉大なリズムに行くです。

この点のようなプログラムの歴史的価値の重要な糸くず のLinux上で稼働する1979年にリリースされた、、およびプログラミング言語に特化したC 。Lintは 、時にはとして識別静的コード検証ソフトウェアの本当のランドマークです"糸くずのようなツール"、または"ツールのようなリント。"

現代の静的アナライザはまた、 そのようなアプリケーションのための具体的提案を提供し 、並列で実行するように設計されたコードを検証することができます。

この記事では、我々は並列言語を実行するプログラムのための静的コードの可能性の簡潔な概要を提供しようと、楽器のこのタイプに焦点を当てて、C + + （自然界で最も人気と汎用性）。 開始するには、汎用ソフトウェアとのような柔軟性のある検証してみましょうPC - Lintを 。

PC - Lintの

PC - Lintのは、使用するプログラムの解析に最適なパフォーマンスを提供するように設計されているPOSIXのスレッドを 、しかし効果的に一般的なケースで使用することができます。 ソフトウェアによる分析が自動あらゆる方法でであると言ってしたくない。

それは、手動でプログラムがPC - Lintがちょうどこれらのセクションの公平の"静的解析 （そのはい、自動）に進むことができるように、並列（あるいは同時に）に実行される関数を指定する必要が表示されます。 これを実現するには、PC - Lintのコマンドラインの実行でオプション-常に使用する必要があります。 たとえば、文：

 



糸くずのSEM（関数、スレッド）

 

PC - Lintのと通信が同時に実行されるように、関数 func を分析する必要がある。 これで、 共有変数は、クリティカルセクションの適切な定義なしに使用または変更された場合、その後、例えば、指摘して、あなたも同じのパラレル実行を処理する必要があることを心に留めておく機能に関連するエラーメッセージが表示されます。

排他制御と同期プリミティブは、形式主義の典型的なPOSIXスレッドを使用して実装されている場合それは、この点にあった、または、例えば、pthread_mutex_lockはと pthread_mutex_unlock は、コマンドラインから、それについて何も指定する必要はありません。 そうでなければ、ガイドラインが使用されます。

 - SEM（アクセス、thread_lock）







 - SEM（リリース、thread_unlock）

クリティカルセクションへのアクセスを示すために、 アクセスと呼ばれる機能を介して行われ、そのセクションのリリースは、 リリースの機能を使用しています。

もし、私たちのコードの静的解析のために、私たちはもう少し強力なツールとPC - Lintのの独立を希望していた、 VivaMPは良い選択かもしれません。

• <<
• 1
• 2
• >>