ppt课件-bddbddbusingdatalogandbddsforprogramanalysis.pptVIP

bddbddb:Using Datalog and BDDs for Program Analysis Implementing Program Analysis Is it really that easy? Requires: A different way of thinking Knowledge, experience, and intuition Perseverance to try different techniques A lot of tuning and tweaking Luck Despite all this, people who use it swear by it and could “never go back” Tutorial Structure Part I: Essential Background … Part II: Using the Tools … Part III: Developing Advanced Analyses … Part IV: Profiling, Debugging, Avoiding Gotchas … Short break every 30 minutes Tutorial Structure Part I: Essential Background Datalog for Program A