たぶんdir_search関数か？ 
const UCHAR *dir_search(const UCHAR *name, UCHAR attr_mask, UCHAR attr_comp, UC\HAR **ent0, UCHAR **ent1)
{
printf("ffffffffffffffff");
printf("\n");
printf(name);
printf("\n");
printf("gggggggggggggggg");
printf("\n");
UCHAR c, *p, *e1 = *ent1;
int i, j;
if ((flag & 0x03) == 0){
errend(44); /* setattr command error */
//goto err;
}
subdir:
p = FAT_filename;
if (*name == '.') {
name++;
*p++ = '.';
if (*name == '.') {
name++;
*p++ = '.';
}
c = *name++;
if (c != '/' && c != '\\'){
errend(44); /* setattr command error */
goto err;}
} else {
do {
c = *name++;
if (c == '\0' || c == '/' || c == '\\')
break;
if ('a' <= c && c <= 'z')
c -= 'a' - 'A';
if (c == '.') {
while (p < FAT_filename + 8)
*p++ = ' ';
continue;
}
*p++ = c;
} while (p < FAT_filename + 11);
}
while (p < FAT_filename + 11)
*p++ = ' ';
p = *ent0;
do {
if (*p == '\0')
break;
c = 0;
for (i = 0; i < 11; i++)
c |= p[i] ^ FAT_filename[i];
if (name[-1] == '\0')
c |= (p[11] & attr_mask) ^ attr_comp;
else
c |= (p[11] & 0x10) ^ 0x10;
if (c == 0) {
if (name[-1] == '\0')
return p;
j = p[0x1a] | p[0x1b] << 8;
*ent0 = dir0;
e1 = clu0002;
if (j >= 2) {
*ent0 = clu0002 + (j - 2) * len_clu;
e1 = *ent0 + len_clu;
while (fat[j] == j + 1) {
e1 += len_clu;
j++;
}
}
*ent1 = e1;
goto subdir;
}
p += 32;
} while (p < e1);
printf("eeeeeeeeeeeee");
printf("\n");
printf(p[0]);
printf("\n");
printf(p[1]);
printf("\n");
printf(p[2]);
printf("\n");
printf(p[3]);
printf("\n");
printf(p[4]);
printf("\n");
printf(p[5]);
printf("\n");
printf(p[6]);
printf("\n");
printf(p[7]);
printf("\n");
printf(p[8]);
printf("\n");
printf(p[9]);
printf("\n");
printf(p[10]);
printf("\n");
printf(p[11]);
printf("\n");
errend(45); /* setattr command error */
err:
return NULL;
} こんなことして実行してみたんだけど・・・
[lina@vvine40 src47]$ ../hidetol4/edimg0i/edimg imgin:OSAIMGAT.BIN setattr file:@:OSASK.SYS attr:0x06
aaaaaaaaa
OSASK.SYS
bbbbbbbbb
ffffffffffffffff
OSASK.SYS
gggggggggggggggg
eeeeeeeeeeeee
45mkdir command erro.
おっかしいな・・・このトラップなら、OSASK.SYSの一文字づつが表示されるはず。
- subdir:の部分って、配列？pに、「OSASK.SYS」って文字を分解して「 O,S,A,S,K, , , ,S,Y,S」っ形に納める処理をしてるはず。でも収まってない。空だ。どこの処理だろう・・・・ -- hideyosi 2009-09-29 (火) 16:24:26
} else {
do {
c = *name++;
if (c == '\0' || c == '/' || c == '\\')
break;
if ('a' <= c && c <= 'z')
c -= 'a' - 'A';
if (c == '.') {
while (p < FAT_filename + 8)
*p++ = ' ';
continue;
}
*p++ = c;
} while (p < FAT_filename + 11);
}
printf("jjjjj");
printf("\n");
printf(FAT_filename);
printf("\n");
printf("kkkkkkk");
printf("\n");
while (p < FAT_filename + 11)こんなことしてみた。ここのループの時点では「 OSASK SYS 」がFAT_filenameにちゃんと収まってるなぁ。
- あれ？ちょっとまてよ？ トラップの次の while (p < FAT_filename + 11) だけど、このループって回るの？ だって、もう先のループでpは+11進んじゃってない？？ -- hideyosi 2009-09-29 (火) 17:22:28
- この下のもうひとつのループ。この中に唯一NULL以外の値を返す部分がある。つまり、ここにひっかからないとエラー（たぶん、そんなファイルはないよ！ってエラー）になると・・・ -- hideyosi 2009-09-29 (火) 20:17:48
- だんだん解かってきたぞ。このバージョンはようするに、サブディレクトリに対応させたものなんだな？？ -- hideyosi 2009-09-29 (火) 20:34:11
- たぶんだけど・・・dir0ってのはイメージファイルのFATエントリじゃないかな。32ビットの長さを一列としてファイルの情報を格納してる。で、これが何本あるか。とりあえずcul0002でおしまいって仕様の配列変数・・・。まてよ？FATって圧縮かなんか掛かってたはず。たしかBBLの資料でまとめたっけ。ええと・・・ -- hideyosi 2009-09-29 (火) 20:40:25
- うーん。やっぱりよくわからない。while (p < FAT_filename + 11)のループはなにをしてるんだろう・・・とりあえずはこの処理の後でもFAT_filenameは破壊されてないからいいのかな。 -- hideyosi 2009-09-29 (火) 22:12:03
- 次の処理。 p = *ent0; で、pはrootdirに当てられている。ためしにpringf(p)ってやったらちゃんとOSASK.SYSが表示された。ファイル名の羅列を認識したことになる。あとはこれを、256回繰り返し見てゆけば、ファイルがあるかどうかが解かるはず・・・ -- hideyosi 2009-09-29 (火) 22:16:47
- if (*p == '\0') break; これは解かる。先頭の文字がゼロだったらそれは未使用だから次へってことだよね？ ・・・そうすると、ついでにE5hとかもor判定してもいいような。なにか狙いがあるのかな？？ -- hideyosi 2009-09-29 (火) 22:35:32
- for (i = 0; i < 11; i++) c |= p[i] ^ FAT_filename[i]; あれれ？これはなにしてるんだろう？？ -- hideyosi 2009-09-29 (火) 22:39:38
- なんとなくなんだけど、ちょっと疑問が出てきた。たとえばだけど、コマンドオプションから指定する段階で、パス付きってことがありうる。 （setattr file:@:￥hoge￥uge￥OSASK.exe とか・・・）この場合、このプログラムはうまく対応しているんだろうか・・・ -- hideyosi 2009-09-29 (火) 22:47:21
- p[i] ^ FAT_filename[i]、これはpとFAT_filenameを一文字づつXORしていると・・・。XORは論理演算で、両方が同じ場合には0、異なれば1を返すと・・・ -- hideyosi 2009-09-30 (水) 21:05:08 New
- c |= ってのは、左辺で出てきた値とC自身をORしろと・・・。ORは、両方が0以外なら１を返すと・・・あーー！なるなる！！！ -- hideyosi 2009-09-30 (水) 21:08:45 New
- おもしろいなぁ。文字列の比較を行うわけか。一文字づつ全部比較して、一文字でも違っていたらcに1が入ると。こういうわけね。・・・もしオイラが、これと同じ働きをするようにコードを書いたとしたら・・・ -- hideyosi 2009-09-30 (水) 21:11:16 New
c=0;
for (i = 0; i < 11; i++) {
if(p[i] != FAT_filename[i]){
c = 1;
}
}こうかなぁ。たぶんこれで同じ働きはしてくれるはず。でもこんなややこしい形になってるのには理由があるんだろうなぁ。出力されるコードが短いとか高速だとか。
- あれれ？ まって？ この処理でc=1だった場合（つまり、FAT_filenameとエントリの頭11文字が異なっていた場合）にブレイクしないの？？ （つまりこの行は違うので*pに32を足して次のエントリ行に移るって処理） -- hideyosi 2009-10-01 (木) 18:53:12 New
- 下のほうで判断してるっぽいけどなんだこれ？ name[-1] ？ えぇ？なにこれ？？ *nameはOSASK.SYSとかが入っている配列つーか文字列変数。その-1って？ え？ 0ならO、1ならSだよね？ えぇぇぇぇ？ ぐぐっても出てこないぞ？なんぞこれ？？？ -- hideyosi 2009-10-01 (木) 19:01:52 New
- どうも、Seroです。ちょっと興味を持ったのでソース落として読んでみました。
>> 09-29 (火) 17:22
このループは拡張子がないか3文字に満たないとき、11文字のFAT_filenameを埋めるためのものでしょう。
>> 09-29 (火) 22:35
ディレクトリエントリのファイル名は、00hで始まると、それ以降ファイルがないことを表していたはずです。
>> 10-01 (木) 18:53
c != 0のときはif (c == 0)が成り立たないのでp += 32まで実行されず、
その後do-whileで戻るので残りのファイルを調べにいきます。
むしろ、breakしてしまうと、最初の1ファイルしか調べないことになりますね。
>> 10-01 (木) 19:01
FAT_filenameにデータを入れるときにnameはインクリメントされていきます。
このループではc == '\0' || c == '/' || c == '\\'のときbreakするので、
name[-1]はこのループで見た最後の文字、つまり'\0', '/', '\\'のいずれかになっています。
したがって、name[-1] == '\0'はFAT_filenameに入っているのがファイル名のとき真になり、
ディレクトリ名のとき偽になります。
とりあえずこの関数だけは解読できましたが、
OS開発でお世話になるedimgがここまで難解なソースだったとは意外でした。 -- Sero 2009-10-02 (金) 18:02 ころ手書きで挿入
- Seroさん、詳しい解説に感謝！ オイラ１個大勘違いしてますた。ループに対してBreakするってのは、完全にそのループから抜け出す処理で、廻りなおし？ではなかったですよね。（嗚呼！こんな初歩を勘違いしていたとは情けない・・・） -- hideyosi 2009-10-03 (土) 09:43:40 New
Seroさんのアドバイス。
ディレクトリエントリのファイル名は、00hで始まると、それ以降ファイルがないことを表していたはずです。
あれー！？ そなんですか！？ だとするともう一個、オイラ勘違いしてたのかな？？
オイラの思ってたもの
| No | 先頭の文字 | ファイル名 | 属性とか | 日付とか |
| 1 | O | OSASK SYS | 属性とか | 日付とか |
| 2 | H | hideyosicom | 属性とか | 日付とか |
| 3 | H | hoge exe | 属性とか | 日付とか |
| 4 | この先あるかも？？ないかも？ |
でも、もし先頭が00hだったとすると・・・
| No | 先頭の文字 | ファイル名 | 属性とか | 日付とか |
| 1 | O | OSASK SYS | 属性とか | 日付とか |
| 2 | 00h | 属性とか | 日付とか |
| 3 | 見る必要なし！以降はない！< | 属性とか | 日付とか |
| ないのだ！！ |
こういうことなんですか？ 00hは単に「ここはまだ一回も使ったことない部分だよー」って意味かと思ってました・・・
余談:もしこれが正しいとすると・・・。例えばファイルを作ったりできるようなプログラムを作ろうという場合、先頭から読んでいって、E5h（かつてはファイルがあったが今は削除されている）のエントリがあったらそこに作る。E5hのエントリがどうしても見付からない場合に初めて、最後のエントリ（頭は00h。未使用マーク？）を使うと。こういう処理が必要って理解でいいでしょうかね？？？
ヒネクレ者の妄想：そうすると・・・。例えばですが、なんらかのツールを使って意図的に
| No | 先頭の文字 | ファイル名 | 属性とか | 日付とか |
| 1 | O | OSASK SYS | 属性とか | 日付とか |
| 2 | 00h | ideyosicom | 属性とか | 日付とか |
| 3 | H | hoge exe | 属性とか | 日付とか |
| 4 | U | uge jpg | 属性とか | 日付とか |
こんな細工を行うと、hoge.exeやuge.jpgは、格納されているのにないことになっているという不思議なファイルとなりうる？ なんて妄想。
（まぁ当然、上書きされるとかそういう危険いっぱいってのはあるけど）
p = *ent0;
printf("ent0=\n");printf(ent0);printf("\n-----\n");
do {
printf("p=\n");printf(p);printf("\n-----\n");
if (*p == '\0'){
printf("8888888\n");printf(p);printf("\n9999999\n");
printf("qqqqqqqq\n");printf(*p);printf("\nrrrrrrrr\n");
break;
}
c = 0;
for (i = 0; i < 11; i++)
c |= p[i] ^ FAT_filename[i];こんなことしてブレイクやループの様子を観察してみた。（ヒデーなオイってのがお許しを 
）
どうもおかしい。結果として、一回目のdo-whileループでOSASK.SYSを見付けている。（ゆえに、if (*p == '\0') でBrakeしなかった）
しかし、二回目のループが行われている。（この二回目の時に、if (*p == '\0')に引っかかってBrakeしているようだ）
if (*p == '\0') 以下の判定部分になにか問題があるようだ。（本来ならちゃんとOSASK.SYSはあるんだから、他の判定もパスしてOSASK.SYSのエントリのアドレス（ポインタp）をリターンして終了するはすが、二回目のループに入っている。
- ふむ・・・*nameは、この関数が呼び出された直後（dir_search関数の先頭で表示してみた）は「 OSASK.SYS 」が格納されているが、 for (i = 0; i < 11; i++) 以降では空っぽになっているぞ？？ 先のsubdirでの処理でこうなっているのかな？？ もう一回subdirを読み直してみよう・・・ -- hideyosi 2009-10-03 (土) 11:28:22 New
subdirラベルの最初。この処理はなにをしているのか？？
p = FAT_filename;
if (*name == '.') {
name++;
*p++ = '.';
if (*name == '.') {
name++;
*p++ = '.';
}
c = *name++;
if (c != '/' && c != '\\'){
errend(44); /* setattr command error */
goto err;}
}- もし nameの一文字目が「 . 」だったら
- nameの二文字目に移る。FAT_filenameの一文字目も「 . 」を入れる
- nameの二文字目も「 . 」だったら三文字目に進む。FAT_filenameの二文字目にも「 . ]を格納する（ただし、二文字目が「 . 」でない場合は進めない。三文字目の判定と同じ判断を行う）
- nameの先頭が「 .. 」だった場合に、三文字目が「 / 」か「 \ 」でなかったらエラーになる（つまり、「 ..../hoge.jpg 」とか、「 ..uge.sys 」は問題だって判定）
- ちなみに「 ./hoge.jpg 」はあり。当然だが、「 .uge.sys 」 こういうのはナシ
こういうことでいいのかな。
これらの処理では、単に先頭の文字を判定しているだけじゃない。nameのポインタを動かして、純粋にファイル名だけの先頭にずらすという処理もしている。
- わーーー！ 見付けたかもおぉぉぉ！！！！！！！ -- hideyosi 2009-10-03 (土) 12:26:26 New
printf("name2= ");printf(name);printf("\n--------\n"); while (p < FAT_filename + 11)
*p++ = ' ';
p = *ent0;
do {
if (*p == '\0')
break;
c = 0;
for (i = 0; i < 11; i++)
c |= p[i] ^ FAT_filename[i];
printf("name3= ");printf(name);printf("\n--------\n");
if (name[-1] == '\0')こんなことしてみたらおもしろいことが解かった！
コマンドラインで setattr file:@:../OSASK.SYS なんてすると、name3がちゃんとOSASK.SYSと表示するけど、setattr file:@:OSASK.SYS こうすると、name3の時点でnameは空っぽ？になるぞ！？？
if ('a' <= c && c <= 'z')
c -= 'a' - 'A';この処理はなにをしているのか。nameの各文字を比較して、小文字を大文字に変換している。
if (c == '.') {
while (p < FAT_filename + 8)
*p++ = ' ';
continue;さらにこの処理で、．前が８文字に満たない場合に空白で埋めていると。
else
{
c = *name;
do {
// c = *name++;
c = c++;
if (c == '\0' || c == '/' || c == '\\')・・・こうじゃないかなぁ・・・・
これだと、コマンドラインであたえられた文字列（name）の中で、ファイル名部の先頭にnameポインタが移り、かつ、それを維持しつづけるというか・・・
- しかしエラーは変わらず・・・・orz -- hideyosi 2009-10-03 (土) 14:52:41 New
- Seroさんのアドバイスをもう一度よく読んでみた。逆じゃないかなオイラの解釈。むしろ、どんな状況でも、nameは元々の文字列の一番最後+1の状態になっていないといけないんじゃないかな。だとすると、逆に、../OSASK.SYSなんてやった場合にnameが最後まで残るのがおかしい・・・のかな？？ -- hideyosi 2009-10-03 (土) 14:58:58 New
- ここでちょっと一息。原点に帰ってdir_searchはなにをしているのか考え直してみる。 -- hideyosi 2009-10-03 (土) 15:12:25 New
dir_searchはそもそもなんなのか？
文字どおり、ディレクトリを探してきてくれる関数のはず。うまく見付かると、メモリ内に展開されているディスクイメージの中のルートディレクトリの位置をポインタとして返し、見付からなければNULLを返してくると。
dir_searchの引数は *name, attr_mask, attr_comp, **ent0, **ent1 の五つ。
- *name
- これは簡単。コマンドラインで書かれた文字がまるごと入ってくる部分。
- attr_mask
- これは一体なんだろう？？ 0xd8とか決め打ちされている。
- attr_comp
- **ent0
- これはメモリ内のディレクトリエントリの先頭。ここからディレクトリエントリが始まっているので、比較等で読み込むにはここからスタートして、32バイトごとに進めていくための起点。
- **ent1
attr_mask。0xd8ってことは、二進数にすると・・・11011000bになる。属性の資料と照し合せると・・・
| bit | 7 | 6 | 5 | 4 | 3 | 2 | 1 | 0 |
| 性質 | 予約 常に 0 | アーカイブ属性 | ディレクトリ | ボリュームラベル | システムファイル | 隠しファイル | 読み取り専用 |
| 0xd8 | 1 | 1 | 0 | 1 | 1 | 0 | 0 | 0 |
- ・・・・あれ・・・・なんかおかしいな・・・ -- hideyosi 2009-10-03 (土) 15:41:43 New
- C言語では、文字列の終端はかならず\0になっていると。っということは・・・ -- hideyosi 2009-10-03 (土) 17:58:47 New
| 呼出直後のnameポインタ | ▼ |
| 妄想アドレス | 0x0010 | 0x0011 | 0x0012 | 0x0013 | 0x0014 | 0x0014 | 0x0016 | 0x0017 | 0x0018 | 0x0019 |
| 格納データ | O | S | A | S | K | . | S | Y | S | \0 |
if (name[-1] == '\0')
c |= (p[11] & attr_mask) ^ attr_comp;
else
c |= (p[11] & 0x10) ^ 0x10;
if (c == 0) {このコードに突入する前には、こうなっていないといけないはず。
| if前のnameポインタ | ▼ |
| 妄想アドレス | 0x0010 | 0x0011 | 0x0012 | 0x0013 | 0x0014 | 0x0014 | 0x0016 | 0x0017 | 0x0018 | 0x0019 | 0x001A | 0x001B | 0x001C |
| 格納データ | O | S | A | S | K | . | S | Y | S | \0 | 不定 | 不定 | 不定 |
- ちなみにこの時点での*pはエントリ行の先頭のはず。なので、p[11]なんてすると、かならず属性部分１バイトを指し示しているわけか・・・ -- hideyosi 2009-10-03 (土) 18:13:20 New
- ・・・あっれぇ？ (p[11] & attr_mask） これはどういう処理だ？？ p[[11]の値とattr_mask（0xd8）をand演算したいなら (p[11] && attr_mask） のはずだし、attr_maskのアドレス演算・・・だとすると、逆に、「演算子」がないのに値をふたつ書いてることになるし・・・えーー！？ なんだっけ？これ？？ -- hideyosi 2009-10-03 (土) 18:19:08 New
- あぁぁ！ これかな？ ビット積（AND）。ん？じゃ、&&とどう違うんだ？ -- hideyosi 2009-10-04 (日) 10:23:56 New
- うわー！ オレ超バカだ！ &&ってのは、条件とかの場合の「かつ」だ！ 値をAND演算するのとは別じゃん！ （なんつー勘違いだ・・・もうやだしにたい） -- hideyosi 2009-10-04 (日) 10:33:50 New
- ふと思ったこと。このプログラムはFDイメージを操作するためのもの。しかもFAT12に限定。そうなると、例えばだけど今回のsetattrみたいにファイルを指定してなんかしろって命令の場合。サブディレクトリを混ぜ込もうとした場合って、かならずルートからの絶対指定になる。それ以外はエラーってことでいいんじゃないかな。だって、../みたいな相対指定なんてありえないわけじゃない。だとすると、ファイル名を書く場合、「一文字目は￥かa-zか数字。それ以外は全部エラー」でいいんじゃないかな。 -- hideyosi 2009-10-04 (日) 16:26:55 New!
- こんにちは、Seroです。前回はお役に立てたようで何よりです。
>> ヒネクレ者の妄想
原理的にはファイル扱いになりませんが、これをやると仕様にも適合しないので、そもそもファイルの情報という扱いをしてもらえません。誰からも読み書きできずに、知らないうちに上書きされるのがオチでしょう。
>> 二回目のループ
ソース読む限りそんなことは起こりそうにないんですけどねー。それって、file:@:OSASK.SYSのとき、"ent0="が二回表示されたりしませんよね？(だとするとかなり怪しいバグ) file:@:../OSASK.SYSのときは逆に二回表示されなきゃいけないと思いますが。
やはり、これ以上の調査には必要だと思うので、カレントと関連しそうなディレクトリのリスト、それからedimgのコマンドラインを晒してもらえませんか？
>> dir_searchの引数
一応こちらの解釈をあげてみます。
name : ディスクイメージ内のファイル・ディレクトリ名
attr_mask, attr_comp : 探すファイル・ディレクトリの属性に条件をつける(後述)
ent0, ent1 : ディレクトリエントリの先頭・末尾を指すポインタ、が入っている変数へのポインタ。二段ポインタになっているのは見つけたファイル・ディレクトリが存在するディレクトリのエントリを返すためかと思われる
(解釈)attr_*について
attr_maskは条件をつける属性のビット値に対応するマスク
attr_compはattr_maskで立っているビットに許すパターンを指定
うーむ、分かりやすい説明ができない……日本語の問題か
attr_*による条件「attr_maskで立っていないビットは無視します。そうでない(=立っている)ビットは、attr_compと一致しなければなりません」
うまくまとまっているかな？
(例)attr_mask=0xd8, attr_comp=0のとき
・ディレクトリ、ボリュームラベルだったらだめ
・アーカイブ属性、システム、隠し、読み取り専用、はどうでもいい
>> 10-04 (日) 16:26
たしかにルートからの絶対指定なので先頭に"../"が入ることはありえませんが、"../"を含むことはありえます。かなりひねくれた状況ですが、"@:foo/bar/../baz/test.txt"という指定は"@:foo/baz/test.txt"と等価です。
おまけ : printfは複数の値を表示できるので、printf("name2= %s\n--------\n", name);なんてこともできますよ。 -- Sero 2009-10-04 (金) 19:18 ころ手書きで挿入
]]>
そろそろ新しいページ作って、かつ、このページのタイトルも変えないと・・・