How to use bddbddb for Java software analysis石尾 隆 (ishio .AT. ist.osaka-u.ac.jp) May 29, 2006 このメモは，Windows 環境で bddbddb を使って Java プログラムを解析する方法について 経験に基づいて記述しています． 何か問題を発見されたり，疑問点がある場合には，ご連絡ください. What is bddbddb? bddbddb は，オープンソースで開発されているソフトウェアで， datalog という言語を使ってリレーションを操作することができます． リレーション (relation) とは，リレーショナル代数・リレーショナルデータベースの中で 使われる，タプル (tuple) の集合としてのリレーションです． プログラム解析で使われるポインタ解析（points-to set analysis）の１つが， bddbddb を用いて提案・実現されていま
