[bddbddb-devel] Is there some Tutorial for Bddbddb?
Status: Beta
Brought to you by:
joewhaley
|
From: 李进辉 <lij...@gm...> - 2009-03-03 08:52:31
|
Hi all, I am so glad to find this open source project! We are building a Static Analysis tool, and after reading J. Whale’s papers, we decided to try points-to analysis and interprocedural analysis with Bddbddb. But I can’t find something like Tutorial, even the demos in J. Whale’s “PLDITutorial.ppt”. So, somebody please tell me how to start the analysis or the process of analysis using Bddbddb. Some resources like tutorial will be great, because files in the cvs repository of sourceforge make no sense to me. Thanks for your contribution and share. Look forward for your replies! |