headers
李进辉 | 3 Mar 2009 09:52
Picon

Is there some Tutorial for Bddbddb?

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!

------------------------------------------------------------------------------
Open Source Business Conference (OSBC), March 24-25, 2009, San Francisco, CA
-OSBC tackles the biggest issue in open source: Open Sourcing the Enterprise
-Strategies to boost innovation and cut costs with open source participation
-Receive a $600 discount off the registration fee with the source code: SFAD
http://p.sf.net/sfu/XcvMzF8H
_______________________________________________
bddbddb-devel mailing list
bddbddb-devel <at> lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/bddbddb-devel
Permalink | Reply |

Gmane