[bddbddb-devel] Is there some Tutorial for Bddbddb?

[李进辉 <lij...@gm...>]

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!