CおよびC ++の静的解析ソフトウェアは、PC-lintのプラスのインストールと構成を統合します!

PC-lintのプラスCおよびC ++のソースコードを解析することにより、ソフトウェアの欠陥を見つけるために、静的解析ソフトウェアです。、コンパイラなどのPC-lintのプラス、ソースコードファイルを解析する意味解析を実行し、プログラムを表現する抽象構文木を構築します。PC-lintのプラスのデータは、個々のファイルやプロジェクト全体の強力かつ総合的な分析を提供するために、解析、数値の追跡、読み書きの分析、強力な型チェック、検証、および他の多くの機能のセマンティック技術を流し含め、様々なメカニズムを使用しています。

この記事では、PC-lintのプラスをインストールする方法と、PC-lintのをインストールするには、プラスのシステム要件について説明します。

システム要件

1.サポートされているオペレーティングシステム

  • Windows 7のSP1はWindows 8.1、Windowsの10。

  • MacOSの10.13以降。

  • カーネル2.6.15以降とglibc 2.11またはLinuxのそれ以降のバージョン。

2.ハードウェア要件

最低要件

  • 2 GBのRAM

  • (Windowsのx86互換CPUの32ビットバージョンの)x86-64の互換CPU

推奨要件

  • 各並列スレッド2ギガバイトのRAM +と1 GBのRAMを持っています

  • マルチコアx86-64の互換CPU

第二に、インストール

PC-lintのプラスバイナリ実行ファイルの形で配布を通じたファイルをインストールしたいディレクトリにコピーすることができます。PC-lintのプラス製品を使用するための任意の追加のインストール手順を必要としません。

あなたはPC-糸くずを実行したいプラスの場合は、PC-lintのプラスPATH環境変数、またはパスにインストールディレクトリに含まれる1つのディレクトリ内の実行可能ファイルに必要な、のバイナリへのフルパスを指定せず。

(A)は、Windows上でPATH環境変数を設定しました

1. Windowsキーを押しながら例のプレス「R」キーのため、プロンプトまたはコマンドを実行します。

2、プロンプトの実行中にsysdm.cplと入力し、Enterキーを押します。

3、ダイアログウィンドウで「詳細」オプションを選択するカード。

4、「環境変数」をクリックします。

「システム環境変数」セクションで5、PATH変数を見つけて、PC-糸くずなどがプラスディレクトリのリストに追加(既に存在していない場合)セミコロンで区切られました。

このウィンドウでは6、およびダイアログウィンドウをクリックし、残りの「OK。」

通过在新打开的终端窗口中运行echo%PATH%来验证更改。

注意:您可能需要具有管理权限才能更改系统设置。此更改不会影响已经打开的命令提示符窗口。

(二)在Linux上设置PATH环境变量

1、使用您喜欢的编辑器打开〜/ .profile

2、添加行PATH = $ PATH:pc-lint-plus-dir,其中pc-lint-plus-dir是PC-lint Plus可执行文件所在目录的完整路径。

3、保存并退出。

通过从新打开的终端窗口运行echo $ PATH来验证更改。

注意:此更改不会影响已经打开的终端窗口。

(三)在macOS上设置PATH环境变量

1、打开终端,例如在按住Command键的同时按下空格键(以打开Spotlight)并输入“Terminal”

2、运行命令sudo nano / etc / paths

3、在文件底部,添加包含PC-lint Plus二进制文件的目录

4、按Ctrl-X退出,然后在出现提示时按“Y”保存。

通过从新打开的终端窗口运行echo $ PATH来验证更改。

注意:此更改不会影响已经打开的终端窗口。

本文内容就是这样了,希望对您有所帮助!您可以关注慧都了解更多产品资讯~


おすすめ

転載: blog.51cto.com/14467432/2482169