SRecord 1.65
The SRecord package is a collection of powerful tools for manipulating EPROM load files. It was written by Peter Miller and continues to be maintained by Scott Finneran. This website, very much a product of its time is kept as close as possible to Peter's original in memoriam. I wrote SRecord because when I was looking for programs to manipulate EPROM load files, I could not find very many. The on
静的解析 | 静的解析・単体テストツール C++test | テクマトリックス株式会社
近年の大規模・複雑化したプログラムにおいて、不具合の検出はますます困難になっています。 特にオーバーフローや未初期化変数の使用などのバグは、致命的な不具合につながるだけでなく、それに加えて複数のファイルにまたがる「特定のパス」を実行した時にのみ発生することもあり、デバッグでの検出には労力を要します。 さらに、どんなに時間をかけても目視によってすべての実行パスを検証することは、現実的ではありません。 静的解析ツールC/C++testでは、このような致命的なバグが潜んでいる場合でも、静的解析の「フロー解析」機能で、プログラムのあらゆるパスをシミュレートし、バグを早期に発見します。また、ソースコード品質の底上げに貢献する「コーディング規約チェック」機能を搭載しているため、バグの作りこみを抑制し、ソースコードの可読性と保守性を強化します。 静的解析とは静的解析は、ソフトウェアの解析手法の一種で、コ
Valgrindの結果の見方、日本語訳、など役に立つことまとめ - 結果だけでなく過程も見てください
勉強がてらメモ。 適宜更新していこう。うん。 Valgrindって？ デバッグやプロファイラなどの複数のツールから構成されるツール群の総称。 メモリリークチェックツールとして有名だと思いますが、 それはValgrindツール群の中のMemcheckというツールによる機能だったのですね。 どんなツールがあるのか？マニュアルを見ると・・・ Memcheck 言わずと入れたメモリエラー検出ツール。特にC/C++に向いている。リークチェックやバッファーオーバーランなどね。 Cachegrind プログラムのキャッシュグラフ、または分岐予測をしてシミュレートする。プログラムを速くするために使うツール。 Callgrind 関数呼び出しをトレースしたりできる。Cachegrindをかぶる部分もあるが、Cachegrindとは別の情報も収集できる。 Helgrind マルチスレッドのプログラム向け。スレ
メモリーリークの検出：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つきでコ
Red Hat Enterprise Linux Technology Capabilities and Limits - Red Hat Customer Portal
What can Red Hat® Enterprise Linux® do? Find out in this chart of the supported and theoretical limits of the platform. This article provides information for releases of the operating system that are currently maintained. For information on older, retired releases that are no longer maintained, please consult the companion knowledgebase article entitled Red Hat Enterprise Linux Technology Capabili
いますぐ実践! Linuxシステム管理
「いますぐ実践! Linux システム管理」はこちらです。 メルマガの解除、バックナンバーなども、以下からどうぞ。 https://www.usupi.org/sysad/ (まぐまぐ ID:149633) その他、作者に関するページは、概ね以下にございます。 https://www.usupi.org/kuri/ (まぐまぐ ID:126454) http://usupi.seesaa.net/ (栗日記ブログ) https://twitter.com/kuriking/ (twitter) https://facebook.com/kuriking3 (facebook) https://jp.pinterest.com/kuriking/pinterest) https://www.instagram.com/kuri_king_/ (instagram) [バックナンバーのトップへ
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
革命の日々！ 静的解析ツール
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 も試して見たけど、確か
1
リリース、障害情報などのサービスのお知らせ
最新の人気エントリーの配信
j次のブックマーク
k前のブックマーク
lあとで読む
eコメント一覧を開く
oページを開く
ニコニコ動画（Re:仮）
Cppcheckで静的解析して、Jenkinsで表示してみる。 · Futurismo
cppcheck 日本語マニュアル | 一人ぼっちの共鳴