■ このスレッドは過去ログ倉庫に格納されています
逆コンパイラCodeReverseを作る
- 1 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/24(火) 14:58:48.34 .net
- CodeReverseは、片山博文MZが開発している、Windows用の逆アセンブラ兼ダンプツールです。
最終的には「リバーシブルな」逆コンパイラを目指しています。
CodeReverse公式サイト
http://katahiromz.web.fc2.com/codereverse/
GitHubレポジトリはこちら
https://github.com/katahiromz/CodeReverse
- 2 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/24(火) 14:59:38.45 .net
- 【実行可能ファイル(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
- 3 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/24(火) 15:00:12.24 .net
- 【遅延読み込み関連】
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
- 4 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/24(火) 15:01:34.04 .net
- 【逆アセンブル・逆コンパイル技術に関して】
Cの逆コンパイラはどこまで実現可能か
http://www5d.biglobe.ne.jp/~noocyte/Programming/Decompile.html
逆コンパイラ - Wikipedia
http://ja.wikipedia.org/wiki/%E9%80%86%E3%82%B3%E3%83%B3%E3%83%91%E3%82%A4%E3%83%A9
逆アセンブラ - Wikipedia
http://ja.wikipedia.org/wiki/%E9%80%86%E3%82%A2%E3%82%BB%E3%83%B3%E3%83%96%E3%83%A9
エイリアス解析 - Wikipedia
http://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%A4%E3%83%AA%E3%82%A2%E3%82%B9%E8%A7%A3%E6%9E%90
エスケープ解析 - Wikipedia
http://ja.wikipedia.org/wiki/%E3%82%A8%E3%82%B9%E3%82%B1%E3%83%BC%E3%83%97%E8%A7%A3%E6%9E%90
コールグラフ - Wikipedia
http://ja.wikipedia.org/wiki/%E3%82%B3%E3%83%BC%E3%83%AB%E3%82%B0%E3%83%A9%E3%83%95
シェープ解析 - Wikipedia
http://ja.wikipedia.org/wiki/%E3%82%B7%E3%82%A7%E3%83%BC%E3%83%97%E8%A7%A3%E6%9E%90
データフロー解析 - Wikipedia
http://ja.wikipedia.org/wiki/%E3%83%87%E3%83%BC%E3%82%BF%E3%83%95%E3%83%AD%E3%83%BC%E8%A7%A3%E6%9E%90
ポインタ解析 - Wikipedia
http://ja.wikipedia.org/wiki/%E3%83%9D%E3%82%A4%E3%83%B3%E3%82%BF%E8%A7%A3%E6%9E%90
制御フローグラフ - Wikipedia
http://ja.wikipedia.org/wiki/%E5%88%B6%E5%BE%A1%E3%83%95%E3%83%AD%E3%83%BC%E3%82%B0%E3%83%A9%E3%83%95
制御構造 - Wikipedia
http://ja.wikipedia.org/wiki/%E5%88%B6%E5%BE%A1%E6%A7%8B%E9%80%A0
静的単一代入 - Wikipedia
http://ja.wikipedia.org/wiki/%E9%9D%99%E7%9A%84%E5%8D%98%E4%B8%80%E4%BB%A3%E5%85%A5
- 5 :デフォルトの名無しさん:2013/09/24(火) 15:02:38.62 .net
- パッと思いつくのは
・アドレスにラベルを割り付ける
・関数を切り分ける
・スタックフレームから関数引数・ローカル変数・戻り値を切り出す
・if/for/switchを抽出して構文化する
・DLLからロードされるシンボルを置き換える
解説しているサイトとかあるかは調べてないので知らん
どうせ defineされた定数をマクロ名に戻せないとか
構造体復元が難しいとかあるから大したことはできん
- 6 :デフォルトの名無しさん:2013/09/24(火) 20:57:40.99 .net
- このスレッドは天才チンパンジー「アイちゃん」が
言語訓練のために立てたものです。
アイと研究員とのやり取りに利用するスレッドなので、
関係者以外は書きこまないで下さい。
京都大学霊長類研究所
- 7 :デフォルトの名無しさん:2013/09/24(火) 21:39:53.66 .net
- ネタスレはマ板でやれよ。
> Cの逆コンパイラはどこまで実現可能か
アフィサイト晒してんじゃねーよ。 内容もちょい微妙だし。
まず、アセンブリから C/C++ へのトランスレータは簡単だろ?
そっからどの程度 C/C++ らしい表現にするかが問題なんだろ?
何から手を付けてどういう順番でやるつもりなの。
- 8 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/24(火) 22:00:04.49 .net
- まずは関数の切り分け(手元では入り口を解析する形でほぼ完了)。次は関数情報とスタックフレームの解析。
そして中間表現の定義と中間表現への変換。さらに構文解析と型情報の処理。
トランスレータって言ってもそんなに簡単じゃない。
リソースのダンプでいいのないか(オープンなの)?
- 9 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/24(火) 22:13:52.02 .net
- 関数には__cdecl、__stdcall、__pascal、__fastcall、単純ジャンプ関数の五種類あるんだけど、これをどうやって判別するかという問題がある。
遅延ロード情報の取り込みもしたい。ソース希望。
- 10 :デフォルトの名無しさん:2013/09/24(火) 22:17:55.08 .net
- OllyDbgじゃダメなんか
分かってる人には充分だろ
- 11 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/24(火) 23:05:03.62 .net
- ネタスレではありません。私は本気です。明日、OllyDbgのソースをDLしてみます。
CodeReverseは、NASMのコードを一部拝借しています。
多分、構文解析用のインクルードファイルが必要になると思います。
MinGWから頂くかも知れません。ライセンスはどうするか? アイコンのデザイン、洒落てるでしょ?
- 12 :デフォルトの名無しさん:2013/09/24(火) 23:06:25.98 .net
- できたらよんで。
- 13 :デフォルトの名無しさん:2013/09/24(火) 23:17:17.38 .net
- >>11
> MinGWから頂くかも知れません。ライセンスはどうするか? アイコンのデザイン、洒落てるでしょ?
MinGWのソース使ったら、配布するときのライセンスはGPLになると思う。
一部パブリックドメインらしいけれど。
- 14 :デフォルトの名無しさん:2013/09/25(水) 00:34:40.81 .net
- アムロの親父みたいに俺の親父もボケてしまった。
たしかに昔はある分野で日本一の技能をもってた。俺の目標は親父だった。
今は硬い世界の殻に閉じこもってしまって、もはや日常会話しか通じない。
- 15 :デフォルトの名無しさん:2013/09/25(水) 02:11:22.19 .net
- うーむ、今のところこの世にまともなC/C++の逆コンパイラが
存在しない事を考えても片山程度の技術力で作れるとは思えんが・・・
- 16 :デフォルトの名無しさん:2013/09/25(水) 05:45:24.18 .net
- ま、なんかできたらまた呼んでくれ
- 17 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/25(水) 21:15:11.17 .net
- ヘッダファイルもプリプロセッサも要るから、単純にMinGWに寄生する形にします。
バージョンアップの度にいちいちでっかいファイルをダウンロードさせるのも不憫だから。
ライセンスはGPLになる予定です。
- 18 :デフォルトの名無しさん:2013/09/25(水) 21:50:21.91 .net
- つーか、片山GUIはどうした?予想通り挫折したのか?
そんなんじゃ逆コンパイラなんてもっと無理だろ
- 19 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/25(水) 22:56:47.40 .net
- 自動車の命はエンジンでしょ。GUIは後で自由に作れるから。
- 20 :デフォルトの名無しさん:2013/09/26(木) 00:17:10.71 .net
- 自動車の命は乗り心地だと思う
- 21 :デフォルトの名無しさん:2013/09/26(木) 01:24:31.25 .net
- >>19
そういう問題じゃねーだろw
お前にはモノを最後まで作り上げる能力が無いって事だ
あれだけWin32APIやMFCに代わるGUIを作るって豪語してたろ
多分お前はこの逆コンパイラも作れないし、後になってもGUIも作れんよ
- 22 :デフォルトの名無しさん:2013/09/26(木) 01:48:56.57 .net
- まあ一人で色々作ってたら未完成になることは多い。
そういう未完星人の同類なら、GUI作りくらい協力してやってもいい。
だが残念だがそれは無理だ。なぜなら彼が作っている物は俺よりしょぼい。
もはや彼が俺に「あなたのプロジェクトに協力させて下さい」と頼まなければいけないレベルなのだ。
残念である。世の中は不条理に満ちている。
- 23 :デフォルトの名無しさん:2013/09/26(木) 01:53:10.86 .net
- まあ誰もが出来ないと思ってるよ
グラフィックライブラリもこれを最後に音沙汰なしだしな
975 名前:片山博文MZパンク ◆0lBZNi.Q7evd [sage] 投稿日:2013/03/21(木) 03:21:59.90
MZC2順調に開発中。。。
- 24 :デフォルトの名無しさん:2013/09/26(木) 01:55:38.06 .net
- 順調に開発中クソワロタwww
どこが順調なんだよwww
- 25 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 02:03:09.27 .net
- CUIの有り難みがわからない人とは話しが合わないっす。
CUIにパイプラインをつなげてGUIを作るなんてお茶の子さいさいっす。
俺はサイドビジネスで忙しいから、空いた時間で作ってるっす。
CUIの使い方も知らない人はうざいから消えてね。
- 26 :デフォルトの名無しさん:2013/09/26(木) 02:09:39.70 .net
- 出来ない人間の言い訳きたwww
- 27 :デフォルトの名無しさん:2013/09/26(木) 02:13:56.61 .net
- ふーむ、CUIのありがたみがわかってる人間がなんでわざわざ
二番煎じのGUIを作ろうと思ったのか。しかもオリジナルより劣化してる。
更には、お茶の子さいさいと言いながら、いまだに何の成果物も出せないのはこれいかに。
>>23のレスからもう半年も経過しているが。
- 28 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 02:17:11.27 .net
- 俺は貴様らよりも自由じゃないから。夜遊びはできないし、インターネットに
つなげてもらえないし。パソコンの使用時間は制限されてるし。
この書き込みも見張りに見つからないように携帯から書き込んでいるところ。
- 29 :デフォルトの名無しさん:2013/09/26(木) 02:17:33.78 .net
- 典型的な口だけダメ人間の末路だなw
- 30 :デフォルトの名無しさん:2013/09/26(木) 02:19:58.65 .net
- こりゃアカンで。ちょっと期待してたらどうやら>>1の人格・人間性に
相当の問題アリやな。
- 31 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 02:24:00.61 .net
- クロスワードギバーというパズル作成ソフトで結構反響あった。MZ KeyLoggerもわりと人気あるし。
- 32 :デフォルトの名無しさん:2013/09/26(木) 02:31:14.21 .net
- そうそう幅広くニッチなところ狙ってけ。おまえはわけのわからんものを大量に発明して東京都知事選に変態枠で出馬するようなタイプなんだ。
- 33 :デフォルトの名無しさん:2013/09/26(木) 03:00:48.33 .net
- × 大量に発明して
○ 大量に「発明するぞ」というだけ言って
- 34 :デフォルトの名無しさん:2013/09/26(木) 03:13:24.63 .net
- >>32
当選は枠があるけど出馬は出たきゃ出れるんじゃなかったっけ?
- 35 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 03:21:52.79 .net
- エクスポート名の@の右の数字は引数全体のサイズだよね?
- 36 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 03:33:33.17 .net
- で、__stdcallの引数全部のサイズが命令retの第一オペランドの値だよね?
そして、スタックフレームはebpとespの値の増減を調べないとわからないんだよね?
- 37 :デフォルトの名無しさん:2013/09/26(木) 04:25:32.36 .net
- キャバクラでかわいいホステスと夜遊びしたいな
- 38 :デフォルトの名無しさん:2013/09/26(木) 04:40:58.94 .net
- >>9は間違いね。__pascalなんてないし、64ビットに言及がないし、単純ジャンプ関数って何じゃそれ
- 39 :デフォルトの名無しさん:2013/09/26(木) 04:42:37.87 .net
- 以下、sage進行でよろしくお願いします。
- 40 :デフォルトの名無しさん:2013/09/26(木) 04:43:48.36 .net
- 片山死ねよ
- 41 :デフォルトの名無しさん:2013/09/26(木) 04:50:14.13 .net
- >>35-36
Win32 べったりの話? 何にも知らないんだね。
DEF ファイルを使った DLL からのエクスポート
で検索してご覧、MSDN 内のページが引っかかるから。
悪いけど、主要な(少なくともターゲットとする)コンパイラやアセンブラやリンカのマニュアルを読んでから質問してくれる?
ていうかブログでやってくんない?
- 42 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 05:19:27.11 .net
- ブッブー、defファイルではなく__stdcall,__fastcall関数のmanglingの話でした。
manglingされたシンボル名から元の名前を求めるのは大変みたいですね。
- 43 :デフォルトの名無しさん:2013/09/26(木) 12:44:34.10 .net
- 片山にすら馬鹿にされる>>41w
- 44 :デフォルトの名無しさん:2013/09/26(木) 15:58:38.68 .net
- >>43
まぁだがコンパイラ毎ではあるもののマングリングは明確な規則で行われてるわけで…
それを難しいとか言ってるようではC/C++コードへの復元とか夢のまた夢だわな。
呼び出し規約と関数内のレジスタ利用方法の規約ゴッチャにしてる辺りも残念すぎる。
- 45 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 16:36:10.77 .net
- v0.0.1にバージョンアップしました。
関数の切り分けができるようになりました。
課題1:DisAsmメソッドの中で各関数の種類(FUNCTIONTYPE)を確定させる。
また、各関数の引数全部のサイズを求める。関数内関数の対処。
- 46 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 16:47:55.24 .net
- 名前修飾(Name mangling) - Wikipedia
http://ja.wikipedia.org/wiki/%E5%90%8D%E5%89%8D%E4%BF%AE%E9%A3%BE
EXEからコンパイラの種類を判定する方法ってありますか?
- 47 :デフォルトの名無しさん:2013/09/26(木) 17:01:43.67 .net
- 全パターンぶんデマングルしてみてうまくデマングルできたやつを採用すればいいんじゃない
- 48 :デフォルトの名無しさん:2013/09/26(木) 17:13:14.26 .net
- PEiDでも調べれば?
- 49 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/26(木) 17:14:44.75 .net
- g++の場合は、プログラムc++filtで解読できるようです。
gccの場合はわからない。
VCの場合はdbghelp.dllのUnDecorateSymbolName関数で。
UnDecorateSymbolName function
http://msdn.microsoft.com/en-us/library/ms681400(v=VS.85).aspx
- 50 :デフォルトの名無しさん:2013/09/26(木) 17:44:57.55 .net
- 正直ね、片山さんのその技術力で
逆コンパイラじゃなくて
C#とD言語を上手く改良したような実用できる言語作ってほしい
逆コンパイラの都合のいい言語みたいな感じでもいいから。
そしたら実装も楽になるかもよ。
これ作るついでにやってみてくれないかな?
- 51 :デフォルトの名無しさん:2013/09/26(木) 17:46:26.52 .net
- ネイティブC#みたいな位置づけのさ。
D言語だと正直不安定すぎて使えなさすぎなのよ
- 52 :デフォルトの名無しさん:2013/09/26(木) 18:02:30.28 .net
- マングル返し
- 53 :デフォルトの名無しさん:2013/09/26(木) 21:07:00.30 .net
- Microsoft C は、シリアル番号をオブジェクトファイルに
埋め込んでるってうわさ話があったな...
- 54 :デフォルトの名無しさん:2013/09/26(木) 21:51:10.45 .net
- >>53
そんな速攻で検証できそうなことをわざわざするかなぁ……?
- 55 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/27(金) 23:46:08.32 .net
- 課題2:アドレスからスタック状態集合への写像
課題3:コンパイラの種類を判定するコード
課題4:アセンブリ命令が何を参照し、何を変更するかの情報
課題5:データ型の管理方法
これらに関して知ってることがあれば俺に教えて下さい。
- 56 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/09/27(金) 23:57:00.28 .net
- 次のリリースは、pimplで読みやすいコードになる予定。
今までの人工知能研究の全てを注ぎ込んで、頑張りますのでご声援を。
- 57 :デフォルトの名無しさん:2013/10/01(火) 01:51:25.40 .net
- いや、そのレベルでいったいなにをつくるきなんだ…
- 58 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/01(火) 03:17:28.27 .net
- コントロールパスというのがよくわからん。単純にプロファイルするとループで無限長になってしまうよな。
掛け算と割り算のキャリーとオーバーフロー条件の違いもよくわからん。
- 59 :デフォルトの名無しさん:2013/10/01(火) 11:32:44.36 .net
- 前途は多難ですね
- 60 :デフォルトの名無しさん:2013/10/01(火) 20:18:53.42 .net
- 思った以上にレベル低過ぎてワロタw
- 61 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/03(木) 03:08:46.39 .net
- ファンクタって関数ポインタより使いやすいな
- 62 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/07(月) 13:30:07.20 .net
- v0.0.2にバージョンアップ。
コードの整理。insn*.datファイル、mzc2mini.{h,cpp}ファイルの追加。
関数内関数の対処。
- 63 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/07(月) 14:16:22.09 .net
- insnはinstructionの略でアセンブリの命令のこと。
次は、コントロールパスとスタック状態の取得に挑戦します。
- 64 :デフォルトの名無しさん:2013/10/11(金) 19:27:45.10 .net
- サイドビジネスで疲れてMPがない
妙なバグがまだ取れてない
頑張るしかないか
- 65 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/13(日) 13:52:28.76 .net
- コントロールパスの組み合わせが無限になるバグが修正できない。
ループは排除したのに。
- 66 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/13(日) 14:05:29.47 .net
- 無限大じゃなかったけど、コントロールパスが768通りって多すぎないか?
- 67 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/22(火) 12:20:36.64 .net
- スタックについて必死に勉強中です。
- 68 :デフォルトの名無しさん:2013/10/22(火) 14:04:27.97 .net
- 一進一退というか一進二退くらいになってるような
- 69 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/23(水) 19:37:09.10 .net
- 三値論理サイコー!!!
- 70 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/24(木) 18:56:52.09 .net
- コントロールパスよりもCFGの方が重要だとわかった。目標が間違ってた。
- 71 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/26(土) 14:30:59.02 .net
- v0.0.4 CFGの取得が可能になりました。
- 72 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/26(土) 14:58:46.20 .net
- 型情報がない状態で、レジスタとスタックの使用状況がわからないと、
関数の呼び出し規約や引数は分析できませんね。
insn16.dat/insn32.dat/insn64.datファイルに書かれているような
中間表現によって、アセンブリとC言語ソースをつなげようと
考えています。
- 73 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/26(土) 15:41:05.76 .net
- 定数畳み込み
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
- 74 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/30(水) 20:24:40.83 .net
- 逆コンパイラに興味ある人は少ないみたいだな
- 75 :デフォルトの名無しさん:2013/10/30(水) 21:29:01.31 .net
- そりゃそうだ。リバースエンジニアリングってのはどちらかといえば破壊行為だし。
この板の連中はおまえの想像以上に生産的(破壊的の反対)なんだよ。
- 76 :デフォルトの名無しさん:2013/10/30(水) 21:32:36.77 .net
- それ以前に「どうせ無理だろ……」と多勢が思っていることもあるだろうね
- 77 :デフォルトの名無しさん:2013/10/30(水) 21:54:20.33 .net
- コンパイラが多すぎて全部はソースに変換できないって分ってからなぁ・・・
そしてコテ的に>>76
- 78 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/10/30(水) 23:14:18.48 .net
- 次は中間表現の生成をやります。
- 79 :デフォルトの名無しさん:2013/10/31(木) 14:41:22.66 .net
- 実用レベルに足るものは不可能とわかっているから
- 80 :デフォルトの名無しさん:2013/10/31(木) 16:34:19.29 .net
- 彼でも1〜2年で限定用途なら可能だろうし
5〜10年も頑張れば実用レベルのが出来るんじゃないかな?ただそれだけ頑張った見返りがあるか疑問だが。
- 81 :デフォルトの名無しさん:2013/10/31(木) 22:56:48.52 .net
- MFCの劣化ライブラリも腐っているしな
- 82 :デフォルトの名無しさん:2013/11/01(金) 02:38:40.90 .net
- >>80
何一つ完成させたことが無いのに?
- 83 :デフォルトの名無しさん:2013/11/03(日) 11:21:11.34 .net
- >>74
興味ありますよ頑張ってください応援してます
- 84 :デフォルトの名無しさん:2013/11/05(火) 00:26:28.24 .net
- え、まずはコンパイラ作ってみたら?
- 85 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/11/06(水) 05:20:59.14 .net
- しばらくスクリーンセーバーの開発に時間を割くことにします。GUIはwxを採用します。
- 86 :デフォルトの名無しさん:2013/11/06(水) 09:52:43.11 .net
- MZC使えよバカ、作った人にも使われないなんてよっぽどだな(笑)
- 87 :デフォルトの名無しさん:2013/11/07(木) 02:36:02.70 .net
- 馬鹿がまた飽きたのかwww
こいつ本当に何一つ最後まで作れないなw
- 88 :デフォルトの名無しさん:2013/11/07(木) 02:51:13.49 .net
- 最後まで作らないうえに86とかどうしようもねぇな
- 89 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/11/07(木) 03:16:18.11 .net
- 仕事の合間にLinuxのスクリーンセーバーをWindowsに移植したら、海外から何件か要望が来た。
要望の多い方を優先する方針。すまない。何ならGitHubで開発に参加してくれると助かるのだが…。
- 90 :デフォルトの名無しさん:2013/11/07(木) 05:56:33.83 .net
- まあ簡単な方から片付けていくのが効率的人生の鉄則ではある。
- 91 :デフォルトの名無しさん:2013/11/07(木) 08:18:28.62 .net
- また偽装請負か・・・
- 92 :デフォルトの名無しさん:2013/11/07(木) 09:58:06.11 .net
- 解散
- 93 :デフォルトの名無しさん:2013/11/09(土) 13:24:53.90 .net
- クッソワロス、やっぱり最初に言った通り途中で挫折したw
ちなみに、こいつが途中で他のを優先すると言って
また開発に戻った例は無いぞw
- 94 :デフォルトの名無しさん:2013/11/13(水) 12:33:23.15 .net
- まだだ、まだ俺のスタック領域は溢れちゃいねェ
- 95 :デフォルトの名無しさん:2013/11/17(日) 20:32:31.71 .net
- 保守
- 96 :デフォルトの名無しさん:2013/11/25(月) 22:33:11.84 .net
- catcher
- 97 :デフォルトの名無しさん:2013/11/30(土) 01:37:10.38 .net
- >>50-51
Salamander
- 98 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/12/03(火) 11:45:36.02 .net
- スクリーンセーバーの移植が終わったので、CodeReverseの開発を再開します。
- 99 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/12/05(木) 23:14:57.22 .net
- また仕事が入った
- 100 :デフォルトの名無しさん:2013/12/13(金) 23:20:47.44 .net
- catcher
- 101 :デフォルトの名無しさん:2013/12/19(木) 04:29:33.68 .net
- Windows 系の .exe .dll を逆コンパイルするので分りやすいコードを吐いてくれるのは
今って何が高性能?
C#ぐらいの言語っぽいのだと分りやすいんだけど
- 102 :デフォルトの名無しさん:2013/12/19(木) 18:50:48.68 .net
- 機械語からの逆コンパイルは大抵ろくなコードが出てこない。
マトモなコードになるのは中間言語からの逆コンパイルくらいだな。
.NETやJavaやActionScriptやHSPの中間言語は結構普通の逆コンパイル結果が得られる。
- 103 :101:2013/12/21(土) 05:43:16.03 .net
- 逆コンパイルで出てきたコードを書き換えてコンパイルしようという訳じゃないんだ。
機器のログを表示するソフトのデータ読み込みにバグがあるみたいで
自分で表示用データを出せるプログラム作ろうとしたら一部計算式が分らない
三角関数だろうけど
- 104 :デフォルトの名無しさん:2013/12/21(土) 06:25:42.35 .net
- >>103
だから中間言語使った実行ファイルなら逆コンパイルも実用になるけど、
機械語使った実行ファイルの逆コンパイラはなかなか実用にならんよ。
たぶん逆アセンブラがなんだかんだ一番実用的だと思うぞ。
その.exeや.dllが中間言語使ってる実行ファイルかどうかは知らん。
.NETあたりだと逆コンパイルも楽だから.NETだといいね。
- 105 :デフォルトの名無しさん:2013/12/21(土) 09:06:13.91 .net
- >>103
その機器のメーカーに直してもらえよ
- 106 :デフォルトの名無しさん:2013/12/21(土) 10:17:26.47 .net
- アセンブラは機械語と一対一に対応しているとよく言われるけど、
実際は対応していない。
同じアセンブリでも配置によって複数の機械語から特定のコードを選択
しなければならないプロセッサはよくありがち。
いろいろ面倒だよ。
- 107 :デフォルトの名無しさん:2013/12/21(土) 13:06:51.16 .net
- >>103
ログ読み取りに不透明要素を持ちこむな 本末転倒にもほどがある
- 108 :デフォルトの名無しさん:2013/12/31(火) 23:55:12.69 .net
- catcher
- 109 :デフォルトの名無しさん:2014/01/01(水) 03:35:02.64 .net
- >575 名前:片山博文MZコスモ ◆T6xkBnTXz7B0 :2013/12/31(火) 22:44:07.54
>2013年の実績:
>クロスワードギバーを完成。
>XScreenSaverの200個以上のスクリーンセーバーをWindowsに移植。
>逆アセンブラを途中まで作成。
いつのまにか逆アセンブラにグレードダウン(笑)
なんというか、「〜をダウンロードした」とか「〜を勉強中」など
どうでもいいことは大声で宣伝するが、重要なことは何も言わないとか・・・
- 110 :デフォルトの名無しさん:2014/01/02(木) 04:25:05.69 .net
- ネタギレです…しばらく保守になります。
この停滞状態が我慢できなければGitHubでPull requestしてね
- 111 :デフォルトの名無しさん:2014/01/02(木) 18:37:25.91 .net
- 都合が悪くなると名無しで発言するんだな、発言の内容からして本人であることは明白なんだが
- 112 :デフォルトの名無しさん:2014/01/04(土) 23:27:07.00 .net
- ドラゴンプック買えばいいんですかね?
- 113 :デフォルトの名無しさん:2014/01/05(日) 02:54:40.24 .net
- 無駄にはならんと思うが、つまみ食い気分で買うにはちとお高いよ
- 114 :デフォルトの名無しさん:2014/01/08(水) 19:09:04.82 .net
- アマゾンギフト券2000円を買ったぞ
中古のドラゴンブック買うぞーー!
- 115 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2014/01/13(月) 16:06:36.73 .net
- ドラゴンブック、1000円くらいの中古を買っちゃった!!!!!
さあ、ドラゴンと戦うぞ!!!
- 116 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2014/01/16(木) 11:57:51.63 .net
- 「コンパイラI原理・技法・ツール」が家に届いたぞー
戦闘開始!
- 117 :デフォルトの名無しさん:2014/01/16(木) 21:01:39.45 .net
- コンパイラ「ロバwwwwwwwwwwwwwwwwwwww」
- 118 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2014/01/17(金) 16:33:31.45 .net
- 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にインストールしちゃ駄目らしい。やり直し。
- 119 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2014/01/17(金) 16:44:20.33 .net
- これも必要
set BISON_PKGDATADIR=C:\GnuWin32\share\bison
- 120 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2014/01/17(金) 17:21:08.45 .net
- 報告。ドラゴン本第三章まで読了。左再帰を右再帰に直す方法を学習した。
フロントエンド、フェーズなどの用語を習得した。
GNU Win32 Bison(Yacc)+Flex(Lex)のインストールに成功した。
引き続きBison+Flexの使い方を勉強する。
- 121 :片山博文MZコスモ ◆T6xkBnTXz7B0 :2014/01/20(月) 12:27:07.18 .net
- ここまでの学習成果をまとめました。
http://katahiromz.web.fc2.com/mathai/compiler-tech-ja.zip
次の目標は、Cパーサーの作成です。
- 122 :デフォルトの名無しさん:2014/01/20(月) 12:34:03.66 .net
- あれ、逆コンパイラじゃなかったの?
フロントエンドよりバックエンドの方が重要だろう
俺が知らないうちに方針が変わったのかな
- 123 :デフォルトの名無しさん:2014/01/20(月) 13:35:44.73 .net
- ロバ「方針が変わったのかな」
- 124 :デフォルトの名無しさん:2014/01/20(月) 14:32:20.01 .net
- どうでもいい。アホは自由だけが取り柄、好きにすればいいじゃない。
- 125 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/01/25(土) 13:20:17.50 .net
- C言語で連結リスト書いたよ。
連結リストライブラリ LinkedListInC
https://github.com/katahiromz/LinkedListInC
- 126 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/01/25(土) 17:51:54.00 .net
- Cで書くべきかC++で書くべきか?
- 127 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/01/25(土) 18:01:36.51 .net
- bison+flexで作ったパーサーを2つ以上取り込むことができないから、Cはダメだな、C++にしよう
- 128 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/01/27(月) 17:02:56.74 .net
- ftp://sunsite.unc.edu/pub/Linux/devel/lang/c/cdecl-2.5.tar.gz
ここにcdeclというプログラムのソースがある。これを分析する。
- 129 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/01/30(木) 22:11:39.12 .net
- 最近はPEGを使うのが流行りなのか? ちょっくら調べてみるか
- 130 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/10(月) 23:06:04.01 .net
- パーサジェネレータの勉強を兼ねて電卓を作ってます。
- 131 :デフォルトの名無しさん:2014/02/11(火) 19:47:51.54 .net
- bison/flexのパーサーが複数使えないって
片山はマニュアルが理解できないのか
- 132 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/11(火) 23:26:24.57 .net
- Windowsではまだmodern Bison++(3+)は入手できない。
それにC++に関してはまだ実験的らしい。
すぐに使えなくなりそうなコードは書きたくない。
だからANTLR3を使うことにした。
- 133 :デフォルトの名無しさん:2014/02/12(水) 22:39:20.23 .net
- ドラゴンブックに挫折したか
- 134 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/16(日) 10:43:23.84 .net
- まだ挫折していません。
ANTLR3でここまですごい電卓ができました。
http://katahiromz.web.fc2.com/mathai/mzcalc3.zip
- 135 :デフォルトの名無しさん:2014/02/16(日) 12:48:36.08 .net
- SS貼れよ
- 136 :デフォルトの名無しさん:2014/02/16(日) 12:57:23.05 .net
- 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
>
- 137 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/18(火) 20:15:08.01 .net
- C11を勉強しなければ‥‥
- 138 :デフォルトの名無しさん:2014/02/20(木) 00:45:01.32 .net
- 電卓で終わる予感
- 139 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/20(木) 12:37:10.33 .net
- Grammar Zoo
http://slps.github.io/zoo/
- 140 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/20(木) 13:23:01.18 .net
- __extension__とか__builtin*とか処理が多いなあ。
- 141 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/21(金) 16:51:09.37 .net
- ANTLRでFOLLOW_set_in_問題が発生した。これも使えないのか。。。
- 142 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/22(土) 13:41:25.80 .net
- bison-3.0.2をビルドしようとしたが失敗。
CaperとPEGを試してみる。。。
- 143 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/22(土) 19:42:42.68 .net
- スマポ? なにそれおいしいの?
- 144 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/25(火) 16:56:09.41 .net
- Caperは生成に時間がかかる(Core i5で10分)。しかもできるものが非常にでかい。
- 145 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/02/28(金) 15:42:30.17 .net
- Cパーサのプロトタイプができたよ!!!!
http://katahiromz.web.fc2.com/mathai/cparser2.zip
storage class関連の文法の見直し、並びにT_TYPEDEF_NAME,
T_TYPEDEF_NAME_FIRST, T_TAGNAMEなどの特殊なトークンが必要だった。
それにしてもCaperは時間がかかりすぎ。。。やっぱりBisonが最強かなと思い始める。。。
- 146 :デフォルトの名無しさん:2014/02/28(金) 18:36:32.65 .net
- >>145
あんた偽物だろ。
片山先生ならなぜ時間がかかるかまで調べて教えてくれるはず。
- 147 :片山博文MZ無能 ◆T6xkBnTXz7B0 :2014/03/02(日) 14:00:30.68 .net
- さあ、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
- 148 :デフォルトの名無しさん:2014/03/02(日) 14:19:11.94 .net
- 騙されてる
- 149 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/03/07(金) 17:53:42.51 .net
- ここまでできたぞ!!!
http://katahiromz.web.fc2.com/mathai/cparser4.txz
これより、型システムを実装する。
- 150 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/03/10(月) 22:07:35.64 .net
- 型のデータ構造とASTを構築中。。。
- 151 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/03/11(火) 11:51:20.24 .net
- @jonigataさんのCaperが劇的に高速化されたらしいぞ!!!
github.com/jonigata/caper
- 152 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/03/13(木) 20:23:31.76 ID:AgM9wxep.net
- 汗から関数を切り出すのはできた。汗コードから関数の引数の個数を判定する方法がわからない。
最近汗やってないな。。。
- 153 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/03/14(金) 22:06:20.31 ID:j99O0IvR.net
- 雑用とか色々有って忙しいんだよな。
C2EXEの作者でも降臨して手伝ってくれないかなあ〜。多分連絡取れないんだろうな。
- 154 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/03/14(金) 22:07:44.17 ID:j99O0IvR.net
- exe2cの間違いだった。。。
- 155 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/03/21(金) 16:00:15.28 ID:15wzZBuZ.net
- AST構築中。。。
- 156 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/03/23(日) 18:39:59.36 ID:FjLlR1KU.net
- 最適化なんてどうでもいいから、早くASTを構築しろって上司に怒鳴られた。
すなおに実装してみるか
- 157 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/04/01(火) 12:58:53.08 ID:zF3pKyMj.net
- AST構築完了。次はコンパイルだ。
http://katahiromz.web.fc2.com/mathai/cparser8.txz
- 158 :デフォルトの名無しさん:2014/04/02(水) 01:48:11.12 ID:DfhRYDJb.net
- まだやってたのか
- 159 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/04/02(水) 23:15:39.26 ID:dFeJg3uF.net
- こうして見返してみると馬鹿なコード書いてるのがわかるな。。。
書き直そう。
- 160 :片山博文MZジェバンニ ◆T6xkBnTXz7B0 :2014/04/07(月) 14:05:00.51 ID:nfj7Xkns.net
- github.com/katahiromz/CodeReverse
更新しました。パースルーチンを追加。コードの近代化。
ライセンスをThe BSD 2-Clause Licenseに変更。
さあ、どんどん作るぞ!!!
- 161 :片山博文MZバグロボ ◆T6xkBnTXz7B0:2014/04/16(水) 15:36:38.59 ID:zuFFQr7yX
- こっちに移ろうかな???
- 162 :片山博文MZバグロボ ◆T6xkBnTXz7B0:2014/04/16(水) 15:52:30.84 ID:zuFFQr7yX
- こっち(2ch.sc)は開発裏話として使うことにします。
型や関数や構造体などをIDで一括管理しようと考えております。
IDはCR_TypeID, CR_FuncID, CR_StructIDなどの型で扱います。
IDは、ベクターのインデックスそのまんまになると思われます。
CR_ID_INVALID == -1で無効なIDを表すことにします。
- 163 :片山博文MZバグロボ ◆T6xkBnTXz7B0:2014/04/16(水) 15:58:47.43 ID:zuFFQr7yX
- 名前 |---> Type ID
TypeID |--->
{TF_FUNCTION, FuncID} ;関数の場合
{TF_STRUCT or TF_UNION, StructID} ;構造体または共用体の場合
{TF_POINTER, TypeID} ;ポインタ型の場合
{TF_ARRAY, TypeID, 0以上} ;配列型の場合
{TF_INT} ; その他の場合。
- 164 :デフォルトの名無しさん:2014/04/16(水) 22:52:02.48 ID:0oV5/C3qH
- さげ
- 165 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/04/20(日) 17:23:11.71 ID:Z/njjQP5.net
- x86アセンブリから関数の引数のサイズを求める方法がわからない。知ってる人、教えてよ
- 166 :デフォルトの名無しさん:2014/04/20(日) 20:30:04.45 ID:mILxVbg/.net
- calling convension調べろよ
- 167 :デフォルトの名無しさん:2014/04/21(月) 00:20:07.86 ID:fKV6ATCG.net
- そういうのはプロジェクト立ち上げる前に解決しとくと子だろ
- 168 :デフォルトの名無しさん:2014/04/30(水) 18:48:27.62 ID:4dW9hwGr.net
- catcher
- 169 :デフォルトの名無しさん:2014/04/30(水) 23:08:35.10 ID:yRPuq9ZX.net
- 途中何も読んでないから的外れ言ってたらすまんこまんこ
引数はPUSH最後からPUSHで行って、最後にリターンアドレスをPUSHして関数をcallする
arg3
arg2
arg1
retaddr
引数が4バイトで3つの場合、呼び出し直後のスタックはこうなる
- 170 :デフォルトの名無しさん:2014/04/30(水) 23:20:48.12 ID:yRPuq9ZX.net
- 関数呼び出し規約の違いは引数の分のスタック処理を誰が責任持つかの違い
__stdcallは呼び出された関数が最後にスタックを整理して返る
__cdeclは呼び出し側がpushした分だけスタックを整理する
__fastcallはcallする前にpushじゃなくて最大2つまでレジスタに値をぶっ込んでからcallする
__thiscallはcallの直前にecxにthisポインタを入れてから呼び出すが、スタック処理は_規定では_stdcallと同じ
関数内でecxにあれこれしてローカル変数っぽいのを弄ってたらなんかしらのクラス決定
__cdeclを指定されたり可変個引数だったりするメンバ関数は、thisポインタを最後にスタックに積んだ気がする
- 171 :デフォルトの名無しさん:2014/05/01(木) 00:42:00.30 ID:VSccnwjx.net
- __fastcall調べたなら「スタック処理を誰が責任持つかの違い」じゃ無いことは自明だろがアホ
あとx64だとかなり様変わりする
- 172 :デフォルトの名無しさん:2014/05/01(木) 02:11:28.08 ID:PhcFzFlz.net
- ごめんニワカなんだすまんこまんこ
__fastcallは3つ以上引数取るときには3つめ以降の責任は__stdcallと同じだったはず
x64はほとんどレジスタで引数やりとりするんだっけ?全く詳しくないが
- 173 :デフォルトの名無しさん:2014/05/01(木) 02:48:55.05 ID:VSccnwjx.net
- 「引数の渡し方からしてそもそも違う」のに「誰が責任持つかの違い」に限定しなきゃいかん理由は何なんだ。
- 174 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/01(木) 12:27:44.81 ID:WY/8p/R+.net
- v0.1.0!
https://github.com/katahiromz/CodeReverse
パースした関数のプロトタイプを出力するようになりました。
- 175 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/01(木) 14:24:04.77 ID:O61PxCRM.net
- 型システムは70%くらいできた。
アセンブリから呼び出し規約と引数のサイズを推定するオートマトンを作らないといけない。
頑張るぜ。
- 176 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/01(木) 18:16:21.29 ID:O61PxCRM.net
- Amazonでドラゴンブック二冊目買おうかな
データフローを勉強したいんで
- 177 :デフォルトの名無しさん:2014/05/01(木) 18:37:14.14 ID:O61PxCRM.net
- 買う買う光線ビーム!!!
- 178 :デフォルトの名無しさん:2014/05/01(木) 19:17:47.73 ID:ZMd3mcxT.net
- こわい
- 179 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/02(金) 12:19:45.40 ID:fCG9D4SE.net
- 買ったぞーーーー
- 180 :デフォルトの名無しさん:2014/05/02(金) 22:33:36.49 ID:uljkUnkD.net
- >>179
つhttp://awabi.2ch.net/test/read.cgi/classical/1389828072/
- 181 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/04(日) 13:00:24.41 ID:MUZRXExp.net
- 0.1.1!
https://github.com/katahiromz/CodeReverse
型システムが85%できました。ビットフィールドが難しい。。。
- 182 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/04(日) 18:25:07.84 ID:6pFdiYZZ.net
- ビットフィールド、サポート出来そう。
次はオートマトンに取り組むぞ!!!
- 183 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/05(月) 00:10:21.23 ID:vEoyNxMN.net
- 【関数呼び出しコード分析における注意点】
☆呼び出しの際、スタックを解放せずに再利用されることがある。
☆呼び出し先のアドレスがレジスタに格納されて呼び出しに使われることがある。
☆また、条件によって場合分けされて呼び出し先の異なるアドレスがレジスタに格納されて呼び出しに使われることがある。
- 184 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/05(月) 00:44:45.91 ID:vEoyNxMN.net
- レベル0.機械語コード。
レベル1.アセンブリのみのコード。
レベル2.関数に切り分けられたアセンブリコード。
レベル3.レジスタとスタックの直接的操作を含む中間表現コード。
レベル4.レジスタとスタックの直接的操作を含まない中間表現コード。
レベル5.C言語のコード。
#こんな感じかな?
- 185 :デフォルトの名無しさん:2014/05/05(月) 00:47:27.64 ID:vEoyNxMN.net
- レベル3.レジスタとスタックの直接的操作を含む型なしの中間表現コード。
レベル4.レジスタとスタックの直接的操作を含まない型付きの中間表現コード。
- 186 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/05(月) 01:30:48.74 ID:vEoyNxMN.net
- 命令セットの中間表現はテキストとして与えられる(insn*.dat)。
よって、中間表現の設計とパーサとASTが必要。
中間表現はC言語のサブセットの拡張とする。
- 187 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/05(月) 15:16:53.17 ID:vEoyNxMN.net
- gccは余分にスタックフレーム確保してる。。。何でだろ?
- 188 :デフォルトの名無しさん:2014/05/06(火) 13:59:33.71 ID:e6OeMlN3.net
- 実現出来てもwatcom cの吐いたバイナリで面白いことになる予感
- 189 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/07(水) 18:04:37.38 ID:ofrV91be.net
- 本が来た━━━━━━━━━!!!
- 190 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/08(木) 15:32:25.08 ID:o5H0kOM9.net
- コンパイラが関数だとすると、逆コンパイラは逆関数である。
逆なんだよ、逆。コンパイラのコード生成に対しては、逆コンパイラのコード分析が対応する。
- 191 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/08(木) 17:50:21.71 ID:o5H0kOM9.net
- __stdcallが一番簡単。__stdcallのときに限ってretの引数があって、それが関数の引数リストのサイズ。
__stdcallでないときはretに引数がなく、呼び出し側が引数スタックを解放する。
__cdeclか__fastcallか__thiscallの判断はレジスタの使用や関数呼び出しの状況を統計するしか方法はない。
スタックやレジスタやヒープの型情報とデータと式などを統合して扱う仕組みが必要。
- 192 :デフォルトの名無しさん:2014/05/09(金) 09:45:23.59 ID:b6QXm0aH.net
- 統計しなくても理詰めで解けるケースを想定できんのか
//どっちみち可変長引数は詰むけどな
- 193 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/10(土) 00:46:59.62 ID:4sLYkLKE.net
- ある関数内で呼び出すターゲット関数のスタック引数サイズは、スタックフレームマイナススタックポインタ以下の値を取りうる。
関数内でターゲット関数の呼び出しが1回のみで他にスタック操作をしていないなら、そのときのスタック引数サイズは確定する。
ターゲット関数内のレジスタとスタックの使用状況から、スタック引数サイズの下限がわかる。
可変長引数の場合は、スタック引数サイズは下限以上の値になる。
- 194 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/10(土) 00:54:06.86 ID:4sLYkLKE.net
- ということは、スタックフレームイコールスタックポインタの場合はターゲット関数の
スタック引数サイズはゼロで確定で、ターゲット関数に対する統計は不要という訳か?
- 195 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/10(土) 01:26:55.17 ID:4sLYkLKE.net
- 1.関数のスタック引数サイズとローカル領域を確定し、スタック操作を仮想化する。
2.コードを基本ブロックに分け、分岐を仮想化する。
3.オペランドに型を付けて型推論を行う。
4.データフロー解析を行い、中間表現へ変換。オペランドを式に抽象化する。
5.読みやすいように最適化しながら、コード生成を行う。
6.AStyleを使ってコードを整形する。
- 196 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/11(日) 18:12:03.14 ID:FqMZuwkf.net
- 0.1.4! コードを整理。
https://github.com/katahiromz/CodeReverse
- 197 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/14(水) 13:48:10.03 ID:dMA9XG5e.net
- x86のintrinsicのまとまった情報が欲しいけど見付からない
- 198 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/15(木) 19:14:50.89 ID:KjqXcag5.net
- 符号付きか符号なしか分からない型をxsignedで表す。
未知の型はunknown%d_tという型を付ける。未知の型について型の属性を解析していく。
例えば、即値xが非ゼロで上位ワードがゼロならポインタでなく整数である。
callの引数は間違いなく関数ポインタである。
- 199 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/16(金) 00:32:42.44 ID:YZ6eU1pI.net
- ということは、intrinsicのアセンブリパターンをほとんど全部調べて、
パターンマッチングでパターンごとに中間表現に置き換えていく必要があるんやで。
パターンデータを用意するのが大変やで、しかし。
- 200 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/17(土) 23:48:39.82 ID:MhKuGNEw.net
- pattern {
(アセンブリのテンプレート)
} code {
(中間表現)
}
こんな感じのテキストデータを事前に読み込んで、それ(置き換え規則)を使って
パターンマッチを行い、中間表現への置き換えをする。
テンプレートには$1,$2,$3,...などの引数が書ける。
- 201 :デフォルトの名無しさん:2014/05/18(日) 05:43:49.87 ID:d9R6JRvl.net
- パターンが足りず変換し損なうか、パターンが意図しない場所にマッチして変換し損なうか、
マッチ候補の組み合わせ探索量が爆発して尋常じゃなく遅くなる、て未来が見えそうだね。
- 202 :デフォルトの名無しさん:2014/05/18(日) 11:59:58.99 ID:BMv+P6U/.net
- 最適化されたバイナリとか全く考えて無さそうだな
変換できなかったらインラインアセンブリのソースに変換します! ならかっこいいw
- 203 :デフォルトの名無しさん:2014/05/18(日) 12:30:27.39 ID:untGUeAU.net
- >>202
それ言い出すとインラインアセンブリだらけになっちゃうだろ!
- 204 :デフォルトの名無しさん:2014/05/18(日) 21:31:34.01 ID:DTiowi1J.net
- ループ展開とか、再起がgoto文になってたりすると見にくそう
- 205 :デフォルトの名無しさん:2014/05/18(日) 22:02:56.66 ID:C1UdNOr5.net
- forもwhileもgotoになるだろう
- 206 :デフォルトの名無しさん:2014/05/19(月) 11:39:49.12 ID:3tNqokKG.net
- >>200
コンパイラの癖が変わったら破たんするな。
- 207 :デフォルトの名無しさん:2014/05/19(月) 12:56:58.39 ID:zujUZLqg.net
- >>206
コンパイラのバージョンとコンパイルオプションの組み合わせごとにパターンセット作るんじゃね?
手作業だと余裕で死ねる。
- 208 :デフォルトの名無しさん:2014/05/20(火) 00:30:57.63 ID:fbMM1sIr.net
- 頻出形だけカバーできればいいだろ
どうせ大事なのはその先なんだし
- 209 :デフォルトの名無しさん:2014/05/20(火) 00:40:11.42 ID:5sJsx7Oe.net
- 最初から最後までインラインアセンブリ
- 210 :デフォルトの名無しさん:2014/05/20(火) 00:42:08.99 ID:zlaxDiQa.net
- >>209
なにその手の込んだ手抜き
- 211 :片山博文MZバグロボ ◆T6xkBnTXz7B0 :2014/05/20(火) 01:01:34.43 ID:DYOJrjk8.net
- はーひふーへほー!!!
片山被告のせいで俺まで職場で悪役扱いだずぇ!
まゆげが無くても父親が殺人者でも関係ねぇ!
俺はコンピュータテクノロジーの心臓部に弾丸を撃ち込んで歴史を塗り替えてみせる!
俺様は諦めない!がはははっひゃっ! ばいばいきーん!
- 212 :片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 :2014/05/20(火) 01:33:26.09 ID:DYOJrjk8.net
- 最終チェックが終わったら次は64bitのパターンだな。
7月15日までに結果を出さねば。
- 213 :デフォルトの名無しさん:2014/05/24(土) 09:18:22.74 ID:NypXzdqU.net
- jmp を for にできるようになったら呼んでくれ
- 214 :片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 :2014/05/24(土) 15:37:43.79 ID:rwv5YdXW.net
- v0.1.5!
https://github.com/katahiromz/CodeReverse
パターンファイルasmpat32.dat, asmpat64.datを追加しました。
ソースが読みやすくなりましたので、興味がある方はじっくりご覧下さい。
>>213 それはまだ先のこと。
- 215 :片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 :2014/05/26(月) 03:07:17.92 ID:Y2iJcwcZ.net
- たいした成果がないとスポンサーからの今年の研究費がお預けになる予感。。。開発を急がないと。。。
GitHubにてPull Repuest歓迎。アドバイス・批評歓迎。功績・貢献にはアマゾンギフト券かWebMoneyでお応えします。
- 216 :片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 :2014/06/02(月) 23:38:37.43 ID:0yNOtv/b.net
- もう少し納得がいくまでひらがな電卓がんばります。
- 217 :片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 :2014/06/25(水) 18:38:03.09 ID:n7E3MpSB.net
- うひょー、ひらがな電卓のお陰で研究費ゲットだぜぇ! もう少しひらがな電卓を頑張るずぇっ!
- 218 :デフォルトの名無しさん:2014/07/10(木) 00:11:01.04 ID:M4bomIPQ.net
- catcher
- 219 : ◆QZaw55cn4c :2014/07/13(日) 08:57:04.53 ID:OfL9oG5/.net
- >>217
ニートですが研究費とかいうものはどうやったら貰えるのですか?
- 220 :デフォルトの名無しさん:2014/07/20(日) 18:12:16.52 ID:5tCNN5Wf.net
- >>219
「クラウドファンディング」で検索
- 221 :片山博文MZ悪魔崇拝 ◆T6xkBnTXz7B0 :2014/07/27(日) 15:17:33.75 ID:IA9V+eIN.net
- catcher
- 222 :デフォルトの名無しさん:2014/08/02(土) 14:48:35.52 ID:9pUD/EET.net
- catcher
- 223 :デフォルトの名無しさん:2014/08/13(水) 18:13:36.72 ID:JOE/IwkU.net
- catcher
- 224 :デフォルトの名無しさん:2014/08/17(日) 23:10:05.64 ID:QEFSNrh+.net
- お花畑
- 225 :デフォルトの名無しさん:2014/08/25(月) 18:24:31.95 ID:Mg2fQQvs.net
- catcher
- 226 :デフォルトの名無しさん:2014/09/06(土) 22:58:01.07 ID:yTL+zk7h.net
- catcher
- 227 :片山博文MZ次期CEO ◆T6xkBnTXz7B0 :2014/09/15(月) 21:33:44.73 ID:lVCjgFoQ.net
- バイナリをLLVMにするって可能なのか? うーん
- 228 :片山博文MZ次期CEO ◆T6xkBnTXz7B0 :2014/09/16(火) 17:47:27.97 ID:uCY6omK1.net
- Fracture
https://github.com/draperlaboratory/fracture
これもあまり進んでいないなあ。参考になるかなあ。
- 229 :デフォルトの名無しさん:2014/09/28(日) 23:27:24.48 ID:uLb79luw.net
- しばらくCalc-Hの営業
時間ないな
- 230 :片山博文MZ次期CEO ◆T6xkBnTXz7B0 :2014/10/08(水) 13:20:30.61 ID:9EnqerIp.net
- catcher
- 231 :片山博文MZ次期CEO ◆T6xkBnTXz7B0 :2014/10/21(火) 20:17:15.61 ID:tyo0JEbH.net
- GitHubで星が1つ付いた。頑張らないといけないのだが、時間がない。
- 232 :デフォルトの名無しさん :2014/10/31(金) 17:22:03.59 ID:a2LU3Ea+.net
- catcher
- 233 :デフォルトの名無しさん:2014/11/09(日) 20:47:16.65 ID:XU91kGr5.net
- 時間ねーから
- 234 :デフォルトの名無しさん:2014/11/21(金) 00:49:03.57 ID:6AGAgrET.net
- catcher
- 235 :デフォルトの名無しさん:2014/11/26(水) 23:20:20.01 ID:4JVdbB+E.net
- こんな嘘ばかりのスレ取り消せ。
クソボケが 、アホクソボケカスが。
根性無しのカスの集まりが。
どうせ何もできんのやろが?
カスはカスらしく黙っとらんかい!クソボケ!
何なんじゃアホが。この根性無しのクズが。
クソボケクズ。クズの集まりじゃねえか。
ポンコツのクソドアホが。ボンクラだろがてめえら。
はっきり言っといてやるよ。 てめえらなんか、何一つ怖くないわ、
このクズ以下のポンコツボンクラが。
- 236 :デフォルトの名無しさん:2014/12/06(土) 14:51:26.56 ID:+BigHZY2.net
- catcher
- 237 :デフォルトの名無しさん:2014/12/21(日) 19:05:02.38 ID:K4obGNjE.net
- catcher
- 238 :デフォルトの名無しさん:2014/12/29(月) 14:04:28.20 ID:k/a0XR+r.net
- catcher
- 239 :片山博文MZ ◆T6xkBnTXz7B0 :2014/12/30(火) 12:29:11.58 ID:II8lCuST.net
- データフローの表現の問題が未解決。アイデアが見つかるまで時間が掛かりそうです。
- 240 :片山博文MZ ◆T6xkBnTXz7B0 :2014/12/30(火) 16:43:47.63 ID:II8lCuST.net
- dag (directed acyclic graph): 閉路のない有向グラフ。「グラフ理論」を参照。
基本ブロック (basic block): 途中で停止したり、分岐したりしない、連続した文の並び。
流れグラフ: 基本ブロックを制御の流れに従って矢印で結んだもの。
「基本ブロックのdag表現」とは、次のようなdag:
1.葉のラベルは一意な識別子。
2.内部節点のラベルは演算子。
3.さらに節点に識別子の並びのラベルを付けることができる。
- 241 :片山博文MZ ◆T6xkBnTXz7B0 :2014/12/30(火) 18:02:49.41 ID:II8lCuST.net
- この「内部節点」は、「節点内部」の誤訳だろうな
- 242 :デフォルトの名無しさん:2014/12/31(水) 00:57:28.36 ID:BPGgSSnK.net
- 内部節点で正しいと思う
http://imd.naist.jp/~miyazaki/doshisha/data-algo/ad-3.pdf
・内部節点(internal node) 子を持つ節
・外部節点(external node) 葉(leaf) 子を持たない節
- 243 :片山博文MZ ◆T6xkBnTXz7B0 :2014/12/31(水) 02:43:50.55 ID:FQwLik9b.net
- >>242
なーるほど
そう言うことか。有難う。
- 244 :デフォルトの名無しさん:2014/12/31(水) 12:23:17.69 ID:UInHV6yl.net
- 『節点』に『内部』があると思っているのか?日本語からやり直せよチョソ
- 245 :片山博文MZ ◆T6xkBnTXz7B0 :2014/12/31(水) 23:51:17.31 ID:FQwLik9b.net
- >>244
残念。節点なんだけど丸で描かれてその中にラベルがあるんだな、これが。
現在、インシデント解決待ち。
- 246 :片山博文MZ ◆T6xkBnTXz7B0 :2015/01/20(火) 14:29:08.20 ID:xhQ1sKyb.net
- Cパーサーができた。
https://github.com/katahiromz/DoWonders
これをCodeReverseへ取り込もう!
- 247 :片山博文MZ ◆T6xkBnTXz7B0 :2015/01/31(土) 20:50:33.99 ID:NOJeJgIt.net
- さあ、やるんだ
- 248 : ◆QZaw55cn4c :2015/02/01(日) 22:11:38.87 ID:e1RPi5xm.net
- おう、がむばってくれ
- 249 :片山博文MZ ◆T6xkBnTXz7B0 :2015/02/01(日) 23:14:25.39 ID:b1Drc9W3.net
- DLLのリンク情報はどうやって抽出すればいい?
- 250 :片山博文MZ ◆T6xkBnTXz7B0 :2015/02/06(金) 13:17:21.55 ID:WUwVT1fs.net
- 完璧なCパーサーを作るのは大変だな。。。
https://github.com/katahiromz/DoWonders
- 251 :片山博文MZ ◆T6xkBnTXz7B0 :2015/02/09(月) 20:31:33.92 ID:002yDz5I.net
- 早くバグ取らないと怒鳴られるぞ。。。
- 252 :片山博文MZ ◆T6xkBnTXz7B0 :2015/02/14(土) 12:15:44.30 ID:gwH6zzLC.net
- だいぶ進んだよ。
https://github.com/katahiromz/DoWonders
- 253 :片山博文MZ ◆T6xkBnTXz7B0 :2015/02/15(日) 13:18:57.14 ID:YOxjOULg.net
- Win32 APIのほとんどの型情報が抽出できた! K点越え!
https://github.com/katahiromz/DoWonders
- 254 :デフォルトの名無しさん:2015/02/15(日) 13:30:33.98 ID:VI4OFusP.net
- おうがんばれや
- 255 :デフォルトの名無しさん:2015/02/15(日) 17:20:09.52 ID:BzeQi2NL.net
- へえ。結構やるじゃん。
- 256 :片山博文MZ ◆T6xkBnTXz7B0 :2015/02/20(金) 04:31:21.76 ID:hFZMHbko.net
- 今、リファクタリングとDBのサニタイズしてるとこ。いくつかサイズの間違いを見つけた。
構造体のサイズを正確に得るには、アライメントを考慮せねば。
- 257 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/01(日) 19:08:40.80 ID:b/Z6wEyz.net
- A「では、進捗報告を」
B「アライメントの扱いに案外手こずり、まだDBのサニタイズが終わっていません」
A「時間が掛かりすぎだ!いつになったらできるんだ!(机を叩く)」
B「申し訳ございません。」
A「アライメントの規則性を分析して早くサニタイズしなさい」
B「御意」
- 258 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/04(水) 12:32:04.66 ID:wAAd8cV7.net
- サニタイズ完了。
https://github.com/katahiromz/DoWonders
- 259 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/05(木) 21:51:27.28 ID:rUbEobY5.net
- 型情報のload/saveを可能にしなきゃ。
定数の"typed value"計算を可能にしなきゃ。
- 260 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/06(金) 16:43:14.93 ID:Utx2vhNJ.net
- 今、typed valueの実装をやってるけど、型によって場合分けが
必要だから、「場合分けの化け物」になっちゃうんだよな。
関数型ならもっとスマートに書けそうだが。。。
- 261 :デフォルトの名無しさん:2015/03/14(土) 20:28:31.86 ID:V/kJuq3g.net
- 2ちゃんねるおわた
NEXT行きましょ
NEXT
- 262 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/15(日) 13:48:43.55 ID:wj0oyall.net
- マクロから一部の定数を抜き出すのを実装してみた。
定数全部を抽出するには、
マクロの展開とパースとtyped valueの実装が必要みたいだ。
https://github.com/katahiromz/DoWonders
- 263 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/19(木) 13:04:51.09 ID:JLKczW+H.net
- typed valueを実装してみた。サニタイズ失敗。
typed value実装のどこかに間違いがあるようだ。
https://github.com/katahiromz/DoWonders
- 264 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/19(木) 15:29:38.48 ID:rGfQi3lS.net
- バグ発見。ケアレスミスだった。
- 265 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/22(日) 14:04:56.12 ID:0xruUqhc.net
- typed value実装を修正。
https://github.com/katahiromz/DoWonders
次は、マクロ展開を実装します。
- 266 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/23(月) 17:04:35.45 ID:iTA2cPA1.net
- A「では、進捗報告を」
B「後はマクロ展開を実装すれば、次のステージに進めます。」
A「それはできるのか?」
B「今、QZというハッカーにマクロ展開実装を依頼していますが、
返答がありません。何とか自力でできないか模索している処です」
A「来週の日曜日までに急いでやれ。頼んだぞ」
- 267 :デフォルトの名無しさん:2015/03/24(火) 01:57:06.17 ID:CghrDXfy.net
- まあ頑張れ、せいぜい利用させてもらうぜオッサン
- 268 :デフォルトの名無しさん:2015/03/25(水) 08:14:43.78 ID:UQSzKjlW.net
- 俺の興味がどこにあるかお前はよく知っているはずだが?
あの証明は飛躍があるから埋めておけ参考書もそうならその参考書は捨てたほうがいい
- 269 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/25(水) 13:24:04.60 ID:9WKHQtB7.net
- >>268
名を名乗れよ
- 270 :デフォルトの名無しさん:2015/03/25(水) 18:23:14.55 ID:0ab+jORs.net
- 敗北宣言乙www
- 271 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/25(水) 18:38:18.91 ID:0It7vtDM.net
- >>270
御前誰だよ
- 272 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/25(水) 20:18:57.15 ID:0It7vtDM.net
- 宿題スレを荒らしてたのは俺じゃねーぜ。勘違いするな、Qzさん
- 273 :デフォルトの名無しさん:2015/03/25(水) 21:57:58.65 ID:0ab+jORs.net
- 反応を待たずにレスをして何を焦っているのかな?www
- 274 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/25(水) 22:43:10.00 ID:0It7vtDM.net
- あの宿題はQzが居なくてもできるよ
- 275 :デフォルトの名無しさん:2015/03/25(水) 23:56:31.13 ID:0ab+jORs.net
- ちゃんと"さん"をつけろよ若僧
- 276 :デフォルトの名無しさん:2015/03/26(木) 00:14:21.84 ID:by79hXzC.net
- before: 宿題スレを荒らしてたのは俺じゃねーぜ。勘違いするな、Qzさん
v
after:あの宿題はQzが居なくてもできるよ
ウリのすぐバレる嘘ニダwww
- 277 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/26(木) 01:50:45.61 ID:H3hSXcrb.net
- 少なくともお下品な発言はしていない。
- 278 :デフォルトの名無しさん:2015/03/26(木) 02:31:26.49 ID:KfdRsObn.net
- Qzさんだって下品な発言はしないし、大体お前のようにすぐバレる嘘をつくほどマヌケじゃない。
- 279 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/29(日) 17:36:15.54 ID:v4NwZmHf.net
- マクロ展開ができた。サニタイズは時間切れ。
バグがまだたくさんあるものと思われる。
https://github.com/katahiromz/DoWonders
- 280 :片山博文MZ ◆T6xkBnTXz7B0 :2015/03/29(日) 17:39:38.81 ID:v4NwZmHf.net
- マクロ定数が正しく読み込めなければ、Win32 APIとは言えないので、
何とかがんばっているところ。
- 281 :片山博文MZ ◆T6xkBnTXz7B0 :2015/04/01(水) 13:41:40.89 ID:bTV2IHQs.net
- 2015年4月1日
Wonders API公開。
(動画) こんにちは、Wonders APIです
http://youtu.be/MSs4vto5u18
(Movie) Hello, this is Wonders API.
https://youtu.be/TvQZwOMPc8s
公式サイト
http://katahiromz.esy.es/wonders/
GitHubレポジトリ
https://github.com/katahiromz/DoWonders
- 282 :片山博文MZ ◆T6xkBnTXz7B0 :2015/04/01(水) 13:55:05.94 ID:bTV2IHQs.net
- いざ、第二ステージへ進め
- 283 :デフォルトの名無しさん:2015/04/03(金) 23:48:07.06 ID:Nu5+KNg9.net
- がんばれー
このスレから出てこないでね^^
- 284 :デフォルトの名無しさん:2015/04/04(土) 00:02:02.48 ID:vxW5Ds1X.net
- 47氏は崇拝されていたが、片山は軽蔑される
人格上の問題なのではないか?
- 285 :デフォルトの名無しさん:2015/04/04(土) 18:35:11.56 ID:AbppvLIl.net
- 片山ウザい氏ね
- 286 :デフォルトの名無しさん:2015/04/08(水) 00:10:56.21 ID:yyUMrqSU.net
- こいつがあちことで出没するとスレが過疎るからやめてほしい
- 287 :片山博文MZ ◆T6xkBnTXz7B0 :2015/04/08(水) 22:14:13.74 ID:GMSIP3gO.net
- 約束のdeadlineは五月一日。それまでにWonders API Webを完成しないといけない。
- 288 :片山博文MZ ◆T6xkBnTXz7B0 :2015/04/11(土) 21:01:51.44 ID:ArDgKFW5.net
- 今、複合値とデータのバイナリーダンプのサポートに取り組
んでいるところ。明日、リリースの予定。
- 289 :片山博文MZ ◆T6xkBnTXz7B0 :2015/04/12(日) 16:04:08.09 ID:W8Ttx0kU.net
- Wonders API
http://katahiromz.esy.es/wonders/
予告どおり「複合値」をサポート。変数のバイナリーダンプも可能。
- 290 :片山博文MZ ◆T6xkBnTXz7B0 :2015/04/12(日) 17:44:44.25 ID:Q9tFpytA.net
- Wonders API
http://katahiromz.esy.es/wonders/
まずは、Windows APIをPHPとPythonとRubyへ移植する。
- 291 :片山博文MZ ◆T6xkBnTXz7B0 :2015/04/19(日) 19:24:52.19 ID:Kws6M3Sz.net
- 株価が下がってる。動かない方がいいかな。
- 292 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/02(土) 19:19:00.58 ID:gAnCVUja.net
- Wonders APIをCodeReverseに取り込んで、CodeReverseのCパース箇所を破棄だ。
これでCodeReverseで型情報が使える。
GWにネットカフェが空いてないから、更新が遅くなるかも。
- 293 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/03(日) 10:32:26.72 ID:EPJ3sWKW.net
- よし、x86アセンブリを読みまくって勉強するぜ!
- 294 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/05(火) 13:34:39.52 ID:p1RbtT4Y.net
- CPU貸そうか?
- 295 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/05(火) 17:34:29.60 ID:p1RbtT4Y.net
- CPUレジスターや仮想的なアドレス空間の任意の抽象的な場所にアクセスするための全射なアドレスを文字列で表現する。
expressed address、略してexpr_addr。
expr_addrを解決すると未知の値、シンボル、もしくは具体的な値が得られる。
また、expr_addrから型の集合への写像を作ることができる。
- 296 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/05(火) 17:47:11.75 ID:p1RbtT4Y.net
- 値の集合とシンボルの集合と型の集合が存在する。
値やシンボルはその格納場所(storage)によって類別できる。
格納場所は、スタック、ヒープ、レジスター、実行可能コード領域、その他のデータ領域などが挙げられる。
expr_addrから値やシンボルへの写像が存在する。
expr_addrから格納場所への写像が存在する。
- 297 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/05(火) 18:06:31.59 ID:p1RbtT4Y.net
- では、expr_addrの具体的な定義を決めよう。
(ea.1) expr_addrが数値ならばexpr_addrはexpr_addrが表す値の仮想アドレスを指し示す。
(ea.2) expr_addrがレジスターの名前ならばexpr_addrはそのレジスターの値が表す仮想アドレスを指す。
(ea.3) expr_addrが__cr.xxx[yy]といった文字列ならば、__cr.の後のxxxはストレージの名前であり、expr_addrはストレージxxxの(yy+1)バイト目を指し示す。
ここに、yyはexpr_addrである。
(ea.4) expr_addrに演算子+,-,*が含まれていれば、普通にexpr_addr上で足し算、引き算、掛け算を行う。
- 298 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/05(火) 18:49:16.52 ID:p1RbtT4Y.net
- x86/x64のスタックは逆向きに成長するから、__cr.stackは特別扱いしなければならない。
- 299 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/05(火) 19:59:48.40 ID:p1RbtT4Y.net
- >>298は間違い。昔はメモリーをけちるのが常だったが、
今となっては、スタックサイズ100KBくらいけちる必要はない。
たとえ失敗してもスタックサイズが可変ならば、やり直せばいい。
- 300 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/06(水) 22:49:06.45 ID:ROM3ZfOK.net
- コンパイラーなら型情報と構文に基づいてレジスター割り付けを行って、アセンブリを出力する。
逆コンパイラーはアセンブリから、オペランドと仮想アドレスに仮想的な値と
型を割り付け、それらを定数・変数・実引数・仮引数に抽象化し、式と構文を構築し、ソースを出力する。
- 301 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/06(水) 23:19:53.32 ID:ROM3ZfOK.net
- callの引数は関数アドレスであるから、それがAPI関数であれば、実引数や戻り値に型情報を付加できる。
代入においては同一の値になるオペランドが現れる。このとき、型も同一になる可能性が高い。
このようにオペランドや仮想アドレスやレジスターに型情報を再帰的に付加していく。
- 302 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/06(水) 23:32:41.79 ID:ROM3ZfOK.net
- 仮想アドレス空間の状態は、プログラムの進行に従って遷移していく。
状態が変わる様子を再現するには、仮想マシンを作って動かしてみるのが、一番合理的だ。
- 303 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/06(水) 23:42:33.96 ID:ROM3ZfOK.net
- 仮想マシンを動かすなら、アセンブリか中間言語のどちらのレイヤーで動かすべきか?
中間言語で動かすならば、アセンブリの情報をほとんどすべて中間言語に移行しなければならない。
- 304 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/07(木) 14:46:37.77 ID:Eo5kGFlR.net
- GW明けて、ひさしぶりに更新。
CodeReverse
https://github.com/katahiromz/CodeReverse
Wonders API
http://katahiromz.esy.es/wonders/
- 305 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/08(金) 19:46:46.08 ID://zzhYF7.net
- 両方のレイヤーでやれってか? なら、2種類の仮想マシンを作らにゃあかんべえ。んだんだ。
- 306 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/09(土) 02:41:25.84 ID:IBcmzD7P.net
- 要件定義はもっと数学的に。。。
- 307 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/09(土) 19:04:28.04 ID:IBcmzD7P.net
- 要件定義をよく考えると、中間言語パーサーは不必要と判断した。
- 308 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/10(日) 15:22:46.73 ID:DYHSUNsH.net
- いや、中間言語パーサーは必要。パーサーがなければ、アセンブリのでっかいアーキテクチャを
ハードコーディングしなきゃいけなくなる。恐らく中間言語はアトリビュートベースになる。
- 309 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/10(日) 15:52:17.96 ID:DYHSUNsH.net
- 中間言語では、新しい値ができるたびに明示的にそのインスタンスを宣言する。
インスタンスは型情報、入出力に関する情報、値やアドレスを表す式などの属性を持つ。
- 310 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/10(日) 23:19:17.50 ID:DYHSUNsH.net
- アーキテクチャを中間言語のデータで表現しないといけない。
中間言語の設計も完成していないのに。。。!
- 311 :片山博文MZ社外取補 ◆T6xkBnTXz7B0 :2015/05/15(金) 19:04:30.75 ID:hBLf1mma.net
- たぶん、値を宣言してそれらに変数を割り当ててくという考え方は間違ってない。
これでうまく行きそうだ。
- 312 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/17(日) 16:50:06.36 ID:9xJgx9ER.net
- https://github.com/katahiromz/CodeReverse
ファイルarch_x32.datを追加した。
このファイルにx86アセンブリから中間コードへの変換方法を記述する。
不完全。
- 313 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/18(月) 23:19:00.85 ID:GE/vKBW3.net
- 我に力と自由時間を与えたまえ!(画面がパパっと2回点滅)
- 314 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/21(木) 17:40:24.92 ID:Dn/bDwTc.net
- きれいなデータ作るの大変だ。。。
- 315 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/24(日) 10:54:19.49 ID:DJktPktd.net
- https://github.com/katahiromz/CodeReverse
アセンブリを基本ブロックに分解できた。
次は、アセンブリを中間言語に翻訳する。
- 316 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/24(日) 11:08:32.59 ID:DJktPktd.net
- トップにarch_x86.dat/arch_x64.datという二つのファイルを用意したから、
これを元にして、アセンブリを中間言語に逐次翻訳する。
翻訳方法は、基本的にパターンマッチを基本とする。
- 317 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/24(日) 17:02:17.64 ID:tHPLTcxB.net
- 翻訳の戦略について。
まず、前述の翻訳辞書データを読み込み、パースする。
次に全体を走査して、邪魔者を消す。nopやmov ax,axやlea eax,[eax]の
ような、人間にとって無意味な命令を全部取り除く。
さらに全体を走査して、技巧的な命令を「標準語」に直す。
さらにさらに逐次的にパターンマッチしたものを次々と翻訳していく。
この戦略がうまく行けば、アセンブリはすべて中間言語に翻訳される。
- 318 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/25(月) 13:43:46.90 ID:IMA5vj+0.net
- https://github.com/katahiromz/CodeReverse
流れグラフができた。リーダーのみ、ラベルを出力するようにした。
CR_ICode32, CR_ICode64を追加した。中間言語の定義とパースに移る。
- 319 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/25(月) 14:34:58.39 ID:IMA5vj+0.net
- こういう翻訳処理の過程は、「ステージ」という考え方でとらえるとわかりやすい。
たとえば、ステージ0が逆アセンブルしていない状態。
ステージ1が逆アセンブルした状態。ステージ2が中間言語に翻訳された状態。
ステージ0→ステージ1→ステージ2→...
逆アセンブルしていないコードが現れた場合などでは、その部分ではステージを戻って処理しないといけない。
- 320 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/25(月) 15:12:05.33 ID:IMA5vj+0.net
- https://github.com/katahiromz/CodeReverse
>>319の考え方に基づいて、CR_DecompInfo32::GetFuncStageを追加した。
DisAsm32の前処理をPrepareForDisAsm32に分離した。
- 321 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/25(月) 17:28:38.36 ID:LQzNccs7.net
- 本格的なプログラム言語の設計は初めてだが、やれることはやってみよう。
- 322 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/26(火) 20:34:04.58 ID:4TU/edTg.net
- アドレッシングの複雑性を乗り越えてオペランドをパターンマッチするんだ!!!
- 323 :デフォルトの名無しさん:2015/05/29(金) 14:46:50.24 ID:08TmNpAe.net
- 中間状態をベタテキストで表現する気か
- 324 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/29(金) 14:59:26.15 ID:huri9Ebb.net
- https://github.com/katahiromz/CodeReverse
Coding.cppにCrParamPatternMatchを追加した。
CrParamPatternMatchはパラメーターの抽象化されたコードの
パターンマッチを行う重要な関数だ。
>>323 仮想化のため。
- 325 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/31(日) 13:09:28.79 ID:7/EzM6AH.net
- https://github.com/katahiromz/CodeReverse
CodeReverse.hをCommon.hに改名。Testing.cppを追加。
Testing.cppで$0, $1, ...のパターンマッチを実証。
中間言語の名前がiCodeに決まった。これからiCodeを具体的に設計する。
- 326 :片山博文MZ ◆T6xkBnTXz7B0 :2015/05/31(日) 13:46:34.69 ID:7/EzM6AH.net
- 他の人のコードも読んでみるか。。。
https://github.com/nemerle/dcc
- 327 :片山博文MZ ◆T6xkBnTXz7B0 :2015/06/21(日) 00:15:52.18 ID:szDYpocA.net
- Java to C++ converter面白そう
ちょっと中断して読んでみるよ
- 328 :片山博文MZ ◆T6xkBnTXz7B0 :2015/06/21(日) 00:30:07.35 ID:szDYpocA.net
- GitHubにマルチ環境の要望があるが、アーキテクチャを仮想化・プラグイン化するのは面倒くさ。
Windows .exe以外のフォーマット知らないし。LinuxやMacって何? 今はexploitが欲しいだけ。
- 329 :片山博文MZ ◆T6xkBnTXz7B0 :2015/06/21(日) 00:38:25.90 ID:szDYpocA.net
- 分かったよ、勉強すりゃあいいんだろ? でも真夜中は監視役が居るからダメ。
パソコンはインターネットにつながってないし、家の構造が昭和時代だからな。
本当は24時間パソコンしたいんだ。
- 330 :デフォルトの名無しさん:2015/06/22(月) 09:59:26.27 ID:Cd6p9ZPV.net
- 昔LightConeとかいう基地外がいたが片山とよく似ているな
スレと関係ない雑談や脈絡もない妄言とか。
- 331 :デフォルトの名無しさん:2015/06/24(水) 06:25:31.35 ID:B9zFFoB0.net
- 日記スレ
- 332 :デフォルトの名無しさん:2015/07/21(火) 01:49:23.11 ID:PRXZAEwH.net
- catcher
- 333 :片山博文MZ ◆T6xkBnTXz7B0 :2015/07/31(金) 16:19:13.79 ID:VnmYQE5l.net
- 何か、forkやstarが増えてきたぞ。。。
やらないとまずいかな。。。
- 334 :デフォルトの名無しさん:2015/08/11(火) 23:30:28.66 ID:3zaQ4vWk.net
- 逆コンパイルって解が無数にあるから
例えばナイーブな逆コンパイルは、Cでアセンブラをエミュレーションすることだし
他にもインライン展開されたコードは展開後として逆コンパイルするのか
展開前として逆コンパイルするのかとか
だからなんらかの人間にとっての読みやすさを定義して
無数の解の中でなるべく読みやすい解をどれか一つ選ぶっていう風にするのが
方向性だと思った
- 335 :片山博文MZ ◆T6xkBnTXz7B0 :2015/08/13(木) 19:16:20.71 ID:TzobCxoU.net
- >>334
激しく同意。
- 336 :デフォルトの名無しさん:2015/09/17(木) 22:00:14.74 ID:8Go7kMps.net
- catcher
- 337 :デフォルトの名無しさん:2015/09/28(月) 23:38:38.61 ID:Rm5LrJSE.net
- catcher
- 338 :デフォルトの名無しさん:2015/10/21(水) 22:40:13.55 ID:jRXObvXq.net
- catcher
- 339 :デフォルトの名無しさん:2015/12/04(金) 14:02:32.26 ID:Vm+g5Kgg.net
- catcher
- 340 :片山博文MZ ◆T6xkBnTXz7B0 :2016/01/14(木) 14:17:10.78 ID:H3jYOyT9.net
- VeySicKの開発が一段落ついたのでCodeReverseの開発を再開するよ。
ひとまずゼロからCコンパイラを作ってみる。
- 341 :片山博文MZ ◆T6xkBnTXz7B0 :2016/01/14(木) 14:20:29.77 ID:H3jYOyT9.net
- こんなことなら、大学でコンパイラの作り方を勉強しとけばよかった。
- 342 :片山博文MZ ◆T6xkBnTXz7B0 :2016/01/14(木) 19:54:25.45 ID:H3jYOyT9.net
- きつねさんのLLVMをAmazonで買ったよ! (もちろん中古)
- 343 :片山博文MZ ◆T6xkBnTXz7B0 :2016/01/18(月) 17:06:17.14 ID:roZ5xF5Q.net
- LLVMと.NETを組み合わせて何か面白いことをやれって言われてる。
- 344 :片山博文MZ ◆T6xkBnTXz7B0 :2016/02/03(水) 19:01:53.20 ID:PDk33kNH.net
- いずれにしても、だれかが教師になって、読みやすいコードを出力するための
教育を行わないとまともな逆コンパイラは完成しない。
さらには教育にはコミュニケーションが必要。
- 345 :片山博文MZ ◆T6xkBnTXz7B0 :2016/02/03(水) 19:21:23.48 ID:PDk33kNH.net
- 逆コンパイルを数学的に考えると、
ソースコードからコンパイル結果への変換器「コンパイラ」の逆変換器を
求める問題になる。教育を行うなら、ソースコードと、実際にコンパイルした結果の対応を
学習させることになる。その対応は情報量が少ないことが望ましい。
- 346 :片山博文MZ ◆T6xkBnTXz7B0 :2016/02/03(水) 19:43:38.07 ID:PDk33kNH.net
- 大きな変換器はより小さな変換器に分解される。
LLVMの言葉で言えば、変換器はpassであり、コンパイルはpassの合成である。
であるから、これから必要な作業は、1つひとつのpassの逆変換器を
求めることである。
- 347 :片山博文MZ ◆T6xkBnTXz7B0 :2016/02/03(水) 21:14:45.78 ID:PDk33kNH.net
- 病気は我が精神を思索の森に誘ってくれる。
健全であれば気付かない事象にも出会うことができる。
今年のうちに逆コンパイラを作らねばならない。
たとえそれが世界を滅ぼす魔法でも完成させなければならない。
ボスの命令は絶対だ。
- 348 :片山博文MZ ◆T6xkBnTXz7B0 :2016/02/20(土) 20:57:27.23 ID:md57KSoZ.net
- clangのソースを読み始めたよ。
CMakeの使い方を勉強しないといけない。
examplesのPrintFunctionNamesを改造してみようっと。
- 349 :片山博文MZ ◆T6xkBnTXz7B0 :2016/02/21(日) 22:29:13.22 ID:mZ9I4pVL.net
- CMakeをインストール。CMakeの基本的な使い方を覚えた。
llvmを仮想Ubuntuにapt-getでインストールして、ターンエンドだ。
- 350 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/02(水) 22:55:08.79 ID:v5tMoIR7.net
- CMakeの使い方を勉強しながらテンプレートプロジェクトをいくつか
作成して、きつねさんを参考にLLVMのコマンドを何度か試してターンエンドだ。
- 351 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/05(土) 14:29:14.42 ID:8Tx4+NgQ.net
- <llvm/IR/Type.h> 型
<llvm/IR/TypeBuilder.h> 型構築器
<llvm/IR/Constant.h> <llvm/IR/Constants.h> 定数
<llvm/IR/IRBuilder.h> IR構築器
<llvm/IR/Module.h> モジュール
<llvm/IR/Function.h> 関数
<llvm/IR/BasicBlock.h> 基本ブロック
<llvm/ADT/StringRef.h> 文字列参照
<llvm/ADT/StringMap.h> 文字列マップ
<llvm/MC/MCExpr.h> MC表現
<llvm/MC/MCInst.h> MC命令
<llvm/MC/MCValue.h> MC値
<llvm/MC/MCAssembler.h> MCアセンブラ
<llvm/MC/MCDisassembler.h> MC逆アセンブラ
<llvm/Support/MemoryBuffer.h> メモリバッファ
<llvm/Support/ErrorOr.h> エラーまたは
<llvm/Support/raw_ostream.h> 生出力ストリーム
- 352 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/05(土) 19:46:45.29 ID:niBmwPNn.net
- DraperさんのFractureを解析してみるみる。。。
- 353 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/07(月) 15:59:21.59 ID:vq5fVXSL.net
- きつねさんの本は少々古く、最新版ではコマンドラインとヘッダーが
多少変わっているようだ。最新版に合わせないといけない。
また、MinGWでは動かない機能もあるようだ。
- 354 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/08(火) 01:37:31.85 ID:dCW2/Xzy.net
- $ opt -help > help.txt
多種多様なPassがあるぞ。まずはこれを解析してみるか。
MinGWで動かなかった分はCygwinで試すぞ。
- 355 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/10(木) 19:08:02.83 ID:xtkhTFvc.net
- 最新の仮想Ubuntu32bitと64bitをVMwareにインストール。
さらにclang-3.7とllvm-3.7をそれぞれにインストールして
俺のターンは終わりだ。
- 356 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/10(木) 19:18:26.45 ID:xtkhTFvc.net
- LLVMは型情報を完全には保持していないようだ。
Win32ではLONGとINTは同じサイズだが、それらのポインタ型は厳格に区別される。
しかしLLVM IRではどちらもi32となる。
つまり、LLVMやClangで構造体を読み込みその型をダンプしたとしても、
コンパイルできる代物にはならない。これでは逆コンパイラには
役に立たないのではないか? ここまで何か間違いがあれば、ご指摘願う。
- 357 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/10(木) 19:46:26.45 ID:xtkhTFvc.net
- Clangでは区別できてるんだから、LLVM IRよりも上位で保持しているはず。ならば、Clangで
構造体などの型情報をLLVM IRの上位でどのように扱っているかを調査しないといけないぞ。
- 358 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/12(土) 22:12:12.37 ID:PAxzfn3Q.net
- だいぶ解析が進んで来た。
おそらくキーワードは
clang::CompilerInstance,clang::Sema,clang::ASTContext,clang::Type
だろう。clangも大変再利用しやすい模範的なデザインになっており、
これらを組み合わせればclangの改造版が比較的容易に作れると思われる。
- 359 :片山博文MZ ◆lx245xLQxvF1 :2016/03/14(月) 15:23:13.72 ID:+duuA6fB.net
- Clang-tutorialのmakefileのllvm-configをllvm-config-3.6に変えてメイクしてみた。
tutorial1.o: 関数 `main' 内:
/mnt/hgfs/cc/LLVM/Clang-tutorial/tutorial1.cpp:53: `llvm::sys::getDefaultTargetTriple()' に対する定義されていない参照です
なぜだ。。。分からぬ。
- 360 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/14(月) 16:17:28.03 ID:+duuA6fB.net
- いくら優れたライブラリでも、動かないと意味ない。。。
最新版をビルドしないといけないのか。。。
LLVMとClangのビルド、めっちゃ時間かかりそう。。。
- 361 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/15(火) 22:21:10.64 ID:zLB+iwEH.net
- 仮想Ubuntuのディスク容量不足でビルド失敗。35GBくらいは必要か。
最初からやり直し。VMwareよりもVirtualBoxの方が使い易そうだ。
- 362 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/24(木) 23:29:54.57 ID:YnxOCpos.net
- VirtualBox上の仮想UbuntuでLLVM+Clangのビルドに成功した。
これでまずはスタートラインに立てた。可能ならば後で公開する。
- 363 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/24(木) 23:57:51.64 ID:YnxOCpos.net
- 仮想環境のためか、ビルドに五日間かかった。電気代は高い請求額が来るだろう。
現在のオッズは低いが地道に頑張る。
- 364 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/25(金) 17:05:52.28 ID:C4e13KV/.net
- Ubuntu 14.04.4 LTS (64-bit)をインストール。ディスク容量50GB以上・メモリ2GB以上。
端末およびGhest Additions(仮想の場合のみ) インストール。
メモリが少ないときは、次のようにスワップ確保。
$ sudo dd if=/dev/zero of=/swap bs=400M count=16
$ sudo mkswap /swap
$ sudo swapon /swap
$ sudo gedit /etc/fstab
「/swap swap swap defaults 0 0」の行を最後に追加。
$ cat /proc/swaps
$ sudo apt update
$ sudo apt install build-essential
$ sudo apt install linux-headers-$(uname -r)
$ sudo apt install make
$ sudo apt install automake
$ sudo apt install cmake
$ sudo apt install subversion
$ sudo apt install gdb
$ sudo apt install perl
$ sudo apt install libtool
$ sudo apt install libncurses5-dev
$ sudo apt install valgrind
$ sudo apt install zlib1g-dev
$ sudo apt install libedit-dev
$ sudo apt install texinfo
$ sudo apt install python
$ sudo apt upgrade
- 365 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/25(金) 17:06:39.06 ID:C4e13KV/.net
- $ cd ~
$ svn co http://llvm.org/svn/llvm-project/llvm/trunk llvm
$ cd llvm/tools
$ svn co http://llvm.org/svn/llvm-project/cfe/trunk clang
$ cd ../projects
$ svn co http://llvm.org/svn/llvm-project/compiler-rt/trunk compiler-rt
$ svn co http://llvm.org/svn/llvm-project/openmp/trunk openmp
$ svn co http://llvm.org/svn/llvm-project/libcxx/trunk libcxx
$ svn co http://llvm.org/svn/llvm-project/libcxxabi/trunk libcxxabi
//$ svn co http://llvm.org/svn/llvm-project/test-suite/trunk test-suite
//$ sudo apt uninstall llvm clang llvm-3.6 clang-3.6 llvm-3.7 clang-3.7
$ cd ~
$ mkdir llvm-build
$ cd llvm-build
$ cmake -G "Unix Makefiles" ../llvm
$ make -j1
- 366 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/25(金) 23:58:54.73 ID:ir49Z4lH.net
- >>364
訂正。ビルド&インストール成功のためにはディスクは100GB以上、
メモリーは8GB以上必要と思われる。
メモリーが充分あればスワップはデフォルトでOK。
ビルド時間を短くしたければ実機でのビルド推奨。
- 367 :デフォルトの名無しさん:2016/03/26(土) 00:18:12.85 ID:tYRw55R3.net
- EXEファイル全般でやろうとしているの?
まずバイナリがどの開発環境で作ったのかを固定しないと。
どちらにしろ、理論上絶望的だから逆アセンブルはできても逆コンパイルは無理だよ。
JavaのクラスファイルもJavaでコンパイルされていたら逆コンパイラでほぼ完璧なソースをだせるけども、
LLJVMを使ったC言語がソースのLLVMからJavaクラスファイルに変換した物は逆コンパイルしても、何やっているのかよく分からない回りくどいJavaソースしか出て来ない。
同じJavaクラスファイルという中間言語形式であっても、開発言語が違えば逆コンパイルは期待通りのものにはならない。
それでもJavaやC#の中間言語ファイルは情報をいっぱい持っているから逆コンパイルしやすい。
EXEで実用的な逆コンパイラとか無理無理。
時間の無駄。他のことしたほうがいいよ。
絶対にできないから。
- 368 :片山博文MZ ◆T6xkBnTXz7B0 :2016/03/27(日) 23:17:17.79 ID:LtbWwOOV.net
- >>367
勝算は5%ほどある。型情報抽出と型推論を実現する策略を練っているところだ。
LVMでディスクを100GBに拡張。LLVM+Clangインストール成功。
VirtualBox仮想アプライアンスのエクスポートを完了して、俺のターンエンドだ。
- 369 :デフォルトの名無しさん:2016/03/28(月) 00:07:35.29 ID:QZ3CUIqY.net
- >>368
LLVMを逆コンパイルするソフトを作ろうとしているの?
- 370 :片山博文MZ ◆T6xkBnTXz7B0 :2016/04/09(土) 18:01:49.16 ID:1rUso06b.net
- 臨時の仕事が入った。中断する。
- 371 :片山博文MZ ◆T6xkBnTXz7B0 :2016/04/19(火) 20:05:26.73 ID:QQhqd517.net
- IMEの開発が正式に決まった。逆コンパイラの開発は、
IMEの開発が終わるまでお預けとなる。しばしお待ちを。
- 372 :デフォルトの名無しさん:2016/05/01(日) 16:48:07.27 ID:Ej3dzybx.net
- catcher
- 373 :デフォルトの名無しさん:2016/05/01(日) 17:16:58.92 ID:tKi6j9CT.net
- 匿名通信(Tor、i2p等)ができるファイル共有ソフトBitComet(ビットコメット)みたいな、
BitTorrentがオープンソースで開発されています
言語は何でも大丈夫だそうなので、P2P書きたい!って人居ませんか?
Covenantの作者(Lyrise)がそういう人と話したいそうなので、よろしければツイートお願いします
https://twitter.com/Lyrise_al
ちなみにオイラはCovenantの完成が待ち遠しいプログラミングできないアスペルガーw
The Covenant Project
概要
Covenantは、純粋P2Pのファイル共有ソフトです
目的
インターネットにおける権力による抑圧を排除することが最終的な目標です。 そのためにCovenantでは、中央に依存しない、高効率で検索能力の高いファイル共有の機能をユーザーに提供します
特徴
Covenant = Bittorrent + Abstract Network + DHT + (Search = WoT + PoW)
接続は抽象化されているので、I2P, Tor, TCP, Proxy, その他を利用可能です
DHTにはKademlia + コネクションプールを使用します
UPnPによってポートを解放することができますが、Port0でも利用可能です(接続数は少なくなります)
検索リクエスト、アップロード、ダウンロードなどのすべての通信はDHT的に分散され、特定のサーバーに依存しません
1@
- 374 :デフォルトの名無しさん:2016/05/03(火) 22:14:50.99 ID:0ryiHSlg.net
- なんかすごいな
プロの人なのかな?
- 375 :デフォルトの名無しさん:2016/06/04(土) 20:27:13.06 ID:9azu721e.net
- catcher
- 376 :デフォルトの名無しさん:2016/07/07(木) 21:15:30.42 ID:7FmYJwv7.net
- catcher
- 377 :デフォルトの名無しさん:2016/08/01(月) 21:06:25.15 ID:ltowomRu.net
- catcher
- 378 :デフォルトの名無しさん:2016/09/01(木) 11:42:26.12 ID:Hkb7T/2S.net
- catcher
- 379 :片山博文MZ ◆T6xkBnTXz7B0 :2016/10/01(土) 02:07:01.64 ID:Ja0BXeAr.net
- RECという優れた逆コンパイラがあるので、CodeReverseにはもはや存在価値がない。
よって、このスレは 糸冬 了 し ま す 。
皆様、有難う御座いました。再利用可。
◆◆◆スレッド終了◆◆◆
総レス数 379
84 KB
掲示板に戻る
全部
前100
次100
最新50
read.cgi ver 2014.07.20.01.SC 2014/07/20 D ★