タグ

静的解析に関するurza358のブックマーク (13)

  • SonarQubeをWindows環境で使ってC#コードを解析する[追記しました] - 亀岡的プログラマ日記

    SonarQubeをWindows環境で使ってC#コードを解析する はじめに注意 ココらへんの事柄は一年も経てば色々変わったりするので、古い情報はあんまり真に受けないこと。 一応検証環境はWindows 8.1 Professional on VMWare Fusion 5だけれど、まぁWindows 7以降ならだいたい一緒のはず。 SonarQubeとは SonarQubeはもともとSonar*1と呼ばれていた、オープンソースの静的解析エンジンです。もともとはJava向けですが、Jenkinsのようなプラグイン機能も充実しており、結構な数のプラグインで、解析方法どころか解析可能な言語もかなり充実しています。現在のところ、公式では以下の言語をサポートしているよう。 ABAP Android C/C++ C# Cobol Delphi / Pascal Drools Erlang Flex

    SonarQubeをWindows環境で使ってC#コードを解析する[追記しました] - 亀岡的プログラマ日記
  • フロー解析

    静的解析ツールで、プログラムのあらゆるパスをシミュレートしバグを早期に発見ソースコードを解析し、関数・ファイルをまたがったバグに至るまでの処理の流れをレポートフロー解析機能は、プログラムを静的に解析して、プログラム実行時に発生し得る問題を検出する機能です。非常に複雑なアプリケーションでも、複数のファイル、メソッドにまたがるパスを自動的にトレースし、「NULLポインターの間接参照」や「バッファオーバーフロー」などプログラムの動作に致命的な影響をもたらすバグを早期に発見します。 C/C++testのフロー解析機能のルール数は125種類。問題として顕在化していなかった欠陥や、システムテストなどの後工程で見つかっていたような欠陥を、コーディングフェーズで瞬時に見つけることができるようになり、手戻りのリスクを軽減します。 フロー解析機能とはフロー解析機能は、コードの処理フローを静的にシミュレートして

  • C-Analysis_Free.NET(フリー版)の詳細情報 : Vector ソフトを探す!

    urza358
    urza358 2013/10/30
    わりと使えた。
  • GNU GLOBAL で除外ディレクトリを指定する - とりあえず日記

    gtagsでタグファイルを生成している最中に警告メッセージに出くわしました。 Warning: 'doc/リファレンスガイド.chm' ignored, becau se it includes blank.ヘルプファイル(.chm)を解析しようとしているようです。 解析対象かどうかを拡張子から判断しているかと思いきやそうじゃないのかな・・・ -gtagsconf オプションで設定ファイル(gtags.conf)を与えると解決できました。 gtags -gtagsconf gtags.conf以下、忘備録。 gtags.confのありか windows版ビルド済みバイナリ glo593wb\share\gtags\gtags.conf GNU GLOBALのソースコードから global-5.9.3\gtags.conf cygwinから C:\cygwin\usr\local\share

    GNU GLOBAL で除外ディレクトリを指定する - とりあえず日記
  • boost::spiritで構文解析を行う。(多分)その1 » おかゆ倶楽部―ソースが全然洗われない迷走ブログ

    boost::spiritで、やっとこさ前回のExpressionオブジェクトを作成できた。 ひどい、ひどかった… 俺みたいな「にわかプログラマ」が手を出すようなシロモノではなかったよ… 危うく「関数型プログラミング恐怖症」に陥るところだった。 いや、ライブラリそのものはすごく良く出来てる(んだと思う)し、一度使えるようになると便利なんで、また使うと思うんだけどさ。 用語がややこしいので、今回はBNFをコードに落とすところまで。 LL構文解析を行うライブラリ。 前回同様boost1.42。 boost::spirit::classic(旧spirit?)、boost::spirit::qi(構文解析)、boost::spirit::lex(字句解析)、boost::spirit::karma(コードジェネレータ?)のライブラリから成るらしい。 今回使う解析部分を行うライブ

  • ソースコード解析 カテゴリーのプロジェクト一覧 - ソフトウェアダウンロードマップ - OSDN

    DrFx は .NET 用自動コードインスペクションツール FxCop のレポートを日語化するツールです。 ソースコードのルール違反を取り締まる Cop(警官) ではなく、ルール違反の原因や修正方針を丁寧に教えてくれる物知り Doctor(博士) のようなツールを目指しています。

    ソースコード解析 カテゴリーのプロジェクト一覧 - ソフトウェアダウンロードマップ - OSDN
  • global

    標準では入っていないコマンドですが、globalと言うsource codeを見たりする時に、結構便利なツール類が存在します。これらはtag fileを作成し、これらをemacs等から読込むことによってタグジャンプを行ったり、変数や関数が相互参照可能なhtmlを作成してくれます。 gtagsコマンドは、カレントディレクトリ以下のソースを再帰的に走査して、ソース中のシンボルを集めます。そしてクロスリファレンスデータをタグファイル(GTAGS, GRTAGS, GSYMS, GPATH)に書き込みます。 gtagsコマンドのオプションは幾つかありますが、通常はファイルが存在する場所でを実行させるだけで、tag fileが作成されます。 # gtags サポートしている言語は、C, C++, yacc, java, PHP,およびアセンブラです。それそれの言語は、拡張子で識別されるようになってい

  • [emacs] GNU GLOBAL で 拡張子が “.inc” のPHP ファイルを扱う方法|株式会社 フラッツ

    こんにちは、森です。 今回は GNU GLOBAL の Tips です。 GNU GLOBAL はソースコードからタグファイルを生成し、コードリーディングなどを効率化させるツールです。利用方法はいくつかあるのですが、僕は主に emacs から使っています。インストール方法、全般的な機能紹介などは、最後に挙げるリンク先を参照して下さい。 GNU GLOBAL では、デフォルトのパーサでも PHP に対応しているのですが、拡張子が “inc” のファイルは無視してしまいます。これをタグ付けの対象にする方法をご紹介します。対象はUNIX系OSです。 方法は簡単です。find コマンドなどで “gtags.conf” ファイルをみつけて、ホームディレクトリの直下に “.globalrc” という名前でコピーして下さい。次に、”.globalrc” をエディタで開き、”:langmap” という項

  • GNU Global - dont feel, think

    ソースコード読みを容易にするために、静的解析ツールのGNU Globalを使ってみました。 インストール http://www.gnu.org/software/global/download.html 上記サイトよりWin32 binaryをドウンロードして、適当なフォルダに展開後パスを通して完了です。 使用方法 gtagsとhtags、2つのコマンドを使用します。 ・gtags 解析したいコードツリーのトップ階層にて gtags -v と実行します。すると、そのフォルダにGPATH、GRTAGS、GTAGSが生成されます。 ・htags gtagsを実行したフォルダにて htags -asfF と実行します。HTMLフォルダが生成されますので、その中のindex.htmlを開くとブラウザからコードを参照する事が出来ます。 はまったところ htags実行後に 'cp' は、内部コマンドま

    GNU Global - dont feel, think
  • 400万行のコードを15分で見える化! プログラム解析ツール『Understand』で開発効率アップ

    システムの多機能化により、プログラムの内容が複雑化している。テクマトリックスの『Understand』は、プログラムの構造を可視化することで、ソースコードの解析時間を大幅に削減できる開発支援ツール。今回は同社の福永一寛氏に、Understandの機能や特徴について聞いた。 システムの多機能化により、プログラムの内容は複雑化している。既存コードの改修や多人数での開発における情報共有のためには、プログラム構造の理解が必須だが、ドキュメントと実装内容とが乖離している場合も多く、解析自体に工数がかかることもある。テクマトリックスの『Understand』は、プログラムの構造を可視化することで効率的なソフトウェア開発をサポートするソフトウェア開発環境。「組込みシステム開発技術展(ESEC)」にて、同社の福永一寛氏にその特徴を聞いた。 ソースコードの解析作業時間を大幅に削減する『Understand』

    400万行のコードを15分で見える化! プログラム解析ツール『Understand』で開発効率アップ
  • ソースコードを読むための技術

    $Id: readingcode.html,v 1.13 2003/12/06 00:01:08 aamine Exp $ 2006-05-02 gonzui 追加。thanks: 冨山さん 2003-12-03 ltrace と sotrace を追加 2003-12-03 ツールのところに DDD を追加。thanks: 和田さん 2003-05-27 VCG, SXT などについて追加。thanks: 梅沢さん 2003-05-27 これもすっかり忘れていた strace, ktrace, truss, etags などについて追加 2002-08-30 すっかり忘れていた ctags を追加 2002-07-07 匿名希望さんからメールでいただいた情報を追加 (動的コールグラフ) 2002-06-13 日記経由でいただいた意見をもとに文章を追加。thanks: 柳川さん、まつもとさ

  • http://decomp.ulb.ac.be/roelwuyts/playground/canalysistools/

  • cppcheck 日本語情報トップページ - OSDN

    C/C++用の静的解析ツールです。メモリリーク、アロケーション(確保と解放)のミスマッチ、バッファオーバーラン、さらに多くのチェックを行います。目標は、0%の誤認識としています。 ダウンロード 最新ダウンロードファイル cppcheck-2.7-x64-Setup.msi (日付: 2022-02-05, サイズ: 21.55 MB) readme.txt (日付: 2022-02-05, サイズ: 294 B ) cppcheck-2.7.zip (日付: 2022-02-05, サイズ: 4.06 MB) cppcheck-2.7.tar.gz (日付: 2022-02-05, サイズ: 3.76 MB) cppcheck-2.7.tar.bz2 (日付: 2022-02-05, サイズ: 3.07 MB)

    cppcheck 日本語情報トップページ - OSDN
  • 1