log.utashiro.com

片肺運転

Kazumasa Utashiro — 2008-07-01T16:50:36+09:00

Macbook Air の CPU が1つしか動いていない。
そんあことがあると噂には聞いていた。今までは大丈夫だったのだが…

Time Capsule が見えなくなる

Kazumasa Utashiro — 2008-05-27T17:59:31+09:00

Time Capsule を起動した直後は普通に使えるのだが、しばらくすると無線LANセグメントから見えなくなって、Time Machine が使えなくなってしまう。

基地局としては動いているし、もちろん IP 的にも使える。有線セグメントであれば Time Machine も使えるし、管理ユーティリティからも見える。

どうも、無線LANセグメントでは Bonjour 的に見えなくなってしまうみたいなのだ。なんでかなー

Time Capsule を 1G で使う

Kazumasa Utashiro — 2008-05-26T09:56:49+09:00

G4 cube がさすがに限界になってきたので、iMac を導入した。1G Ether でつないで Time Capsule を使ってみると、ピークで大体 10MB/sec 程度の転送量だ。

Macbook Air を 100M でつなぐと 8MB/sec だったが、この違いはネットワークの限界なのか、CPU やディスクの性能によるものか判断できない。

Time Capsule と 802.11n

Kazumasa Utashiro — 2008-05-13T00:02:22+09:00

TIme Capsule (1T) を買ったので、Time Machine で MacBook Air のバックアップをとってみている。

11n でやっていたらどうも時間がかかるので、途中でやめて 100M Ether に変更してみた。

それまで、ピークで 2MB/s だった転送速度が 8MB/s 程度になったので、実効速度は約4倍程違うということか。やはり、100M でも有線の方がだいぶ速いようだ。

11n は、100Mbps 超の通信速度が出るらしいので、基本的な性能は 100BASE-TX に匹敵するのだろう。実環境での通信速度の違いは全二重と半二重の違いによるものではないかと推測する。

5000個パケットを送る間に、3000個も帰ってくるんだからさもあらん。もすこし、プロトコルを工夫することはできないものか。

伊東かおりさん当選

Kazumasa Utashiro — 2008-04-28T01:26:05+09:00

総務省を辞めて倉敷市長に立候補していた伊東香織さんが見事当選した。これを接戦というのかどうかよくわからないけど、圧勝ではなかったことは確かだ。総務省時代に縁もあった伊東さんは応援していたし当選して嬉しいし是非頑張ってもらいたいが、半数以上の投票者は別の候補者に投票していたということを忘れちゃいけないんだろうなと思う。

帰納と演繹は Air に関係あるのか

Kazumasa Utashiro — 2008-01-20T21:39:13+09:00

リンク: 永井孝尚のMM21 > MacBook Airの「演繹法的発想」開発手法は、ビジネス分野でも参考とすべき : ITmedia オルタナティブ・ブログ.

難しいことはわからんけど、修正して帰納法と演繹法を逆にしたことで、記事の内容が台無しになっている気がするのは僕だけだろうか？

元の文章には細かい部分は抜きにしてノリとしては共感できるのに…

emobile D02HW は使えるのか、使えないのか? (なんだそうなのか)

Kazumasa Utashiro — 2007-12-27T14:25:36+09:00

リンク: log.utashiro.com: emobile D02HW は使えるのか、使えないのか? (反撃に遭う)

散々苦労させられたが、なんのことはない、専用ユーティリティは起動する必要がないことがわかった。普通にモデムの接続コマンドでつながるじゃないか。

emobile D02HW は使えるのか、使えないのか? (反撃に遭う)

Kazumasa Utashiro — 2007-12-27T02:40:01+09:00

リンク: log.utashiro.com: emobile D02HW は使えるのか、使えないのか? (続)

kill -CONT したら OS を巻き添えにして死んだ。オヌシやるな…

emobile D02HW は使えるのか、使えないのか? (続)

Kazumasa Utashiro — 2007-12-26T14:01:47+09:00

リンク: log.utashiro.com: emobile D02HW は使えるのか、使えないのか?

相変わらず CPU を40%使い続けるので、頭にきて kill -STOP してやった。

ザマミロ!

emobile D02HW は使えるのか、使えないのか?

Kazumasa Utashiro — 2007-12-25T17:35:53+09:00

今日から emobile の D02HW を使い始めた。環境は PowerBook G4 15" (1.67GHz) で、OS は Mac OS 10.4.11。

一応は使えているのだが、いろいろと問題があるようだ。

まず、インストールした時に使っていたネットワークを指定しないと使えない。違うネットワークでユーティリティを起動すると、すぐに落ちてしまう。バグですね。後で変更できればいいのだが、今のところうまくいっていない。マニュアルに記載されている設定を手動で入れても動作しない。もう少し試してみる必要あり。

より重大な問題だと思われるのは、接続ユーティリティが CPU を使いまくること。何もしてなくても、常に CPU の 30% から 40% を使い続ける。アプリを終了すると接続は切れる。今はAC電源がつながっているからいいが、バッテリー駆動だったら一体どうするというのか。試しに電源ケーブルを抜いても変わりはない。

なんで、こんなひどいソフトを作れるのか理解に苦しむ。

マニュアル上のサポートバージョンは 10.4.10 までだが、多分関係ないと思う。

ブースターロック

Kazumasa Utashiro — 2007-10-13T00:00:00+09:00

国産の子供用自転車と違って、プジョーの自転車には鍵がついていない。
簡単なのはチェーンロックだが、小学生には扱いにくそうな気がして固定式の鍵がないかと探してみると、crops というメーカーの「ブースターロック」がなかなかイカシテルので通販で購入。もう20年以上も前になるが、1986年に初めてアメリカに行った時、バークレーで見かけた KRYPTONITE の鍵が気に入って、出張中に自転車屋を探しまわって手に入れたのを思い出す。

これは、ロックしたところ。

走行中は、こんな風に横に固定することができる。

見てわかるように、Vブレーキの台座の部分に固定するようになっている。カンティにも使用できる。

名前の「ブースター」が何かわからなかったが、ブレーキを補強するパーツをブレーキブースターというのだそうだ。ブレーキの鳴りを防止したり、フレームへの負担を軽減する効果があるらしい。この製品は、そのブレーキブースターとロックの機能を併せ持った優れものなのだ。

装着前のパッケージはこんな感じ。

スコーピオンのキーもカッコイー。

楽天のナチュラムという店で買ったのだが、今はシルバーしか残ってないみたいだ。色は、ブラック、シルバー、オレンジの3色。

ただし、欠点もある。普通の鍵との最大の違いは、走行時にキーを抜かなければならない点だろう。キー式のワイヤー錠も同様だが、キーを持って行くのを忘れるとロックできない。普通の自転車用の鍵を MTB に付けるタイプのものもある。なぜか探した中では東急ハンズが一番安く、1680円くらいだった。ただ、見た目がイマイチなのだ。

それと、操作はやはり面倒。特に、子供用に装着するとスポークに対してロックが斜めになってしまい、着脱時にスポークが邪魔になる。嫌がるかと思ったが、見た目がいいのでそのくらいのことは苦にならないようだ。

3台目のプジョー

Kazumasa Utashiro — 2007-10-11T12:00:00+09:00

我が家に3台目のプジョーがやってきた。
1台目は息子1号の自転車。2台目は 307cc。3台目は息子2号用。前の自転車は普通に自転車屋で買ったのだが、プジョーは何年か前に普通の自転車販売から撤退して今はプジョー販売店のみで扱っている。いろいろあった末、結局車と同じ目白店で購入。当然のことながら在庫はないので、しばらく待たされる。入荷したというので 307cc で引き取りに行くといったら、絶対乗らないからと言って、営業さんが 307sw で配達してくれた。

BLACK & SILVER for Kids: 選択肢は1つしかないので悩む必要はないのだ。国産だと2万5000円くらいで買えるので4万円とちょい高めだが、まあ許容範囲か。
3台並べるとこうなる。

Real UNIX MAGAZINE day

Kazumasa Utashiro — 2007-10-09T00:35:29+09:00

ユニマガクラシックの発売を記念して 11/3 に Real UNIX MAGAZINE day というシンポジウムが開催されます。

案内と申し込みはこちらからどうぞ。

基調講演には、おそらく日本最古かつ現役ハッカーの和田先生と、本職は画家だと言いながらも国内での UNIX の普及に大きく貢献した岸田孝一さんにお願いしてます。

それ以外は、ライトニングトーク形式で多くの方々にいろんな話をしてもらうことになっています。俺にも話させろというのも多分ありなので、そういう人は事務局にねじ込んでください。

また、ビンテージコーナーと称して、参加者が懐かしいアイテムを持ち寄って展示する企画もあるので、これぞと思うものをお持ちの方は是非持って来て自慢しましょう。

僕は、James Gosling のサイン入りの X10R3 のマニュアルを持って行こうかなあと思っています。これは、1986年に Sun Microsystems に行った際に、Gosling のところに押し掛けて X Window について教えてもらった時にもらったもの。その時は何も知らなかったのだけど、当時、彼は CMU での Andrew Window Manager の成果を基に Sun で新しいウィンドウシステムを開発するために引き抜かれていたんですね。結局成功しなかったけど後の NeWS ね。で、NeWS の最大のライバルはもちろん X だったわけだ。だから、彼のところに行って X Window について質問するというのは、今から考えるととても失礼なことだったような気がするのです。でも、親切に教えてくれてサイン入りのマニュアルをくれた Gosling は心優しい人だったのだ。という背景を知って眺めると、なかなかに感慨深いアイテムなのです。

携帯宛の迷惑メールが増えている

Kazumasa Utashiro — 2007-10-02T15:16:43+09:00

6月に端末を P904i に換えたらメールに「ゴミ箱」ができたので、スパムはまめにそこに移動している。
9月末からスパムが増えたような気がするので、ゴミ箱に溜まっているメールを数えてみると確かに増えてますね。中身は出会い系が中心。
機種を換えた直後にも増えたような気がしたので、絶対ショップから漏れたと思っていたのだが、これは一ヶ月程で沈静化ている。しかし、これまではインターネットからのメールをすべて許可していたのを、指定したドメインのみ受け取るように変更したような気がする。
1日に30通以上送られちゃかなわんと思っていたのだが、その後少し落ち着いているようだ。他にも、結構フィルタをかけているので (たとえば ezweb からのメールは受け取らない)、何もしないと大変かもしれない。

UNIX MAGAZINE Classic with DVD

Kazumasa Utashiro — 2007-09-04T15:02:33+09:00

ユニマガクラシックが 9/18 についに発売されますよっ！
内容と制作の苦労を考えると18000円は安い。
これでバックナンバーを処分できるか。

sl コマンド

Kazumasa Utashiro — 2007-04-07T11:01:08+09:00

最近、なぜか sl コマンドのことが話題になる。探してみると1997年に社内向けに書いた記事があったので載っけておこう。

懐かしのＳＬ…

過日、何年ぶりかで fj.unix を覗いてみると、sl コマンドが話題になっている。と言ってもわからない人が多いだろうから説明しよう。 Unix に、ls というコマンドがあって、ファイル名のリストを表示するために使われる。MS-DOS の dir に相当するもので、文字端末を主なユーザインタフェースとして使用する Unix では、頻繁に利用される一般的なコマンドである。ところが、急いで入力していると、たまに右手と左手の同期に失敗して、ls と打とうとしたところが sl と打ってしまうことがある。普通の Unix には sl などというコマンドは存在しないので、

sl: Command not found.

というエラーが表示される。このとき sl というコマンドが本当にインストールされているとそれが実行されるのであるが、何が起こるかというと、画面の右から汽車の絵が現れて、それが画面を横切って左から去って行く。当人は、ls コマンドを実行したつもりでいるので、何が起こったのかわからず呆然とその汽車が走り去るのを見送ることになる。

説明するまでもなく、sl とは SL すなわち Steam Locomotive を意味しているのだが、意外な登場の仕方をするために、その関連を理解するのにしばらくの間、ともすると数日間もかかって、理解した時に思わず苦笑してしまう、というのがこのコマンドの狙いである。

さて、この sl コマンド、実は僕が10年ほど前に fj.sources に投稿したものである。 JUNET が立上りはじめの時期で、まだ日本語での記事の形式も確立していなかったころだ。 fj での話では、今となっては誰が作ったのかわからない謎のプログラムということになっているので、謎のままにしておくのがよかろう。某書で Shift JIS の考案者であることを暴露されてしまった某氏も、余計なことをするもんだと思っているに違いない。

実を言えば sl コマンドの発想はオリジナルではない。それ以前に職場の先輩が、csh の alias 機能を使ってやはり sl というコマンドを作っていた。当時は VT100 というキャラクタ端末 (もちろん日本語など表示できない) が全勢の時代であり、その VT100 の制御文字列を使って、列車に見立てた文字列がコマンド入力行の右端から現れてプロンプトのところに到着するような仕様だったと思う。ログインし忘れて帰る迂闊者は .cshrc にその alias を入れられるという刑にあう。ひどい場合には、プロンプトがその sl の出力に置き換えられ、コマンドを実行する度に列車が帰って来るのを待たねばならない。当時は端末と言っても 9600bps での接続なので、極めてのんびりとした運行である。

思うに、当時こういうくだらないプログラムが周りには溢れていた。別の先輩が社員旅行に行った時に作ったという「グァムの想い出」というプログラムは、起動すると楕円形を崩したような図形が画面一杯に表示され、それがもぞもぞとうごめくというものだ。ナマコなのである。文字端末なのでリアリティには欠けるため、説明を聞かないとわからないが、文字だけの表現が妙に想像力をかきたてる。後日、X ウィンドウが普及したころ、この人がやってきて見せてくれたプログラムは、正方形が不規則な周期で大きくなったり小さくなったりを繰り返すというものだった。何かと尋ねると、1/f ゆらぎだという。人間の想像力の前には、ビットマップディスプレイというテクノロジーはその程度の意味しか持たない。

最近感じるのは、このような余裕というか、遊び心というか、そんなものが少なくなっているんじゃないかということである。多分いくつか理由があるんだろう。歳をとったために最近の遊びの感性について行けなくなったのだろうか... これはあまり認めたくない。みんな忙しくて遊ぶ暇がないのか。そんなことはない。忙しいからという理由でできない遊びなど、時間ができたところでできるものではない。以前、ある友人が「コーヒー消費量不変の法則」というのを提唱した。計算機が計算しているのを待つ間ユーザはコーヒーを飲むが、処理速度が速くなったからといってコーヒーの消費量が減るかというとそんなことはなく、いつの時代も所詮人間がコーヒーを飲むのに適当なだけ計算機の時間を使うのだ、という法則である。サラリーマンの仕事量も時代によって変化しない。

物事が複雑になりすぎたということはあるのだろう。 Version 6 の Unix は、わずか6000行だった。ソースコードがあったところで、今の BSD では読もうという気にならないのもわかる。とは言え、やはりつまるところ気持ちの問題であろう。遊ぶための題材なら今の方が格段にたくさんあるのだ。上で紹介したようなプログラムの話を聞いて、何の役に立つのかという疑問を抱いたら、もう駄目だ。思っても言わないのではなく、思い付きもしないようにならないといけない。役に立たないものも作れないのに、役に立つものが作れるものか。

(この写真は当時4歳くらいの長男が Centoris 650 で遊んでいるところ。マウスを横向きにして使っている。隣には Big NEWS が置いてある。)

冬支度 3

Kazumasa Utashiro — 2006-12-01T00:00:00+09:00

キャリアと同時にラゲッジマットも導入。

ゴムな感じかと思ったら、意外に樹脂な造りなのだ。

ネットも使えるのだが、若干手前部分にストレスがかかって、いずれもっと変形してくるのではないかという予感。ネットの付け外しはしにくい。

最大の問題は可動部分のスクリーンがなくなったこと。この部分は、ルーフをオープンにする時に動いて開口してしまうので、その部分にスクリーンがついている。しかし、ラゲッジマットを載せると動作に支障があるためか、スクリーンがはずされてしまった。荷物を満載している時にルーフの開閉をすると、この部分に荷物が挟まってしまう可能性がある。案の定デイパックのハーネスが挟まるという事件が起きた。
　おそらく水が溜まるような荷物は載せないので、マットの手前部分をカットしてしまおうかとも思っているのだ。

冬支度 2

Kazumasa Utashiro — 2006-11-30T00:00:00+09:00

タイヤをスタッドレスに交換。走行距離 5700km。ディーラーお勧めのブリジストン Blizzak REVO1 205/55R16。サイズは標準のものと同じ。少し狭い方がいいかとも思ったけど、大差ないというので同じにした。ホイールは標準のものに装着。ノーマルタイヤを17インチにしようかとも思っているが、春になってから考えよう。チェーンも買おうとしたら、ショップの店員はクリアランスが小さくて厳しいという。持ってても使ったことはないので、なくてもおそらく困りはしないのだが、どうしようか思案中。

2004-2006 ３年間のウイルス傾向

Kazumasa Utashiro — 2006-11-22T12:33:27+09:00

　9月に会社のウイルスフィルタの設定が変わって、ウイルスを除去したメールが配送されなくなった。そのため統計データがとれなくなったので、今までのデータを処理してみた。グラフは「個人宛」に届いた一日あたりのメールの数。一番下の水色の部分がフィルタでウイルスと判定されなかったメールで、それ以外はすべてウイルス。
　見れば明らかなようにウイルスの数は順調に減っている。2004年には、定常的に一日あたり15000通近くのメールが届いていたが、今年は3000通程度まで落ちた。
　ウイルスの活動が活発な時期には、フィルタされないメールの数も増えているが、これは僕が送ったウイルスメールによって発生した送信エラーが返ってくるため。もちろん実際に送るはずはなく、差出人として詐称されているのである。
　2004年に突出した部分があるのは、毎週月曜日になると NETSKY.Q (青) が４万通送りつけてきたため。ただし、これには時限があったのでその後ぴたりと止まった。
　NETSKY がはじまる前の山は MYDOOM。フィルタがまにあわず、最初の数日間はそのまま配送されている。この時は随分ひどいウイルスだと思ったが、その後の NETSKY に比べれば可愛いものだった。ちゃんと時期が来たら終わったし。
　結局、届いているウイルスのほとんどは NETSKY。HTML_Netksy.P (赤) と WORM_NETSKY.P (緑) は、フィルタの出力がちょっと違うだけで、多分同じものではないかと思う。今年の5〜6月あたりにフィルタの仕様が変わったらしく、一時期両者を同じにとりあつかっている。全体を通じて半分以上は NETSKY.P なのだ。残りの大半は D (黄) と Q (青)。

11位でした

Kazumasa Utashiro — 2006-11-22T11:45:00+09:00

リンク: Yahoo!ニュース - ランキング
残念ながら11位とベストテン圏外。来週は難しいかな。「まるごとPerl」が、なぜかランクインしている。そういや、自分で書いた記事もまだ読んでなかった。

１位ならず！

Kazumasa Utashiro — 2006-11-15T11:40:27+09:00

リンク: Yahoo!ニュース - ランキング

「C/C++ セキュアコーディング」今週も2位でした。残念。1位は Binary Hacks。僕も買いました :-)。

ちなみに、アマゾンでは2531位。おー、セットでお勧めされている。下はアマゾンの画像をコピペしただけなので、クリックしても購入はしません。

セキュアコーディング第２位

Kazumasa Utashiro — 2006-11-10T17:48:24+09:00

書泉グランデコンピュータ関連書籍ランキング

書泉グランデ第２位です。発売日より前だから、数日しか並んでないだろうということを考えると優秀。

昨日と今日は、著者の Robert Seacord さんを呼んでセミナーを開催しました。アンケートを見ると、評判も上々な気がします。
お、Amazon でも935位になってる。すごいじゃないか。

冬支度

Kazumasa Utashiro — 2006-10-31T00:58:59+09:00

以前取り付けに失敗したキャリアを再度取り付けてもらったのだが、またしても失敗。うまく取り付けられないので、指定位置からずらして取り付けたということだが、横方向のテンションがかからずにずれてしまう。取り付けてしばらく走行することで、キャリアやゴムが馴染んで余裕ができたのではないかと思う。本来の位置に戻すことでやっと良好な状態になった。

スキーキャリアも装着して、試しに板を積んでみる。

息子１号の板は問題なかったが、なんと自分の板が積めない。この板には CarverWood なるデバイスが付いていて、これがキャリアの間隔よりも大きいのだ。仕方がないので、はみ出る部分をのこぎりでカット。もっとも、この CarverWood、師匠の勧めで付けたが、これが必要な程のターンはできないのであまり役に立っていない。重いし、ストッパーも届かないので外したいくらいなのだが、それより新しい板を買った方がよさそうだ。

ちなみに後方視界はこんな感じ。思った程悪くない。

『C/C++セキュアコーディング』発売です

Kazumasa Utashiro — 2006-10-18T12:00:52+09:00

JPCERT/CC の連中と翻訳していた『C/C++セキュアコーディング』が Amazon で予約可能になってます (なんと1896位だっ!)。出版予定は 11/6。協力して頂いた方々、ありがとうございました。Cのプログラマはもちろんなんですが、基本的な仕組みがきっちり解説してあるので、案外コンピュータアーキテクチャの勉強にもなると思いますよ。普通の教科書で勉強するよか面白いかも。

また、この本の著者である Robert C. Seacode (すごい名前でしょ :-)　さんを呼んで行うセミナーの受け付けも始まってます。26日まで早期割引受付中。
http://www.jpcert.or.jp/seminar.html

目次はこんな感じです。
↓

序文

本書について

前書き
- 想定している読者
- 構成と内容
- 謝辞

著者について

第1章今そこにある危機
- 1.1 現状認識
  - 1.1.1 被害規模
  - 1.1.2 攻撃主体
  - 1.1.3 ソフトウェアセキュリティ
- 1.2 セキュリティの概念
  - 1.2.1 セキュリティポリシー
  - 1.2.2 セキュリティ上の問題
  - 1.2.3 脆弱性
  - 1.2.4 攻撃コード
  - 1.2.5 緩和策
- 1.3 C と C++
  - 1.3.1 簡単な歴史
  - 1.3.2 C 言語の問題点
  - 1.3.3 レガシーコード
  - 1.3.4 その他の言語
- 1.4 開発環境
  - 1.4.1 オペレーティングシステム
  - 1.4.2 コンパイラ
- 1.5 まとめ
- 1.6 参考資料

第2章文字列操作
- 2.1 文字列の特性
  - 2.1.1 C++ における文字列
- 2.2 犯しやすい文字列操作の間違い
  - 2.2.1 無制限文字列コピー
  - 2.2.2 オフバイワンエラー
  - 2.2.3 NULL 終端エラー
  - 2.2.4 文字列の切り捨て
  - 2.2.5 関数なしの文字列エラー
- 2.3 文字列の脆弱性
  - 2.3.1 セキュリティ上の欠陥
  - 2.3.2 バッファオーバーフロー
- 2.4 プロセスのメモリ構造
  - 2.4.1 スタック管理
- 2.5 スタック破壊
- 2.6 コードインジェクション
- 2.7 アークインジェクション
- 2.8 脅威の緩和方法
  - 2.8.1 予防
  - 2.8.2 文字列ストリーム
  - 2.8.3 検出と回復
  - 2.8.4 カナリー
- 2.9 代表的な脆弱性
  - 2.9.1 リモートログイン
  - 2.9.2 Kerberos
  - 2.9.3 Metamail
- 2.10 まとめ
- 2.11 参考資料

第3章ポインタ偽装
- 3.1 データロケーション
- 3.2 関数ポインタ
- 3.3 データポインタ
- 3.4 命令ポインタの変更
- 3.5 グローバルオフセットテーブル
- 3.6 .dtors セクション
- 3.7 仮想ポインタ
- 3.8 atexit() と on_exit()
- 3.9 longjmp() 関数
- 3.10 例外処理
  - 3.10.1 構造化例外処理
  - 3.10.2 システムデフォルト例外処理
- 3.11 脅威の緩和方法
  - 3.11.1 W^X
  - 3.11.2 カナリー
- 3.12 まとめ
- 3.13 参考資料

第4章動的メモリ管理
- 4.1 動的メモリ管理
- 4.2 動的メモリ管理に発生する間違い
  - 4.2.1 初期化
  - 4.2.2 戻り値検査の誤り
  - 4.2.3 解放済みメモリの参照
  - 4.2.4 メモリの多重解放
  - 4.2.5 メモリ管理関数の不適合
  - 4.2.6 スカラと配列の識別間違い
  - 4.2.7 割り当て関数の誤った使用
- 4.3 Doug Lea メモリアロケータ
  - 4.3.1 メモリ管理
  - 4.3.2 バッファオーバーフロー
  - 4.3.3 二重解放の脆弱性
  - 4.3.4 解放済みメモリへの書き込み
- 4.4 RtlHeap
  - 4.4.1 Win32 のメモリ管理
  - 4.4.2 RtlHeap のデータ構造
  - 4.4.3 バッファオーバーフロー
  - 4.4.4 再びバッファオーバーフロー
  - 4.4.5 解放済みメモリへの書き込み
  - 4.4.6 二重解放
  - 4.4.7 索引テーブル
- 4.5 脅威の緩和方法
  - 4.5.1 NULL ポインタ
  - 4.5.2 一貫したメモリ管理
  - 4.5.3 ヒープの完全性検査
  - 4.5.4 phkmalloc
  - 4.5.5 ランダム化
  - 4.5.6 ガードページ
  - 4.5.7 OpenBSD
  - 4.5.8 実行時解析ツール
  - 4.5.9 Windows XP SP2
- 4.6 代表的な脆弱性
  - 4.6.1 CVS バッファオーバーフローの脆弱性
  - 4.6.2 Microsoft データアクセスコンポーネント
  - 4.6.3 CVS サーバの二重解放
  - 4.6.4 MIT Kerberos 5 における脆弱性
- 4.7 まとめ
- 4.8 参考資料

第5章整数演算
- 5.1 整数型
  - 5.1.1 整数の表現形式
  - 5.1.2 整数の型
  - 5.1.3 整数の範囲
- 5.2 整数の変換
  - 5.2.1 整数の格上げ
  - 5.2.2 整数変換順位
  - 5.2.3 符号なし整数型からの変換
  - 5.2.4 符号付き整数型からの変換
  - 5.2.5 符号付き文字と符号なし文字
  - 5.2.6 通常の算術型変換
- 5.3 整数のエラー条件
  - 5.3.1 整数オーバーフロー
  - 5.3.2 符号エラー
  - 5.3.3 切り捨てエラー
- 5.4 整数演算
  - 5.4.1 加算
  - 5.4.2 減算
  - 5.4.3 乗算
  - 5.4.4 除算
- 5.5 脆弱性
  - 5.5.1 整数オーバーフロー
  - 5.5.2 符号エラー
  - 5.5.3 切り捨てエラー
- 5.6 非例外的な論理エラー
- 5.7 脅威の緩和方法
  - 5.7.1 範囲検査
  - 5.7.2 強い型付け
  - 5.7.3 コンパイラによる検査
  - 5.7.4 安全な整数演算
  - 5.7.5 任意精度演算
  - 5.7.6 検査
  - 5.7.7 ソースコード監査
- 5.8 代表的な脆弱性
  - 5.8.1 XDR ライブラリ
  - 5.8.2 Windows DirectX MIDI ライブラリ
  - 5.8.3 Bash
- 5.9 まとめ
- 5.10 参考資料

第6章書式指定出力
- 6.1 可変引数関数
  - 6.1.1 ANSI C 標準引数
  - 6.1.2 UNIX System V の Varargs
- 6.2 書式指定出力関数
  - 6.2.1 書式指定文字列
  - 6.2.2 長さ修飾子
  - 6.2.3 GCC
  - 6.2.4 Visual C++ .NET
- 6.3 書式指定出力関数への攻撃
  - 6.3.1 バッファオーバーフロー
  - 6.3.2 出力ストリーム
  - 6.3.3 プログラムの異常終了
  - 6.3.4 スタック内部の調査
  - 6.3.5 メモリ内容の調査
  - 6.3.6 メモリの上書き
  - 6.3.7 国際化
- 6.4 スタックのランダム化
  - 6.4.1 ランダム化スタックの回避
  - 6.4.2 連続ワードへのアドレス書き込み
  - 6.4.3 直接引数アクセス
- 6.5 脅威の緩和方法
  - 6.5.1 静的な内容を動的に使用する
  - 6.5.2 書き込みバイトの制限
  - 6.5.3 ISO/IEC TR 24731
  - 6.5.4 iostream と stdio
  - 6.5.5 検査
  - 6.5.6 コンパイラによる検査
  - 6.5.7 字句解析
  - 6.5.8 静的汚染解析
  - 6.5.9 可変引数関数の改良
  - 6.5.10 Exec Shield
  - 6.5.11 FormatGuard
  - 6.5.12 Libsafe
  - 6.5.13 静的バイナリ解析
- 6.6 代表的な脆弱性
  - 6.6.1 Washington University FTP Daemon
  - 6.6.2 CDE ToolTalk
- 6.7 まとめ
- 6.8 参考資料

第7章ファイル入出力
- 7.1 並列処理
  - 7.1.1 競合状態
  - 7.1.2 排他制御とデッドロック
- 7.2 諸行無常
- 7.3 ロックファイルとファイルロック
- 7.4 ファイルシステムへの攻撃
  - 7.4.1 シンボリックリンクを利用した攻撃
  - 7.4.2 一時ファイルへの攻撃
  - 7.4.3 unlink() 競合攻撃
  - 7.4.4 ファイル名の信用
  - 7.4.5 一時ファイル名の一意性
- 7.5 脅威の緩和方法
  - 7.5.1 競合ウィンドウを閉じる
  - 7.5.2 競合オブジェクトの排除
  - 7.5.3 競合オブジェクトのアクセス制御
  - 7.5.4 競合検知ツール
- 7.6 まとめ

第8章実践手法
- 8.1 安全なソフトウェア開発のための原則
  - 8.1.1 効率的なメカニズム
  - 8.1.2 フェイルセーフなデフォルト
  - 8.1.3 完全な仲介
  - 8.1.4 オープンな設計
  - 8.1.5 権限の分離
  - 8.1.6 最小権限
  - 8.1.7 共通メカニズムの最小化
  - 8.1.8 心理的受容性
- 8.2 システム品質要求工学
- 8.3 脅威のモデル化
- 8.4 ユースケースとミスユースケース
- 8.5 アーキテクチャと設計
- 8.6 既製ソフトウェア
  - 8.6.1 既存コードに含まれる脆弱性
  - 8.6.2 ラッパー
- 8.7 コンパイラによる検査
- 8.8 入力値の検証
- 8.9 データの無害化
  - 8.9.1 ブラックリスト
  - 8.9.2 ホワイトリスト
  - 8.9.3 検査
- 8.10 静的解析
  - 8.10.1 Fortify
  - 8.10.2 Prexis
  - 8.10.3 Prevent
  - 8.10.4 PREfix と PREfast
- 8.11 品質保証
  - 8.11.1 侵入検査
  - 8.11.2 Fuzzing 検査
  - 8.11.3 ソースコード監査
  - 8.11.4 開発ガイドラインとチェックリスト
  - 8.11.5 第三者によるセキュリティレビュー
- 8.12 メモリ保護
  - 8.12.1 W^X
  - 8.12.2 PaX
  - 8.12.3 データ実行防止
- 8.13 縦深防御
- 8.14 TSP-Secure
  - 8.14.1 計画と工程管理
  - 8.14.2 品質管理
- 8.15 まとめ
- 8.16 参考資料

mg の新機能

Kazumasa Utashiro — 2006-09-28T00:04:41+09:00

変更したのはもう去年のことだが、今使っている mg には、これまでとまったく違う検索機能が追加されている。

mg に限らず grep 系のコマンドでは、検索エンジンのような指定がしにくい。たとえば foo と bar の両方が含まれている行を検索しようとすると案外面倒なのである。普通はパイプを使ってこんな風にするのだろうか。

% grep foo file | grep bar

mg で1回でこれを実行するとすれば、

% mg -e 'foo.*bar|bar.*foo'

という具合か。でも、文字列の数が増えてくるとパターンが極めて複雑になってしまう。

先読みを使うとこんな風にも書ける。

% mg -e '(?=.*foo)(?=.*bar)'

これはこれで、なかなかご機嫌な使い方だ。さらに buz を含まない行を探したければこう書けばいい。

% mg -e '(?=.*foo)(?=.*bar)(?!.*buz)'

しかし、bar と foo を含んで bar を含まないパラグラフを探したいとかいうと、なかなか面倒なのだ。というわけで、それをもっと簡単に指定できる機能を実現してみたのである。最初は必要があって追加した機能だが、その後なかなか使う機会がなくて、リリースに至らずにいる。

EXTENDED PATTERN SEARCH
       Mg  now supports completely new search method.  This feature is invoked
       by -x flag, and then the specified pattern is interpreted in  the  dif-
       ferent manner.

       Pattern  string is treated as a colleciton of tokens separated by white
       space.  Each component will be searched  independently,  but  only  the
       line which contains all of them will be printed.  For examle,

            mg -xp 'foo bar buz' ...

       will print lines which contain all of `foo', `bar' and `buz'.  They can
       be found in any order and/or any place in the string.  So this  command
       find all of following texts.

            foo bar buz
            buz bar foo
            the foo, bar and buz

       If  you  want  to  use  OR  syntax, prepend question (`?') sign on each
       token, or use regular expression in pattern:

            mg -xp 'foo bar buz ?yabba ?dabba ?doo'
            mg -exp 'foo bar buz yabba|dabba|doo'

       This command will print the line which contains all of `foo', `bar' and
       `buz'  and  one  or more from `yabba', `dabba' or `doo'.  Note that you
       need to use -e option to enable regular expression interpretation.

       Please be aware that multiple `?' preceded tokens are treated all mixed
       together.   That means `?A|B ?C|D' is equivalent to `?A|B|C|D'.  If you
       want to mean `(A or B) and (C or D)', use AND  syntax  instead  of  OR:
       `A|B C|D'.

       NOT  operator  can  be  specified by prefixing the token by minus (`-')
       sign.  Next example will show the line which  contain  both  `foo'  and
       `bar' but none of `yabba' or `dabba' or `doo'.

            mg -xp 'foo bar -yabba -dabba -doo'
            mg -exp 'foo bar -yabba|dabba|doo'

       It  is  ok to set plus (`+') sign before positive AND token, but it has
       no effect.

       When executed with -o option, the paragraph which  contains  all  these
       components will be found.  This style is much more usefull, actually.

       You  can't  use  double quote to include white space within each token.
       Separate options are prepared to spcify  each  component  individually;
       --and, --or and --not.  These options can be used multiple times.

            mg --and 'foo bar' --and buz --or 'yabba dabba' --or doo ...

       Long  option --xp is equivalent to the combination of -x and (optional)
       -p options.  Author decided to override single character option -x,  to
       make it posssible using in this way:

            mg -oeiQxp 'foo bar buz' ...

mg の Unicode 対応

Kazumasa Utashiro — 2006-09-27T14:41:43+09:00

リンク: log.utashiro.com: mg-5.0.1.3

ずいぶんと前のブログにコメントすいません。文字が　UNICODEの実体参照になっているテキストファイルはフィルタをかまして検索できるようになるのでしょうか？

実体参照というのは意味がわかりませんが、Unicode には特に対応していないのです。
偶然使える機能はあるのかもしれません。
検索前にフィルタで EUC とかに変換するのであれば -z オプションを使えばできます。

そういえば未リリースの手元のバージョンでは -z は --if オプションに変更されています。
ちょっと修正規模が大きいのでちゃんと整理できていなくてリリースしていません。

普段 MacOS を使っているので使えた方が便利かもしれないとは思っていはいます。でも、単純なテキストファイルはあまりないので、どうせなら XML 対応と一緒かなあという感じです。

sccc: ヘンリー L. メンケン

Kazumasa Utashiro — 2006-09-20T15:44:20+09:00

リンク: sccc: ヘンリー L. メンケン

Evil is that which one believes of others.
It is a sin to believe evil of others, but it is seldom a mistake.
--Henry Lewis Mencken
A Mencken Chrestomathy, Chapter 30, p. 617, Knopf (1949)

の日本語訳を探しているのです。後半については『人間は邪悪なものであると考えるのは罪である。だが、たいていの場合、間違ってはいない。』と訳しているのがいくつか見つかるのですが、前半はないのです。本として出版されていると一番いいので、ご存知の方はお知らせください。

stopped to talk with him

Kazumasa Utashiro — 2006-09-20T00:06:25+09:00

息子1号のところには、たまに進研ゼミからマンガ入りのDMが届く。今回のマンガでは、主人公の女の子が

次の英文を和訳せよ。
I stopped to talk with him.

という問題に対して

彼と話をするのを止めました

と答えて怒られるのだが、さて、これはどこが間違っているのだろうか?
「とめました」と読めば(半ば)間違っているだろうが、「やめました」ならあっているように思う。もちろん台詞にルビはふっていない。それとももっと深い理由があるのだろうか。

と書いたら、さっそく himazu さんからコメントを頂いた。

「話すのをやめました」ならば「stopped talking」としなければならず、「stopped to talk」だと「話すために立ち止まった」となる、と昔習った記憶があります。

なるほど。やばい、中二以下だ。家に帰って「学校出たのかな」をもう一度聴きます。恥ずかしいから、この記事は２日後に削除されるように設定しました :-)。
Seven&Bi-decade

反省して10回聴いた。えくすみゅーずきゅー。

307cc と VTT-105

Kazumasa Utashiro — 2006-08-23T21:03:45+09:00

ついでなので、もう一台の自転車も一緒に。偶然だがプジョーの VTT-105 。主に息子１号が使用。

テールランプはキャットアイのTL-AU200。光センサーと振動センサーが付いていて、暗い時に走り出すと自動的に光ってくれる優れモノ。307cc もオートライトで、暗くなると自動的にヘッドライトが点灯する。雨天時にも点くのでちょっと違和感があるが、どうも点けたいらしいのでそうさせている。

307cc で輪行

Kazumasa Utashiro — 2006-08-21T20:23:21+09:00

ナビ取り付けのためにディーラーに搬入。天気もいいので自転車で帰ろうと思い、307cc にはじめてブロンプトンを積んで出かけた。なかなか奇麗に収まるものである。当たり前だが、オープンのままでは取り出せない。

カバーも問題なく閉じられる。これを閉じないと、屋根は開けられない。

ただし、余裕はほんの少し。メガーヌでは多分入らないだろう。

http://freeway.exblog.jp/m2006-07-01/#5209931 によれば、BD-1 はそのままでは入らないらしい。ブロンプトンはコンパクトにたためることにかけてはさすがだが、その分走行性能がそうでもない。