静的解析 | 静的解析・単体テストツール C++test | テクマトリックス株式会社
近年の大規模・複雑化したプログラムにおいて、不具合の検出はますます困難になっています。 特にオーバーフローや未初期化変数の使用などのバグは、致命的な不具合につながるだけでなく、それに加えて複数のファイルにまたがる「特定のパス」を実行した時にのみ発生することもあり、デバッグでの検出には労力を要します。 さらに、どんなに時間をかけても目視によってすべての実行パスを検証することは、現実的ではありません。 静的解析ツールC/C++testでは、このような致命的なバグが潜んでいる場合でも、静的解析の「フロー解析」機能で、プログラムのあらゆるパスをシミュレートし、バグを早期に発見します。また、ソースコード品質の底上げに貢献する「コーディング規約チェック」機能を搭載しているため、バグの作りこみを抑制し、ソースコードの可読性と保守性を強化します。 静的解析とは静的解析は、ソフトウェアの解析手法の一種で、コ
メモリーリークの検出：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つきでコ
CppCheckでC言語/C++のメモリリーク（解放漏れ）を静的解析で検出する。 · Futurismo
2 Oct, 2012 · by admin · Read in about 3 min · (1044 Words) CppCheck cygwin OSS 組込み 静的解析 メモリ解放漏れ・メモリ二重解放は組込みエンジニアにとって、背筋が凍る単語だ。 それは、即、残業しなさいという意味に転じる。 そこから、泥沼のデバッグにハマることがよくある。 そんな課題をスマートに解決するために、メモリ解放漏れやメモリ二重解放を検出するツール調べてみたので、メモメモ。 オープンソース CppCheckのインストールをしよう Cppcheckを使うことでメモリ解放漏れを静的解析で見つけることが可能だ。CppCheckはその他にも、アロケーション(確保と解放)の不一致（メモリ二重解放），バッファオーバーランの検出ができる。OSSなので、誰でも無料で利用可能。 CppCheckのダウンロードはココから C
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)
ヘッダ1つでgoogle testっぽくテストが書けるpicotest書いた - nyanp::blog
以下に修正BSDライセンスで公開しておきます： nyanp/picotest · GitHub 一応VC10/VC11(Win7),gcc4.6.2(Ubuntu)で動作確認。 これは何？ C++向けのユニットテスティングフレームワークです。ちょっとしたコードに対してテストを書きたいなー、でもわざわざテストのためにGoogle Testをリンクするのも、Boost.Testを引っ張り出すのも大げさ*1…みたいな時に使えるかもしれません。ヘッダだけで使えるテスティングフレームワークは他にもあります*2が、picotestは以下のような特徴があります。 Google Testと同じ構文でテストが書ける 学習コストが0 プロジェクトが大きくなってきたら、簡単にGoogle Testに切り替えることが可能 Google Testのようにテストケースの自動登録、フィクスチャ、operator <<
Intel C/C++ を用いた Google Test環境を準備する - 発声練習
C++用のテストライブラリーGoogle TestをIntel C/C++と一緒に使う。 関連：Ubuntu 11.10に Intel(R) C++ Studio XE 2011 SP1 Update 1 for Linux 環境 OS: Ubuntu 12.04 icc/icpc バージョン 12.1.0 (gcc バージョン 4.6.0 互換) Google test 1.6.0 zsh 設定 CMakeをインストールする。 % sudo aptitude install cmakeGoogle Test本家からソースコードをダウンロードし、解凍する。 % unzip gtest-1.6.0.zip % cd gtest-1.6.0CMakeでMakefileを生成する。その後、makeで静的ライブラリー libgtest.a と libgtest_main.a を作成する。 % cm
Kazuho@Cybozu Labs: 今更 C++ で JSON パーサ「picojson」を書いたわけ
既に mattn さんが、「Big Sky :: ヘッダファイルだけでC++から使えるJSONパーサ「picojson」が凄い！」で紹介してくださっています (mattn さん、アドバイス＆バグ情報ありがとうございます!) が、いまさら C++ で JSON パーサを作りました。それは、以下の３点を満たすものがなかったから。 ヘッダファイル only boost 等、他の重たいライブラリに依存しない array や object が STL にマッピングされる コードは、coderepos に置いてありますので、よろしければお使いください (picojson.h)。 なお、現時点での制限事項として、 \n や \r, \uXXXX といったエスケープの処理が未実装rev. 34232 で対応しました (含サロゲートペア) 空白文字の判断基準が RFC と異なるrev. 34277 で空白と
入門ガイド — 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 は，各テストを異なるオブジェクト上で実行することによって
googletestではじめるC++の単体テスト - シリコンの谷のゾンビ
今年度になって初めて単体テストなるものを使うようになったゆとりであるが，人間変われば変わるもので，コードを書いたら一緒にテストを書かないと不安を感じるようになった．それまでprintfデバッグでなんとかしてきたC/C++のコーディングもこのままではまずいと思って，巷で評判のgoogletestなるものを使うことにした． 本家のページから最新版をダウンロード(orレポジトリからチェックアウト)して % ./configure % make % sudo make installすればいいんでしょフフン，と思っていたらmake installで怒られた．どうやらv.1.5あたりからgoogletestのアーカイブファイルをその都度作成することを推奨するようになったらしい．ゆとりは想定外の挙動に大層弱いので，これで一晩費やしたことは秘密．というわけで二晩目に何とか動いたので，作業メモ． さて，こ
C言語・C++言語用テスティングフレームワーク - Cutter
最新リリース 2019-09-13にリリースされた1.2.7が最新です。 [ダウンロード] [変更点] Cutterとは Cutterは書きやすさ・デバッグのしやすさを重視したC言語・C++言語用のテスティングフレームワークです。メンテナンスしやすく、利用効果の高い単体テスト（ユニットテスト）の開発を支援します。 また、テストを苦痛ではなく、楽しいものにすることも重視しています。スクリーンショットはテスト結果の通知機能を利用している様子です。文字としてテストのパス・失敗を伝えるだけではなく、視覚的にも通知することで、テスト結果をわかりやすくします。わかりやすいので、頻繁にテストを実行したくなります。この機能はnotify-sendコマンド（Linuxや*BSDなどの場合）またはgrowlnotifyコマンド（macOSの場合）を利用します。 動作環境 CutterはDebian GNU/L
テスト自動化とは - ソフトウェアテスト自動化まとめサイト なんでも自動化サイト
1.V字開発プロセスモデルによる分類 1.1.要件定義 VDM 形式手法(Formal Methods)により仕様の自動検証などを行う。 1.2.システム設計 モデル検査 Spin モデル検査により状態遷移図の状態で自動検証を行う。 LTSA モデル検査により状態遷移図の状態で自動検証を行う。 NuSMV モデル検査により状態遷移図の状態で自動検証を行う。 モデル駆動 ZIPC(商用:キャッツ株式会社) 状態遷移図による検証が可能 MDA モデルを実際に動かして動作検証する。Executable Umlなどを使用して仕様を記述。 IAR visualSTATE(商用:IAR SYSTEMS) ステートマシンを設計、検証、実装できるツール。20ステートまでの無料の評価版あり 1.3.詳細設計 Enterprise Architect(商用:SPARX SYSTEMS) テストツールではないが
革命の日々！ 静的解析ツール
Slashdotで静的解析ツールの話題がでていたので忘れないうちに転載。もう完全に自分用 静的解析ツールはそこそこ役に立つ． FindBugs [sourceforge.net] PMD [sourceforge.net] Lint4j [jutils.com] codewizard [techmatrix.co.jp] DevPartner Studio Professional Edition [compuware.co.jp] COReTOOL/PGRelief [fujitsu.com] QAC [toyo.co.jp] QAC++ [toyo.co.jp] などなど… C/C++向けで自由にルールが作成できるオープンソースの実装は無いものか． オープンソースの静的解析ツールでしたら、 Splint [splint.org] RATS [securesoftware.com] Un
Debian -- Error
ウェブサイトの問題を報告するには、debian-www@lists.debian.org にメールを送ってください。その他の連絡先に関する情報は、Debian のコンタクトページをご覧ください。 Content Copyright © 1997 - 2024 SPI Inc.; ライセンス条項をご覧ください。 Debian は SPI Inc. の登録商標です。 このサイトについてさらに詳しく知るには.
Valgrind - JULY’s diary
メモリーリークのチェックツールを探していて、なかなか良いのがないなぁ、と思っていたところ、やっとのことで見つけたのがこの Valgrind。 最初、memwatch にトライしたんだけど、ソースに memwatch のヘッダをインクルードして、memwatch.c を一緒にコンパイル・リンクするという手順で、「ひょっとしたらこういうパターンはだめかな」というのを思いついて、試して見たら見事にだめだった(^^;。 だめなパターンというのは「exit でプログラムを終了させる」パターン。memwatch の手順からして「atexit でログを吐き出すようにしてるんじゃないかなぁ」と思って、「だと _exit で抜けたら、ログに吐き出せないよなぁ」と想像した次第。チェックしようとしているプログラムが _exit を使っているんで、これじゃぁ使えないと。 あと、mtrace も試して見たけど、確か
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
Rustに移行する理由の大部分は、C++11以降の更新とガイドライン順守で消えますか？まあ、CargoこそC++にほしかったもののひとつでしょうけど。
cqual freecode日本語情報ページ - OSDN
集中型静的コードチェックツール anyWarp CodeDirector for C/C++｜日立ソリューションズ
Cプロジェクトへの単体テストの追加 - NetBeans IDEチュートリアル
Cppcheckで静的解析して、Jenkinsで表示してみる。 · Futurismo
cppcheck 日本語マニュアル | 一人ぼっちの共鳴
