逆コンパイラCodeReverseを作る

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/24(火) 14:58:48.34

CodeReverseは、片山博文MZが開発している、Windows用の逆アセンブラ兼ダンプツールです。
最終的には「リバーシブルな」逆コンパイラを目指しています。

CodeReverse公式サイト
http://katahiromz.web.fc2.com/codereverse/

GitHubレポジトリはこちら
https://github.com/katahiromz/CodeReverse

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/24(火) 14:59:38.45

【実行可能ファイル（PE形式）関連】
The Portable Executable File Format
http://www.csn.ul.ie/~caolan/publink/winresdump/winresdump/doc/pefile2.html
Windows EXEファイル形式
http://home.a00.itscom.net/hatada/mcc/doc/win32exe.html
インポート情報
http://hp.vector.co.jp/authors/VA050396/tech_07.html
A Tour of the Win32 Portable Executable File Format
http://msdn.microsoft.com/en-us/library/ms809762.aspx

【アセンブラ関連】
X86アセンブラ (WikiBooks)
http://ja.wikibooks.org/wiki/X86%E3%82%A2%E3%82%BB%E3%83%B3%E3%83%96%E3%83%A9/16%E3%80%8132%E3%80%8164%E3%83%93%E3%83%83%E3%83%88
x64 アセンブリ言語プログラミング
http://homepage1.nifty.com/herumi/prog/x64.html
x64 アセンブリーの概要
http://www.isus.jp/article/introduction-to-x64-assembly/
x64 の入門書
http://msdn.microsoft.com/ja-jp/magazine/ee230241.aspx
インテル日本語技術資料のダウンロード
http://www.intel.co.jp/content/www/jp/ja/developer/download.html

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/24(火) 15:00:12.24

【遅延読み込み関連】
DLLの遅延読み込み（delay loading）
http://www.glamenv-septzen.net/view/671
UNDER THE HOOD (delayload)
http://www.microsoft.com/msj/1298/hood/hood1298.aspx
DLL遅延ロード情報をPythonで
http://www.glamenv-septzen.net/view/677

【スタックフレームなど】
スタックフレーム
http://www.c-tipsref.com/words/stackframe.html
Unprototyped Functions
http://msdn.microsoft.com/en-us/library/6yy8aw4d.aspx
Varargs
http://msdn.microsoft.com/en-us/library/dd2wa36c.aspx
呼出規約
http://ja.wikipedia.org/wiki/%E5%91%BC%E5%87%BA%E8%A6%8F%E7%B4%84
Caller/Callee Saved Registers
http://msdn.microsoft.com/en-us/library/6t169e9c.aspx
Return Values (C++)
http://msdn.microsoft.com/en-us/library/7572ztz4.aspx
Prolog and Epilog
http://msdn.microsoft.com/en-us/library/tawsa7cb.aspx
Parameter Passing
http://msdn.microsoft.com/en-us/library/zthk2dkh.aspx
Overview of x64 Calling Conventions
http://msdn.microsoft.com/en-us/library/ms235286.aspx

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/24(火) 15:01:34.04

**デフォルトの名無しさん** · 2013/09/24(火) 15:02:38.62

パッと思いつくのは
・アドレスにラベルを割り付ける
・関数を切り分ける
・スタックフレームから関数引数・ローカル変数・戻り値を切り出す
・if/for/switchを抽出して構文化する
・DLLからロードされるシンボルを置き換える

解説しているサイトとかあるかは調べてないので知らん

どうせ defineされた定数をマクロ名に戻せないとか
構造体復元が難しいとかあるから大したことはできん

**デフォルトの名無しさん** · 2013/09/24(火) 20:57:40.99

このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。

アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。

　　　　　　　　　　　　　　　　　　京都大学霊長類研究所

**デフォルトの名無しさん** · 2013/09/24(火) 21:39:53.66

ネタスレはマ板でやれよ。

> Ｃの逆コンパイラはどこまで実現可能か
アフィサイト晒してんじゃねーよ。内容もちょい微妙だし。

まず、アセンブリから C/C++ へのトランスレータは簡単だろ？
そっからどの程度 C/C++ らしい表現にするかが問題なんだろ？
何から手を付けてどういう順番でやるつもりなの。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/24(火) 22:00:04.49

まずは関数の切り分け(手元では入り口を解析する形でほぼ完了)。次は関数情報とスタックフレームの解析。
そして中間表現の定義と中間表現への変換。さらに構文解析と型情報の処理。
トランスレータって言ってもそんなに簡単じゃない。

リソースのダンプでいいのないか(オープンなの)？

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/24(火) 22:13:52.02

関数には__cdecl、__stdcall、__pascal、__fastcall、単純ジャンプ関数の五種類あるんだけど、これをどうやって判別するかという問題がある。

遅延ロード情報の取り込みもしたい。ソース希望。

**デフォルトの名無しさん** · 2013/09/24(火) 22:17:55.08

OllyDbgじゃダメなんか
分かってる人には充分だろ

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/24(火) 23:05:03.62

ネタスレではありません。私は本気です。明日、OllyDbgのソースをDLしてみます。
CodeReverseは、NASMのコードを一部拝借しています。
多分、構文解析用のインクルードファイルが必要になると思います。
MinGWから頂くかも知れません。ライセンスはどうするか？アイコンのデザイン、洒落てるでしょ？

**デフォルトの名無しさん** · 2013/09/24(火) 23:06:25.98

できたらよんで。

**デフォルトの名無しさん** · 2013/09/24(火) 23:17:17.38

>>11
> MinGWから頂くかも知れません。ライセンスはどうするか？アイコンのデザイン、洒落てるでしょ？
MinGWのソース使ったら、配布するときのライセンスはGPLになると思う。
一部パブリックドメインらしいけれど。

**デフォルトの名無しさん** · 2013/09/25(水) 00:34:40.81

アムロの親父みたいに俺の親父もボケてしまった。
たしかに昔はある分野で日本一の技能をもってた。俺の目標は親父だった。
今は硬い世界の殻に閉じこもってしまって、もはや日常会話しか通じない。

**デフォルトの名無しさん** · 2013/09/25(水) 02:11:22.19

うーむ、今のところこの世にまともなC/C++の逆コンパイラが
存在しない事を考えても片山程度の技術力で作れるとは思えんが・・・

**デフォルトの名無しさん** · 2013/09/25(水) 05:45:24.18

ま、なんかできたらまた呼んでくれ

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/25(水) 21:15:11.17

ヘッダファイルもプリプロセッサも要るから、単純にMinGWに寄生する形にします。
バージョンアップの度にいちいちでっかいファイルをダウンロードさせるのも不憫だから。
ライセンスはGPLになる予定です。

**デフォルトの名無しさん** · 2013/09/25(水) 21:50:21.91

つーか、片山GUIはどうした？予想通り挫折したのか？

そんなんじゃ逆コンパイラなんてもっと無理だろ

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/25(水) 22:56:47.40

自動車の命はエンジンでしょ。GUIは後で自由に作れるから。

**デフォルトの名無しさん** · 2013/09/26(木) 00:17:10.71

自動車の命は乗り心地だと思う

**デフォルトの名無しさん** · 2013/09/26(木) 01:24:31.25

>>19
そういう問題じゃねーだろｗ

お前にはモノを最後まで作り上げる能力が無いって事だ
あれだけWin32APIやMFCに代わるGUIを作るって豪語してたろ
多分お前はこの逆コンパイラも作れないし、後になってもGUIも作れんよ

**デフォルトの名無しさん** · 2013/09/26(木) 01:48:56.57

まあ一人で色々作ってたら未完成になることは多い。
そういう未完星人の同類なら、GUI作りくらい協力してやってもいい。
だが残念だがそれは無理だ。なぜなら彼が作っている物は俺よりしょぼい。
もはや彼が俺に「あなたのプロジェクトに協力させて下さい」と頼まなければいけないレベルなのだ。
残念である。世の中は不条理に満ちている。

**デフォルトの名無しさん** · 2013/09/26(木) 01:53:10.86

まあ誰もが出来ないと思ってるよ

グラフィックライブラリもこれを最後に音沙汰なしだしな

975 名前：片山博文MZパンク ◆0lBZNi.Q7evd [sage] 投稿日：2013/03/21(木) 03:21:59.90
ＭＺＣ２順調に開発中。。。

**デフォルトの名無しさん** · 2013/09/26(木) 01:55:38.06

順調に開発中クソワロタｗｗｗ

どこが順調なんだよｗｗｗ

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 02:03:09.27

CUIの有り難みがわからない人とは話しが合わないっす。
CUIにパイプラインをつなげてGUIを作るなんてお茶の子さいさいっす。
俺はサイドビジネスで忙しいから、空いた時間で作ってるっす。
CUIの使い方も知らない人はうざいから消えてね。

**デフォルトの名無しさん** · 2013/09/26(木) 02:09:39.70

出来ない人間の言い訳きたｗｗｗ

**デフォルトの名無しさん** · 2013/09/26(木) 02:13:56.61

ふーむ、CUIのありがたみがわかってる人間がなんでわざわざ
二番煎じのGUIを作ろうと思ったのか。しかもオリジナルより劣化してる。

更には、お茶の子さいさいと言いながら、いまだに何の成果物も出せないのはこれいかに。
>>23のレスからもう半年も経過しているが。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 02:17:11.27

俺は貴様らよりも自由じゃないから。夜遊びはできないし、インターネットに
つなげてもらえないし。パソコンの使用時間は制限されてるし。
この書き込みも見張りに見つからないように携帯から書き込んでいるところ。

**デフォルトの名無しさん** · 2013/09/26(木) 02:17:33.78

典型的な口だけダメ人間の末路だなｗ

**デフォルトの名無しさん** · 2013/09/26(木) 02:19:58.65

こりゃアカンで。ちょっと期待してたらどうやら>>1の人格・人間性に
相当の問題アリやな。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 02:24:00.61

クロスワードギバーというパズル作成ソフトで結構反響あった。MZ KeyLoggerもわりと人気あるし。

**デフォルトの名無しさん** · 2013/09/26(木) 02:31:14.21

そうそう幅広くニッチなところ狙ってけ。おまえはわけのわからんものを大量に発明して東京都知事選に変態枠で出馬するようなタイプなんだ。

**デフォルトの名無しさん** · 2013/09/26(木) 03:00:48.33

× 大量に発明して
○ 大量に「発明するぞ」というだけ言って

**デフォルトの名無しさん** · 2013/09/26(木) 03:13:24.63

>>32
当選は枠があるけど出馬は出たきゃ出れるんじゃなかったっけ？

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 03:21:52.79

エクスポート名の@の右の数字は引数全体のサイズだよね？

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 03:33:33.17

で、__stdcallの引数全部のサイズが命令retの第一オペランドの値だよね？
そして、スタックフレームはebpとespの値の増減を調べないとわからないんだよね？

**デフォルトの名無しさん** · 2013/09/26(木) 04:25:32.36

キャバクラでかわいいホステスと夜遊びしたいな

**デフォルトの名無しさん** · 2013/09/26(木) 04:40:58.94

>>9は間違いね。__pascalなんてないし、64ビットに言及がないし、単純ジャンプ関数って何じゃそれ

**デフォルトの名無しさん** · 2013/09/26(木) 04:42:37.87

以下、sage進行でよろしくお願いします。

**デフォルトの名無しさん** · 2013/09/26(木) 04:43:48.36

片山死ねよ

**デフォルトの名無しさん** · 2013/09/26(木) 04:50:14.13

>>35-36
Win32 べったりの話？何にも知らないんだね。

DEF ファイルを使った DLL からのエクスポート
で検索してご覧、MSDN 内のページが引っかかるから。
悪いけど、主要な（少なくともターゲットとする）コンパイラやアセンブラやリンカのマニュアルを読んでから質問してくれる？
ていうかブログでやってくんない？

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 05:19:27.11

ブッブー、defファイルではなく__stdcall,__fastcall関数のmanglingの話でした。

manglingされたシンボル名から元の名前を求めるのは大変みたいですね。

**デフォルトの名無しさん** · 2013/09/26(木) 12:44:34.10

片山にすら馬鹿にされる>>41w

**デフォルトの名無しさん** · 2013/09/26(木) 15:58:38.68

>>43
まぁだがコンパイラ毎ではあるもののマングリングは明確な規則で行われてるわけで…
それを難しいとか言ってるようではC/C++コードへの復元とか夢のまた夢だわな。
呼び出し規約と関数内のレジスタ利用方法の規約ゴッチャにしてる辺りも残念すぎる。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 16:36:10.77

v0.0.1にバージョンアップしました。
関数の切り分けができるようになりました。

課題１：DisAsmメソッドの中で各関数の種類（FUNCTIONTYPE）を確定させる。
また、各関数の引数全部のサイズを求める。関数内関数の対処。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 16:47:55.24

名前修飾（Name mangling） - Wikipedia
http://ja.wikipedia.org/wiki/%E5%90%8D%E5%89%8D%E4%BF%AE%E9%A3%BE

EXEからコンパイラの種類を判定する方法ってありますか？

**デフォルトの名無しさん** · 2013/09/26(木) 17:01:43.67

全パターンぶんデマングルしてみてうまくデマングルできたやつを採用すればいいんじゃない

**デフォルトの名無しさん** · 2013/09/26(木) 17:13:14.26

PEiDでも調べれば？

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/26(木) 17:14:44.75

g++の場合は、プログラムc++filtで解読できるようです。
gccの場合はわからない。
VCの場合はdbghelp.dllのUnDecorateSymbolName関数で。

UnDecorateSymbolName function
http://msdn.microsoft.com/en-us/library/ms681400(v=VS.85).aspx

**デフォルトの名無しさん** · 2013/09/26(木) 17:44:57.55

正直ね、片山さんのその技術力で
逆コンパイラじゃなくて
C#とD言語を上手く改良したような実用できる言語作ってほしい
逆コンパイラの都合のいい言語みたいな感じでもいいから。
そしたら実装も楽になるかもよ。
これ作るついでにやってみてくれないかな？

**デフォルトの名無しさん** · 2013/09/26(木) 17:46:26.52

ネイティブC#みたいな位置づけのさ。
D言語だと正直不安定すぎて使えなさすぎなのよ

**デフォルトの名無しさん** · 2013/09/26(木) 18:02:30.28

マングル返し

**デフォルトの名無しさん** · 2013/09/26(木) 21:07:00.30

Microsoft C は、シリアル番号をオブジェクトファイルに
埋め込んでるってうわさ話があったな...

**デフォルトの名無しさん** · 2013/09/26(木) 21:51:10.45

>>53
そんな速攻で検証できそうなことをわざわざするかなぁ……？

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/27(金) 23:46:08.32

課題２：アドレスからスタック状態集合への写像
課題３：コンパイラの種類を判定するコード
課題４：アセンブリ命令が何を参照し、何を変更するかの情報
課題５：データ型の管理方法

これらに関して知ってることがあれば俺に教えて下さい。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/09/27(金) 23:57:00.28

次のリリースは、pimplで読みやすいコードになる予定。
今までの人工知能研究の全てを注ぎ込んで、頑張りますのでご声援を。

**デフォルトの名無しさん** · 2013/10/01(火) 01:51:25.40

いや、そのレベルでいったいなにをつくるきなんだ…

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/01(火) 03:17:28.27

コントロールパスというのがよくわからん。単純にプロファイルするとループで無限長になってしまうよな。
掛け算と割り算のキャリーとオーバーフロー条件の違いもよくわからん。

**デフォルトの名無しさん** · 2013/10/01(火) 11:32:44.36

前途は多難ですね

**デフォルトの名無しさん** · 2013/10/01(火) 20:18:53.42

思った以上にレベル低過ぎてワロタｗ

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/03(木) 03:08:46.39

ファンクタって関数ポインタより使いやすいな

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/07(月) 13:30:07.20

v0.0.2にバージョンアップ。

コードの整理。insn*.datファイル、mzc2mini.{h,cpp}ファイルの追加。
関数内関数の対処。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/07(月) 14:16:22.09

insnはinstructionの略でアセンブリの命令のこと。

次は、コントロールパスとスタック状態の取得に挑戦します。

**デフォルトの名無しさん** · 2013/10/11(金) 19:27:45.10

サイドビジネスで疲れてMPがない
妙なバグがまだ取れてない
頑張るしかないか

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/13(日) 13:52:28.76

コントロールパスの組み合わせが無限になるバグが修正できない。
ループは排除したのに。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/13(日) 14:05:29.47

無限大じゃなかったけど、コントロールパスが768通りって多すぎないか？

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/22(火) 12:20:36.64

スタックについて必死に勉強中です。

**デフォルトの名無しさん** · 2013/10/22(火) 14:04:27.97

一進一退というか一進二退くらいになってるような

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/23(水) 19:37:09.10

三値論理サイコー！！！

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/24(木) 18:56:52.09

コントロールパスよりもCFGの方が重要だとわかった。目標が間違ってた。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/26(土) 14:30:59.02

v0.0.4 CFGの取得が可能になりました。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/26(土) 14:58:46.20

型情報がない状態で、レジスタとスタックの使用状況がわからないと、
関数の呼び出し規約や引数は分析できませんね。

insn16.dat/insn32.dat/insn64.datファイルに書かれているような
中間表現によって、アセンブリとC言語ソースをつなげようと
考えています。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/26(土) 15:41:05.76

定数畳み込み
http://ja.wikipedia.org/wiki/%E5%AE%9A%E6%95%B0%E7%95%B3%E3%81%BF%E8%BE%BC%E3%81%BF

疎な条件分岐を考慮した定数伝播
http://ja.wikipedia.org/wiki/%E7%96%8E%E3%81%AA%E6%9D%A1%E4%BB%B6%E5%88%86%E5%B2%90%E3%82%92%E8%80%83%E6%85%AE%E3%81%97%E3%81%9F%E5%AE%9A%E6%95%B0%E4%BC%9D%E6%92%AD

抽象解釈
http://ja.wikipedia.org/wiki/%E6%8A%BD%E8%B1%A1%E8%A7%A3%E9%87%88

大域値番号付け
http://ja.wikipedia.org/wiki/%E5%A4%A7%E5%9F%9F%E5%80%A4%E7%95%AA%E5%8F%B7%E4%BB%98%E3%81%91

共通部分式除去
http://ja.wikipedia.org/wiki/%E5%85%B1%E9%80%9A%E9%83%A8%E5%88%86%E5%BC%8F%E9%99%A4%E5%8E%BB

Partial redundancy elimination
http://en.wikipedia.org/wiki/Partial_redundancy_elimination

演算子強度低減
http://ja.wikipedia.org/wiki/%E6%BC%94%E7%AE%97%E5%AD%90%E5%BC%B7%E5%BA%A6%E4%BD%8E%E6%B8%9B

C言語の構文解析
http://www.syuhitu.org/other/cparse/cparse.html

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/30(水) 20:24:40.83

逆コンパイラに興味ある人は少ないみたいだな

**デフォルトの名無しさん** · 2013/10/30(水) 21:29:01.31

そりゃそうだ。リバースエンジニアリングってのはどちらかといえば破壊行為だし。
この板の連中はおまえの想像以上に生産的（破壊的の反対）なんだよ。

**デフォルトの名無しさん** · 2013/10/30(水) 21:32:36.77

それ以前に「どうせ無理だろ……」と多勢が思っていることもあるだろうね

**デフォルトの名無しさん** · 2013/10/30(水) 21:54:20.33

コンパイラが多すぎて全部はソースに変換できないって分ってからなぁ・・・
そしてコテ的に>>76

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/10/30(水) 23:14:18.48

次は中間表現の生成をやります。

**デフォルトの名無しさん** · 2013/10/31(木) 14:41:22.66

実用レベルに足るものは不可能とわかっているから

**デフォルトの名無しさん** · 2013/10/31(木) 16:34:19.29

彼でも１～２年で限定用途なら可能だろうし
５～１０年も頑張れば実用レベルのが出来るんじゃないかな？ただそれだけ頑張った見返りがあるか疑問だが。

**デフォルトの名無しさん** · 2013/10/31(木) 22:56:48.52

MFCの劣化ライブラリも腐っているしな

**デフォルトの名無しさん** · 2013/11/01(金) 02:38:40.90

>>80
何一つ完成させたことが無いのに？

**デフォルトの名無しさん** · 2013/11/03(日) 11:21:11.34

>>74
興味ありますよ頑張ってください応援してます

**デフォルトの名無しさん** · 2013/11/05(火) 00:26:28.24

え、まずはコンパイラ作ってみたら？

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/11/06(水) 05:20:59.14

しばらくスクリーンセーバーの開発に時間を割くことにします。GUIはwxを採用します。

**デフォルトの名無しさん** · 2013/11/06(水) 09:52:43.11

MZC使えよバカ、作った人にも使われないなんてよっぽどだな(笑)

**デフォルトの名無しさん** · 2013/11/07(木) 02:36:02.70

馬鹿がまた飽きたのかｗｗｗ

こいつ本当に何一つ最後まで作れないなｗ

**デフォルトの名無しさん** · 2013/11/07(木) 02:51:13.49

最後まで作らないうえに86とかどうしようもねぇな

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/11/07(木) 03:16:18.11

仕事の合間にLinuxのスクリーンセーバーをWindowsに移植したら、海外から何件か要望が来た。
要望の多い方を優先する方針。すまない。何ならGitHubで開発に参加してくれると助かるのだが…。

**デフォルトの名無しさん** · 2013/11/07(木) 05:56:33.83

まあ簡単な方から片付けていくのが効率的人生の鉄則ではある。

**デフォルトの名無しさん** · 2013/11/07(木) 08:18:28.62

また偽装請負か・・・

**デフォルトの名無しさん** · 2013/11/07(木) 09:58:06.11

解散

**デフォルトの名無しさん** · 2013/11/09(土) 13:24:53.90

クッソワロス、やっぱり最初に言った通り途中で挫折したｗ

ちなみに、こいつが途中で他のを優先すると言って
また開発に戻った例は無いぞw

**デフォルトの名無しさん** · 2013/11/13(水) 12:33:23.15

まだだ、まだ俺のスタック領域は溢れちゃいねェ

**デフォルトの名無しさん** · 2013/11/17(日) 20:32:31.71

保守

**デフォルトの名無しさん** · 2013/11/25(月) 22:33:11.84

catcher

**デフォルトの名無しさん** · 2013/11/30(土) 01:37:10.38

>>50-51
Salamander

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/12/03(火) 11:45:36.02

スクリーンセーバーの移植が終わったので、CodeReverseの開発を再開します。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2013/12/05(木) 23:14:57.22

また仕事が入った

**デフォルトの名無しさん** · 2013/12/13(金) 23:20:47.44

catcher

**デフォルトの名無しさん** · 2013/12/19(木) 04:29:33.68

Windows 系の .exe .dll を逆コンパイルするので分りやすいコードを吐いてくれるのは
今って何が高性能？
Ｃ＃ぐらいの言語っぽいのだと分りやすいんだけど

**デフォルトの名無しさん** · 2013/12/19(木) 18:50:48.68

機械語からの逆コンパイルは大抵ろくなコードが出てこない。
マトモなコードになるのは中間言語からの逆コンパイルくらいだな。
.NETやJavaやActionScriptやHSPの中間言語は結構普通の逆コンパイル結果が得られる。

**101** · 2013/12/21(土) 05:43:16.03

逆コンパイルで出てきたコードを書き換えてコンパイルしようという訳じゃないんだ。
機器のログを表示するソフトのデータ読み込みにバグがあるみたいで
自分で表示用データを出せるプログラム作ろうとしたら一部計算式が分らない
三角関数だろうけど

**デフォルトの名無しさん** · 2013/12/21(土) 06:25:42.35

>>103
だから中間言語使った実行ファイルなら逆コンパイルも実用になるけど、
機械語使った実行ファイルの逆コンパイラはなかなか実用にならんよ。
たぶん逆アセンブラがなんだかんだ一番実用的だと思うぞ。

その.exeや.dllが中間言語使ってる実行ファイルかどうかは知らん。
.NETあたりだと逆コンパイルも楽だから.NETだといいね。

**デフォルトの名無しさん** · 2013/12/21(土) 09:06:13.91

>>103
その機器のメーカーに直してもらえよ

**デフォルトの名無しさん** · 2013/12/21(土) 10:17:26.47

アセンブラは機械語と一対一に対応しているとよく言われるけど、
実際は対応していない。
同じアセンブリでも配置によって複数の機械語から特定のコードを選択
しなければならないプロセッサはよくありがち。
いろいろ面倒だよ。

**デフォルトの名無しさん** · 2013/12/21(土) 13:06:51.16

>>103
ログ読み取りに不透明要素を持ちこむな　本末転倒にもほどがある

**デフォルトの名無しさん** · 2013/12/31(火) 23:55:12.69

catcher

**デフォルトの名無しさん** · 2014/01/01(水) 03:35:02.64

>575 名前：片山博文MZコスモ ◆T6xkBnTXz7B0 ：2013/12/31(火) 22:44:07.54
>2013年の実績：
>クロスワードギバーを完成。
>XScreenSaverの200個以上のスクリーンセーバーをWindowsに移植。
>逆アセンブラを途中まで作成。

いつのまにか逆アセンブラにグレードダウン（笑）
なんというか、「～をダウンロードした」とか「～を勉強中」など
どうでもいいことは大声で宣伝するが、重要なことは何も言わないとか・・・

**デフォルトの名無しさん** · 2014/01/02(木) 04:25:05.69

ネタギレです…しばらく保守になります。

この停滞状態が我慢できなければGitHubでPull requestしてね

**デフォルトの名無しさん** · 2014/01/02(木) 18:37:25.91

都合が悪くなると名無しで発言するんだな、発言の内容からして本人であることは明白なんだが

**デフォルトの名無しさん** · 2014/01/04(土) 23:27:07.00

ドラゴンプック買えばいいんですかね？

**デフォルトの名無しさん** · 2014/01/05(日) 02:54:40.24

無駄にはならんと思うが、つまみ食い気分で買うにはちとお高いよ

**デフォルトの名無しさん** · 2014/01/08(水) 19:09:04.82

アマゾンギフト券2000円を買ったぞ
中古のドラゴンブック買うぞーー！

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2014/01/13(月) 16:06:36.73

ドラゴンブック、1000円くらいの中古を買っちゃった！！！！！
さあ、ドラゴンと戦うぞ！！！

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2014/01/16(木) 11:57:51.63

「コンパイラＩ原理・技法・ツール」が家に届いたぞー

戦闘開始！

**デフォルトの名無しさん** · 2014/01/16(木) 21:01:39.45

コンパイラ「ロバｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗｗ」

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2014/01/17(金) 16:33:31.45

RE: Bison Windows m4 problems
bison: cannot open file `data/m4sugar/m4sugar.m4': No such file or directory
https://lists.gnu.org/archive/html/help-bison/2010-03/msg00015.html

空白を含むC:\Program Filesにインストールしちゃ駄目らしい。やり直し。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2014/01/17(金) 16:44:20.33

これも必要
set BISON_PKGDATADIR=C:\GnuWin32\share\bison

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2014/01/17(金) 17:21:08.45

報告。ドラゴン本第三章まで読了。左再帰を右再帰に直す方法を学習した。
フロントエンド、フェーズなどの用語を習得した。
GNU Win32 Bison(Yacc)+Flex(Lex)のインストールに成功した。
引き続きBison+Flexの使い方を勉強する。

**片山博文MZコスモ** ◆T6xkBnTXz7B0 · 2014/01/20(月) 12:27:07.18

ここまでの学習成果をまとめました。
http://katahiromz.web.fc2.com/mathai/compiler-tech-ja.zip

次の目標は、Cパーサーの作成です。

**デフォルトの名無しさん** · 2014/01/20(月) 12:34:03.66

あれ、逆コンパイラじゃなかったの？
フロントエンドよりバックエンドの方が重要だろう

俺が知らないうちに方針が変わったのかな

**デフォルトの名無しさん** · 2014/01/20(月) 13:35:44.73

ロバ「方針が変わったのかな」

**デフォルトの名無しさん** · 2014/01/20(月) 14:32:20.01

どうでもいい。アホは自由だけが取り柄、好きにすればいいじゃない。

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/01/25(土) 13:20:17.50

C言語で連結リスト書いたよ。

連結リストライブラリ LinkedListInC
https://github.com/katahiromz/LinkedListInC

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/01/25(土) 17:51:54.00

Cで書くべきかC++で書くべきか？

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/01/25(土) 18:01:36.51

bison+flexで作ったパーサーを２つ以上取り込むことができないから、Cはダメだな、C++にしよう

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/01/27(月) 17:02:56.74

ftp://sunsite.unc.edu/pub/Linux/devel/lang/c/cdecl-2.5.tar.gz

ここにcdeclというプログラムのソースがある。これを分析する。

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/01/30(木) 22:11:39.12

最近はPEGを使うのが流行りなのか？ちょっくら調べてみるか

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/10(月) 23:06:04.01

パーサジェネレータの勉強を兼ねて電卓を作ってます。

**デフォルトの名無しさん** · 2014/02/11(火) 19:47:51.54

bison/flexのパーサーが複数使えないって
片山はマニュアルが理解できないのか

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/11(火) 23:26:24.57

Windowsではまだmodern Bison++(3+)は入手できない。
それにC++に関してはまだ実験的らしい。
すぐに使えなくなりそうなコードは書きたくない。
だからANTLR3を使うことにした。

**デフォルトの名無しさん** · 2014/02/12(水) 22:39:20.23

ドラゴンブックに挫折したか

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/16(日) 10:43:23.84

まだ挫折していません。
ANTLR3でここまですごい電卓ができました。

http://katahiromz.web.fc2.com/mathai/mzcalc3.zip

**デフォルトの名無しさん** · 2014/02/16(日) 12:48:36.08

SS貼れよ

**デフォルトの名無しさん** · 2014/02/16(日) 12:57:23.05

Type [q or Q] to quit
> 871263948761872364871623946182973164+8761928734912634183412379461874234
Result is: 880025877496784999055036325644847398
> s=92183019827349179203471
s := 92183019827349179203471
Result is: 92183019827349179203471
> sin(s)%100.3
Result is: 0.7484296692622107891527456053804399259219719456829430374497200718368
9079690554390091960884209113407122218168687650754654152155867
>

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/18(火) 20:15:08.01

C11を勉強しなければ‥‥

**デフォルトの名無しさん** · 2014/02/20(木) 00:45:01.32

電卓で終わる予感

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/20(木) 12:37:10.33

Grammar Zoo
http://slps.github.io/zoo/

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/20(木) 13:23:01.18

__extension__とか__builtin*とか処理が多いなあ。

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/21(金) 16:51:09.37

ANTLRでFOLLOW_set_in_問題が発生した。これも使えないのか。。。

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/22(土) 13:41:25.80

bison-3.0.2をビルドしようとしたが失敗。
CaperとPEGを試してみる。。。

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/22(土) 19:42:42.68

スマポ？なにそれおいしいの？

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/25(火) 16:56:09.41

Caperは生成に時間がかかる(Core i5で10分)。しかもできるものが非常にでかい。

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/02/28(金) 15:42:30.17

Cパーサのプロトタイプができたよ！！！！
http://katahiromz.web.fc2.com/mathai/cparser2.zip

storage class関連の文法の見直し、並びにT_TYPEDEF_NAME,
T_TYPEDEF_NAME_FIRST, T_TAGNAMEなどの特殊なトークンが必要だった。

それにしてもCaperは時間がかかりすぎ。。。やっぱりBisonが最強かなと思い始める。。。

**デフォルトの名無しさん** · 2014/02/28(金) 18:36:32.65

>>145
あんた偽物だろ。
片山先生ならなぜ時間がかかるかまで調べて教えてくれるはず。

**片山博文MZ無能** ◆T6xkBnTXz7B0 · 2014/03/02(日) 14:00:30.68

さあ、caparの高速化に挑戦するぞ。開発環境はMinGW+MSYS。
まずは、計測。
$ time ./caper.exe -c++ cparser.cpg cparser.hpp
　　　　real 7m50.856s
　　　　user 0m0.015s
　　　　sys 0m0.000s
7分50秒もかかっていることがわかる。

g++のコマンドラインに-pgをつけてビルドすると、
関数の処理時間などをプロファイルするCaperの出来上がり。
　　　　$ ./caper -c++ cparser.cpg cparser.hpp
を実行すると、ファイルgmon.outが作成される。さらに
　　　　$ gprof caper.exe gmon.out > gmon.log
と入力すると、人間にも読めるgmon.logができる。
...（中略）...
その結果、
　　　　real 0m31.862s
　　　　user 0m0.000s
　　　　sys 0m0.031s
となり、30秒程度で処理できるようになった。めでたしめでたし。
http://katahiromz.web.fc2.com/mathai/qcaper.zip

**デフォルトの名無しさん** · 2014/03/02(日) 14:19:11.94

騙されてる

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/03/07(金) 17:53:42.51

ここまでできたぞ！！！
http://katahiromz.web.fc2.com/mathai/cparser4.txz

これより、型システムを実装する。

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/03/10(月) 22:07:35.64

型のデータ構造とASTを構築中。。。

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/03/11(火) 11:51:20.24

@jonigataさんのCaperが劇的に高速化されたらしいぞ！！！
github.com/jonigata/caper

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/03/13(木) 20:23:31.76

汗から関数を切り出すのはできた。汗コードから関数の引数の個数を判定する方法がわからない。
最近汗やってないな。。。

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/03/14(金) 22:06:20.31

雑用とか色々有って忙しいんだよな。
C2EXEの作者でも降臨して手伝ってくれないかなあ～。多分連絡取れないんだろうな。

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/03/14(金) 22:07:44.17

exe2cの間違いだった。。。

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/03/21(金) 16:00:15.28

AST構築中。。。

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/03/23(日) 18:39:59.36

最適化なんてどうでもいいから、早くASTを構築しろって上司に怒鳴られた。
すなおに実装してみるか

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/04/01(火) 12:58:53.08

AST構築完了。次はコンパイルだ。
http://katahiromz.web.fc2.com/mathai/cparser8.txz

**デフォルトの名無しさん** · 2014/04/02(水) 01:48:11.12

まだやってたのか

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/04/02(水) 23:15:39.26

こうして見返してみると馬鹿なコード書いてるのがわかるな。。。
書き直そう。

**片山博文MZジェバンニ** ◆T6xkBnTXz7B0 · 2014/04/07(月) 14:05:00.51

github.com/katahiromz/CodeReverse
更新しました。パースルーチンを追加。コードの近代化。
ライセンスをThe BSD 2-Clause Licenseに変更。
さあ、どんどん作るぞ！！！

**マイク** ◆gZ6OoOjBU6 · 2014/04/20(日) 10:23:49.34

技術レベルの高いことやってるね。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/04/20(日) 17:23:11.71

x86アセンブリから関数の引数のサイズを求める方法がわからない。知ってる人、教えてよ

**デフォルトの名無しさん** · 2014/04/20(日) 20:30:04.45

calling convension調べろよ

**デフォルトの名無しさん** · 2014/04/21(月) 00:20:07.86

そういうのはプロジェクト立ち上げる前に解決しとくと子だろ

**デフォルトの名無しさん** · 2014/04/30(水) 18:48:27.62

catcher

**デフォルトの名無しさん** · 2014/04/30(水) 23:08:35.10

途中何も読んでないから的外れ言ってたらすまんこまんこ
引数はPUSH最後からPUSHで行って、最後にリターンアドレスをPUSHして関数をcallする
arg3
arg2
arg1
retaddr
引数が４バイトで３つの場合、呼び出し直後のスタックはこうなる

**デフォルトの名無しさん** · 2014/04/30(水) 23:20:48.12

関数呼び出し規約の違いは引数の分のスタック処理を誰が責任持つかの違い
__stdcallは呼び出された関数が最後にスタックを整理して返る
__cdeclは呼び出し側がpushした分だけスタックを整理する
__fastcallはcallする前にpushじゃなくて最大２つまでレジスタに値をぶっ込んでからcallする
__thiscallはcallの直前にecxにthisポインタを入れてから呼び出すが、スタック処理は_規定では_stdcallと同じ
関数内でecxにあれこれしてローカル変数っぽいのを弄ってたらなんかしらのクラス決定
__cdeclを指定されたり可変個引数だったりするメンバ関数は、thisポインタを最後にスタックに積んだ気がする

**デフォルトの名無しさん** · 2014/05/01(木) 00:42:00.30

__fastcall調べたなら「スタック処理を誰が責任持つかの違い」じゃ無いことは自明だろがアホ
あとx64だとかなり様変わりする

**デフォルトの名無しさん** · 2014/05/01(木) 02:11:28.08

ごめんニワカなんだすまんこまんこ
__fastcallは3つ以上引数取るときには３つめ以降の責任は__stdcallと同じだったはず
x64はほとんどレジスタで引数やりとりするんだっけ？全く詳しくないが

**デフォルトの名無しさん** · 2014/05/01(木) 02:48:55.05

「引数の渡し方からしてそもそも違う」のに「誰が責任持つかの違い」に限定しなきゃいかん理由は何なんだ。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/01(木) 12:27:44.81

v0.1.0!
https://github.com/katahiromz/CodeReverse

パースした関数のプロトタイプを出力するようになりました。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/01(木) 14:24:04.77

型システムは70％くらいできた。
アセンブリから呼び出し規約と引数のサイズを推定するオートマトンを作らないといけない。
頑張るぜ。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/01(木) 18:16:21.29

Amazonでドラゴンブック二冊目買おうかな
データフローを勉強したいんで

**デフォルトの名無しさん** · 2014/05/01(木) 18:37:14.14

買う買う光線ビーム！！！

**デフォルトの名無しさん** · 2014/05/01(木) 19:17:47.73

こわい

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/02(金) 12:19:45.40

買ったぞーーーー

**デフォルトの名無しさん** · 2014/05/02(金) 22:33:36.49

>>176
つhttp://awabi.2ch.net/test/read.cgi/classical/1389828072/

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/04(日) 13:00:24.41

0.1.1!
https://github.com/katahiromz/CodeReverse

型システムが85％できました。ビットフィールドが難しい。。。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/04(日) 18:25:07.84

ビットフィールド、サポート出来そう。
次はオートマトンに取り組むぞ！！！

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/05(月) 00:10:21.23

【関数呼び出しコード分析における注意点】
☆呼び出しの際、スタックを解放せずに再利用されることがある。
☆呼び出し先のアドレスがレジスタに格納されて呼び出しに使われることがある。
☆また、条件によって場合分けされて呼び出し先の異なるアドレスがレジスタに格納されて呼び出しに使われることがある。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/05(月) 00:44:45.91

レベル０．機械語コード。
レベル１．アセンブリのみのコード。
レベル２．関数に切り分けられたアセンブリコード。
レベル３．レジスタとスタックの直接的操作を含む中間表現コード。
レベル４．レジスタとスタックの直接的操作を含まない中間表現コード。
レベル５．C言語のコード。

#こんな感じかな？

**デフォルトの名無しさん** · 2014/05/05(月) 00:47:27.64

レベル３．レジスタとスタックの直接的操作を含む型なしの中間表現コード。
レベル４．レジスタとスタックの直接的操作を含まない型付きの中間表現コード。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/05(月) 01:30:48.74

命令セットの中間表現はテキストとして与えられる(insn*.dat)。
よって、中間表現の設計とパーサとASTが必要。
中間表現はC言語のサブセットの拡張とする。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/05(月) 15:16:53.17

gccは余分にスタックフレーム確保してる。。。何でだろ？

**デフォルトの名無しさん** · 2014/05/06(火) 13:59:33.71

実現出来てもwatcom cの吐いたバイナリで面白いことになる予感

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/07(水) 18:04:37.38

本が来た━━━━━━━━━！！！

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/08(木) 15:32:25.08

コンパイラが関数だとすると、逆コンパイラは逆関数である。
逆なんだよ、逆。コンパイラのコード生成に対しては、逆コンパイラのコード分析が対応する。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/08(木) 17:50:21.71

__stdcallが一番簡単。__stdcallのときに限ってretの引数があって、それが関数の引数リストのサイズ。
__stdcallでないときはretに引数がなく、呼び出し側が引数スタックを解放する。
__cdeclか__fastcallか__thiscallの判断はレジスタの使用や関数呼び出しの状況を統計するしか方法はない。
スタックやレジスタやヒープの型情報とデータと式などを統合して扱う仕組みが必要。

**デフォルトの名無しさん** · 2014/05/09(金) 09:45:23.59

統計しなくても理詰めで解けるケースを想定できんのか
//どっちみち可変長引数は詰むけどな

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/10(土) 00:46:59.62

ある関数内で呼び出すターゲット関数のスタック引数サイズは、スタックフレームマイナススタックポインタ以下の値を取りうる。
関数内でターゲット関数の呼び出しが１回のみで他にスタック操作をしていないなら、そのときのスタック引数サイズは確定する。
ターゲット関数内のレジスタとスタックの使用状況から、スタック引数サイズの下限がわかる。
可変長引数の場合は、スタック引数サイズは下限以上の値になる。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/10(土) 00:54:06.86

ということは、スタックフレームイコールスタックポインタの場合はターゲット関数の
スタック引数サイズはゼロで確定で、ターゲット関数に対する統計は不要という訳か？

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/10(土) 01:26:55.17

１．関数のスタック引数サイズとローカル領域を確定し、スタック操作を仮想化する。
２．コードを基本ブロックに分け、分岐を仮想化する。
３．オペランドに型を付けて型推論を行う。
４．データフロー解析を行い、中間表現へ変換。オペランドを式に抽象化する。
５．読みやすいように最適化しながら、コード生成を行う。
６．AStyleを使ってコードを整形する。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/11(日) 18:12:03.14

0.1.4!　コードを整理。
https://github.com/katahiromz/CodeReverse

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/14(水) 13:48:10.03

x86のintrinsicのまとまった情報が欲しいけど見付からない

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/15(木) 19:14:50.89

符号付きか符号なしか分からない型をxsignedで表す。
未知の型はunknown%d_tという型を付ける。未知の型について型の属性を解析していく。
例えば、即値xが非ゼロで上位ワードがゼロならポインタでなく整数である。
callの引数は間違いなく関数ポインタである。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/16(金) 00:32:42.44

ということは、intrinsicのアセンブリパターンをほとんど全部調べて、
パターンマッチングでパターンごとに中間表現に置き換えていく必要があるんやで。
パターンデータを用意するのが大変やで、しかし。

**片山博文MZバグロボ** ◆T6xkBnTXz7B0 · 2014/05/17(土) 23:48:39.82

pattern {
(アセンブリのテンプレート)
} code {
(中間表現)
}

こんな感じのテキストデータを事前に読み込んで、それ(置き換え規則)を使って
パターンマッチを行い、中間表現への置き換えをする。
テンプレートには$1,$2,$3,...などの引数が書ける。

**デフォルトの名無しさん** · 2014/05/18(日) 05:43:49.87

パターンが足りず変換し損なうか、パターンが意図しない場所にマッチして変換し損なうか、
マッチ候補の組み合わせ探索量が爆発して尋常じゃなく遅くなる、て未来が見えそうだね。

**デフォルトの名無しさん** · 2014/05/18(日) 11:59:58.99

最適化されたバイナリとか全く考えて無さそうだな
変換できなかったらインラインアセンブリのソースに変換します！　ならかっこいいｗ

**デフォルトの名無しさん** · 2014/05/18(日) 12:30:27.39

>>199
それ言い出すとインラインアセンブリだらけになっちゃうだろ！