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 を用ã„ã¦æ案・実ç¾ã•ã‚Œã¦ã„ã¾
{{#tags}}- {{label}}
{{/tags}}