netail.net

自作フリーソフトや，ゲームに関する雑記を公開してます．
日記はソフトウェア工学の論文ネタが中心です．

2006-10-02 [長年日記] ▲

bddbddbの使い方について，最新のソースはCVSじゃなくてSubversionで管理されている，と東大の青谷さんからご指摘いただいたのを反映しました．といって，単に注意書き足しただけなんですが．

bddbddb自体はタプルの集合（リレーション）をBDD形式で保存して，Datalog言語を使って操作するためのツールなので，Javaバイトコードから情報を取り出してbddbddbに変換するjoeqというツールの部分を作り変える（あるいは自作する）と，色々プログラム解析に使えると思います．

この手のlogic programmingの処理系を使ってデータ解析部分を手早く実装するというのがツール作る人たちの最近の流行な気がするので，１つくらいは使い方を知っておくと今後役立ちそうだという印象があります．