Insight http://sources.redhat.com/insight/downloads.php http://www.embedded.jp/article/insight.html DDD http://www.gnu.org/software/ddd/ http://www.a.math.ryukoku.ac.jp/~hig/course/compsci_2002/21/