リブマン・プロバ

リブマン・プロバ

Libman Proba (LIBMAN) は、C++ プログラミング言語のコードのセキュリティをチェックするための最も人気のあるツールの 1 つです。

このツールの目的は、データのセキュリティとプライバシーを確​​保するためにプログラム コードの脆弱性をチェックすることです。このテストは、開発者がプロ​​グラミングのセキュリティを分析できるように設計されています。

これを行うために、コードを分析し、特定の変数、関数、テーブル シンボル間の相関関係を確立します。これにより、安全なプログラムが作成される可能性についての警告が生成される場合があります。さらに、変数間の関係の妥当性をチェックし、ある変数の情報が別の変数から抽出される可能性があるケースを識別します。

libman テストに合格するには、関数 fxxf(x) でローカル変数 x のアドレスを返す関数 (または関数のブロック) を作成する必要があります。たとえば、ヘッダー ファイルは次のパターンと一致する必要があります。

LIBMAN.CPP ファイルを接続します。含む //ヘッダファイル libmanPROB または lmp LMP_ASSERT_MSG