Cppcheckの使い方の詳細と設定 | 技術者魂
ディレクトリ内の全てのファイルを検査 通常、プログラムはプロジェクトディレクトリ内にある多くのソースファイルから成り立っています。 そのディレクトリ内にある全てのソースファイルをチェックする方法から。 サンプルのコードですと面白くないので、C/C++で書かれたオープンソースをダウンロードしてCppcheckを実行してみました。 サンプルとして選んだソースは、MariaDBのコネクターです。私は、データベースを扱うことが多く、たまたまMariaDBのソースが手元にあったからです。（mariadb-connector-c-2.3.2-src.tar.gz） Checking mariadb-connector-c-2.3.2-src/examples/mysql_affected_rows.c… 1/109 files checked 0% done Checking mariadb-conn
AdLint 日本語情報トップページ - OSDN
AdLint(アドリント) は、オープンソースのソースコード静的解析ツールです。 AdLint は、ソースコード中の安全性や移植性に欠ける部分について警告メッセージを出力し、また、同時にさまざまな品質メトリクスを測定することができます。 AdLint は、(現時点では) ANSI C89 / ISO C90 / 一部 ISO C99 規格に準拠した C 言語 のソースコードを解析することができます。 AdLint は Ruby で実装されているため、Windows、 Mac OS X、GNU/Linux、FreeBSD など Ruby がサポートする全てのプラットフォームで利用することができます。 !なお、最新のバージョンは、下記URLからダウンロードしてください。 http://sourceforge.net/projects/adlint/
AdLint 3.2.14 利用者ガイド
導入 AdLint とは AdLint は、オープンソースのソースコード静的解析ツールです。 AdLint は、ソースコード中の安全性や移植性に欠ける部分について警告メッセージを出 力し、また、同時にさまざまな品質メトリクスを測定することができます。 活用事例の一部は、付録のスクリーンショットでご確認いただけま す。 AdLint は、(現時点では) ANSI C89 / ISO C90 / 一部 ISO C99 規格に準拠した C 言語 のソースコードを解析することができます。 AdLint は Ruby で実装されているため、Windows、 Mac OS X、GNU/Linux、FreeBSD など Ruby がサポートする全てのプラットフォームで利 用することができます。 ライセンス Copyright (C) 2010-2014, OGIS-RI Co.,Ltd. AdLint
C/C++の静的解析ツール・事例まとめ - 簡潔なQ
C/C++の静的解析は、どう考えても大変なんだけどどう考えても需要が高いので、やはり色々なソフトウェアや事例があるようだ。まとまった情報が欲しいけど見つからなかったので自分の調べた範囲でまとめることにした。 他にも耳寄りな情報があったら教えてほしい。 静的解析を行うことができるソフトウェア 調べてみると結構たくさんある。それぞれの特徴とかあまりよくわからない。 (個人的には、とりわけ網羅的な形式的検証ができるツールの性能に興味があるので、それを中心に集めていたが、やはり網羅的とは限らないで探すともっとたくさん見つかるようだ。もちろん網羅性にはトレードオフがある) Frama-C …… C言語に形式手法を適用するための汎用のフレームワークで、静的検証のためのプラグインも多数(WPとかValueとか)存在する。網羅的な検証から発見的な手法、動的な手法まで様々ある。研究で使うのに便利そう Ast
静的コード解析 - Wikipedia
静的コード解析 (せいてきコードかいせき、static code analysis) または静的プログラム解析 (static program analysis) とは、コンピュータのソフトウェアの解析手法の一種であり、実行ファイルを実行することなく解析を行うこと。逆にソフトウェアを実行して行う解析を動的プログラム解析と呼ぶ[1]。静的コード解析はソースコードに対して行われることが多いが、少数ながらオブジェクトコードに対して行う場合もある。また、この用語は以下に列挙するツールを使用した解析を意味することが多い。人間が行う作業はインスペクション、コードレビューなどと呼ぶ。日本語では静的コード分析とも訳される[2]。 概要[編集] ツールが行う静的コード解析の洗練度は、個々の文や宣言だけを検証するものから、プログラム全体を解析するものまで様々である。解析結果の利用も様々で、Lintのように単に
CppCheckでC言語/C++のメモリリーク（解放漏れ）を静的解析で検出する。 | Futurismo
メモリ解放漏れ・メモリ二重解放は組込みエンジニアにとって、背筋が凍る単語だ。 それは、即、残業しなさいという意味に転じる。 そこから、泥沼のデバッグにハマることがよくある。 そんな課題をスマートに解決するために、メモリ解放漏れやメモリ二重解放を検出するツール調べてみたので、メモメモ。 オープンソース CppCheckのインストールをしよう# Cppcheckを使うことでメモリ解放漏れを静的解析で見つけることが可能だ。CppCheckはその他にも、アロケーション(確保と解放)の不一致（メモリ二重解放），バッファオーバーランの検出ができる。OSSなので、誰でも無料で利用可能。 CppCheckのダウンロードはココから Cppcheckの使い方の日本語訳は、以下のサイトで公開されている。 （ものすごく感謝！）今回はこれを参考に自分でも試してみる。 cppcheck 日本語マニュアル - 一人ぼっ
仙石浩明の日記: x86_64 Linux でメモリ・デバッグ・ツール Valgrind を使う場合の注意点
次のようなプログラム test.c について考える: #include <stdio.h> #include <stdlib.h> #include <sys/types.h> #include <string.h> struct test { int32_t len; int8_t buf[16]; }; int main(int argc, char *argv[]) { struct test *p = malloc(sizeof(struct test)); int8_t buf[16]; p->len = sizeof(p->buf); bzero(p->buf, p->len); printf("0x%lX-0x%lX => 0x%lX\n", (long)p->buf, (long)p->buf+p->len-1, (long)buf); bcopy(p->buf, buf,
Valgrind : 4. Memcheck: a memory error detector
Memcheck is a memory error detector. It can detect the following problems that are common in C and C++ programs. Accessing memory you shouldn't, e.g. overrunning and underrunning heap blocks, overrunning the top of the stack, and accessing memory after it has been freed. Using undefined values, i.e. values that have not been initialised, or that have been derived from other undefined values. Incor
メモリーリークの検出：mtrace , valgrind：プログラマー社長のブログ：オルタナティブ・ブログ
以前の記事にもLinuxでのメモリーリークの検出に関する事を書いたのですが、もう少し一般的なやり方を紹介しましょう（というより、自分で毎回忘れるので備忘録として・・・）。 【mtraceを使う方法】 まず、mtraceを使う方法です。リークのテストを開始したい場所でmtrace()をコールし、終了したい場所でmuntrace()をコールするようにします。 #include <stdio.h> #include <stdlib.h> char *test() { char *test=malloc(10); return(test); } int main() { char *ptr; mtrace(); ptr=test(); //*(ptr+10)='\0'; //free(ptr); muntrace(); return(0); } -gつきでコ
Valgrind Home
Information About News Tool Suite Supported Platforms The Developers Source Code Current Releases Release Archive Variants / Patches Code Repository Valkyrie / GUIs Documentation Table of Contents Quick Start FAQ User Manual Download Manual Research Papers Books Contact Mailing Lists and IRC Bug Reports Feature Requests Contact Summary Commercial Support How to Help Contributing Project Suggestion
cpp-tools - Cソース中の大量のifdefを読みやすくしたい（ツール探索編） - spikelet days
目的 #ifdefが複雑にネストしているCソースファイル中で、どの部分が有効かを簡単に調べたい。 背景と動機については id:taiyo:20080202#p1 などを参照。 結果 C FAQ(Question 10.18)で紹介されている3つのツールと、手元にあったツール1つを試した。 名前 処理可能なディレクティブ 処理方法 感想 rmifdef #ifdef, #ifndef, #else 不明（バイナリ配布） 判定対象が狭く、あまり使い出がない unifdef #ifdef, #ifndef, #else 独自の文字列処理 出力エラーでソースが乱れるのが致命的 scpp 全ディレクティブ lex&yac マクロ展開までされるのと、#if 0を処理しないのがやっかい pcpp 全ディレクティブ 不明（バイナリしか持ってない） 不都合は今のところみつからず pcppが、機能面では不満が
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)
ゴミのようなコードを見たときに利用するべき astyle のススメ - おともだちティータイム
他人の書いたコードがクソな場合は相当数ありますが、それでもフォーマットさえ整えば多少なりとも読みやすくなります。 僕は最近まで世の中の整形ツールはインデントくらいしか直してくれないと思っていました。 しかし、 astyle というツールに適切なオプションを渡せば、とても読み易いフォーマットに整形されることを知ったのです。 たとえば以下のようなゴミコードがあるとしましょう。 (処理に意味はありません) #include <stdio.h> int main(void){ int a,b; int * p; b= a=1;p=&a; if(a==b) printf("hello!") ; else printf ("hello, %d",a ); return b; } よく紹介されている astyle の使い方は以下のようなもので、せいぜいがインデントしか直してくれません。 astyle -
ソースコード品質評価ツール Adqua（アドクア） | 株式会社オージス総研
ソースコードの健康診断、していますか？ ソフトウェアの静的解析ツールやメトリクスを有効活用していますか？ Adquaは、QAC/QAC++のデータを活用して、手軽に、客観的なソフトウェア品質診断ができるツールです。 『Adqua』は、組み込みソフトウェアの品質を定量的に評価できるツールです。具体的には、ソフトウェアを「信頼性」「効率性」「保守性」「移植性」「再利用性」の5つの品質特性の観点で得点化します。得点化した評価結果はHTML形式のレポートで出力されます。レポート上のリンクを辿っていくことで問題のある要素を容易に特定することができます。また、要素間の依存関係を解析し、DSM（Dependency Structure Matrix）をCSVファイルとして、UMLモデル定義をXMIファイルとして出力します。これにより、依存関係の複雑さを可視化し、設計レベルにおける問題発見や改善に活用する
AdLint
AdLint is a source code static analyzer. It can point out insecure or nonportable code fragments, and can measure various quality metrics of the source code. It (currently) can analyze source code compliant with ANSI C89 / ISO C90 and partly ISO C99. AdLint is written in Ruby. So, it is available for Windows, Mac OS X, GNU/Linux, FreeBSD and any other platforms supported by Ruby. Features Can poin
オープンソースの静的解析ツール AdLint(アドリント) | 株式会社オージス総研
オープンソースで無償のソースコード静的解析ツール AdLint - Advanced Lint - は、オープンソースで無償のソースコード静的解析ツールです。コンパイラ等では検出できないソースコード内の潜在的な不具合の可能性を指摘し、定量的な品質メトリクスを出力します。 AdLint の活用は、ソフトウェア製品をより安全で品質の高い状態へ改良することを支援します。 ソースコードに潜在する問題を検出し、警告として出力 AdLint はソースコードを解析し、潜在的に不具合となり得る箇所について多くの警告メッセージを出力します。 開発者は AdLint が出力した警告メッセージをもとに問題を分析し、ソースコードをより安全で品質の高い状態へ改良することができます。 本来、ソフトウェア製品に潜在する問題を発見するためには、開発者によるコードレビューなど属人的な活動が必要とされます。AdLint は
静的解析フリーツール/固有値解析フリーソフト最新ダウンロード情報
Java静的解析・C言語/C#/C++静的解析・ソースコードの静的解析などに用いるフリーツールや、固有値の解析や計算に役立つフリーソフトの最新情報を集めました。 有用なシェアウェアの無料試用版に関する情報も併せて掲載しています。 ■Dehydra■（https://developer.mozilla.org/en/Dehydra） この静的解析ツールの特長： 「Dehydra」は、無料ダウンロードできるC++静的解析ツールで、ＧＣＣの型情報などをユーザーのJavaScriptコードに引き渡す役割を果たします。オブジェクトコードは再びGCCに戻すことは不可能で、最適化はできないものの、C++静的解析を行う機能としては十分でしょう。制御構造なども調べる必要がある場合は、「Treehydra」（https://developer.mozilla.org/en/Treehydra）が有効です。Li
入門ガイド — Google Test ドキュメント日本語訳
はじめに：なぜ Google C++ Testing Frameworkを使うのか¶ Google C++ Testing Framework を上手に活用すれば，より良い C++ のテストを書くことができます． Linux，Windows，そして Mac，あなたが C++ のコードを書いているこれらの環境に関係なく Google Test を利用できます． では，優れたテストを書くにはどうすればよいのでしょうか？Google C++ Testing Framework は，どのように役立つのでしょうか？我々は次のように考えています： テストには， 独立性 と 再現性 が必要です．別のテストの結果に依存して成功したり失敗したりするテスト，をデバッグするのは非常に面倒な作業です．Google C++ Testing Framework は，各テストを異なるオブジェクト上で実行することによって
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
cqual freecode日本語情報ページ - OSDN
https://uncrustify.sourceforge.net/default.cfg