2012-11-01から1ヶ月間の記事一覧

Flawfinderを試す。〜セキュアコーディングを目指して〜

はじめに コーディング中に、バッファオーバフローをどうやって未然に防ぐか。 Flawfinderというツールがあるとわかったので、試してみた。 インストール sudo apt-get install flawfinder サンプルソース 本家にあるサンプルソースに対し、ツールを実行して…

Helgrindのサンプルを試す

はじめに マルチスレッドでプログラムを動かすことが多くある。性能向上のために。Helgrindは、マルチスレッドでのバグを発見するために使用するツールである。今回は、このツールを動かす。簡単なサンプルを使用して。今回使用したサンプルはこちら。なお、…

FlawFinderを試す。〜セキュアコーディングを目指して〜

はじめに コーディング中に、バッファオーバフローをどうやって未然に防ぐか。 Flawfinderというツールがあるとわかったので、試してみた。 インストール sudo apt-get install flawfinder サンプルソース 本家にあるサンプルソースに対し、ツールを実行して…

Electric Fenceを試す。

はじめに メモリ系のバグには、問題点を発見するまでに苦労する。早期発見にツールを活用できればと思い、Electric Fenceを試してみた。 今回のサンプルはこちら 問題のあるソース 下記ソースは、サイズが2である配列を動的に確保し、存在しない3つ目の配…

pthread_cancelを試す。

はじめに メインスレッドから生成したスレッドを途中で終了させるにはどうするのかを調査中、pthread_killが使えることがわかったが、 【POS44-C. シグナルを使用してスレッドを終了しない】 では、pthread_cancelを使用せよとあった。使ったことがないので…