C/C++の静的解析ツール・事例まとめ - 簡潔なQ
C/C++の静的解析は、どう考えても大変なんだけどどう考えても需要が高いので、やはり色々なソフトウェアや事例があるようだ。まとまった情報が欲しいけど見つからなかったので自分の調べた範囲でまとめることにした。 他にも耳寄りな情報があったら教えてほしい。 静的解析を行うことができるソフトウェア 調べてみると結構たくさんある。それぞれの特徴とかあまりよくわからない。 (個人的には、とりわけ網羅的な形式的検証ができるツールの性能に興味があるので、それを中心に集めていたが、やはり網羅的とは限らないで探すともっとたくさん見つかるようだ。もちろん網羅性にはトレードオフがある) Frama-C …… C言語に形式手法を適用するための汎用のフレームワークで、静的検証のためのプラグインも多数(WPとかValueとか)存在する。網羅的な検証から発見的な手法、動的な手法まで様々ある。研究で使うのに便利そう Ast
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が、機能面では不満が
STL Error Decryptor for C++
STLFilt: An STL Error Message Decryptor for C++ Open Source Freeware by Leor Zolman, Supporting: Comeau C++ gcc 2.95.x/3.x/4.x (Dev-C++ compatible) MSVC++ 6/7/8/9 (incl. Dinkum Libraries) Metrowerks CodeWarrior Pro 7/8 Borland C++ / C++Builder Intel C++ 7/8 EDG Front End (Generic) Digital Mars C++ Please Note: Active Development on STLFilt has ended. The author sincerely hopes the C++ Standards Co
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)
ソースコード品質評価ツール Adqua（アドクア） | 株式会社オージス総研
ソースコードの健康診断、していますか？ ソフトウェアの静的解析ツールやメトリクスを有効活用していますか？ Adquaは、QAC/QAC++のデータを活用して、手軽に、客観的なソフトウェア品質診断ができるツールです。 『Adqua』は、組み込みソフトウェアの品質を定量的に評価できるツールです。具体的には、ソフトウェアを「信頼性」「効率性」「保守性」「移植性」「再利用性」の5つの品質特性の観点で得点化します。得点化した評価結果はHTML形式のレポートで出力されます。レポート上のリンクを辿っていくことで問題のある要素を容易に特定することができます。また、要素間の依存関係を解析し、DSM（Dependency Structure Matrix）をCSVファイルとして、UMLモデル定義をXMIファイルとして出力します。これにより、依存関係の複雑さを可視化し、設計レベルにおける問題発見や改善に活用する
入門ガイド — 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 は，各テストを異なるオブジェクト上で実行することによって
革命の日々！ 静的解析ツール
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 も試して見たけど、確か
tokuhirom blog
Blog Search when-present<#else>when-missing. (These only cover the last step of the expression; to cover the whole expression, use parenthesis: (myOptionalVar.foo)!myDefault, (myOptionalVar.foo)?? ---- ---- FTL stack trace ("~" means nesting-related): - Failed at: ${entry.path} [in template "__entry.ftlh" at line 3, column 25] - Reached through: #include "__entry.ftlh" [in template "entry.ftlh" at
2008-03-22 - 兼雑記 [Misc] gold
が出たらしいのでインストールしてみた。 http://sourceware.org/ml/binutils/2008-03/msg00162.html gold はたぶん Google 内で GNU binutils に突っ込む予定で開発されてたリンカで特徴は ELF 以外を忘れたので速いっていう。でまぁ binutils に実際入ってるから cvs co の仕方 とか見てインストールしてみたら入った。 とりあえず sdmkun とかリンクしてみた。 GNU ld: /usr/bin/ld --eh-frame-hdr -m elf_x86_64 --hash-style=both -dynamic-linker - 0.12s user 0.07s system 93% cpu 0.206 totalgold: /usr/local/bin/ld --eh-frame-hdr -m el
![2008-03-22 - 兼雑記 [Misc] gold](https://cdn-ak-scissors.b.st-hatena.com/image/square/988d92914df20ab78ef7bd9c7168c49062ca1ece/height=288;version=1;width=512/https%3A%2F%2Fogimage.blog.st-hatena.com%2F12704346814673860805%2F8454420450066433535%2F1411772652)
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
静的解析 | 静的解析・単体テストツール C++test | テクマトリックス株式会社
cqual freecode日本語情報ページ - OSDN
Cppcheckで静的解析して、Jenkinsで表示してみる。 · Futurismo
https://uncrustify.sourceforge.net/default.cfg
cppcheck 日本語マニュアル | 一人ぼっちの共鳴