bddbddb Easily and efficiently specify program analyses
Download

bddbddb Ranking & Summary

bddbddb Tags

analyze analyzer program analysis BDD analyze program program analyzer

bddbddb Description

Easily and efficiently specify program analyses bddbddb (BDD-Based Deductive DataBase) is an implementation of Datalog, a declarative programming language similar to Prolog for talking about relations. What makes bddbddb unique is that it represents the relations using binary decision diagrams (BDDs). BDDs are a data structure that can efficiently represent large relations and provide efficient set operations. This allows bddbddb to efficient represent and operate on extremely large relations - relations that are too large to represent explicitly.bddbddb can be used as a tool for easily and efficiently specifying program analyses. bddbddb can be represented as database relations. Developing a program analysis becomes as simple as writing the specification for the analysis in a declarative style and then feeding that specification to bddbddb, which automatically transforms your specification into efficient BDD operations. Requirements: · Java

bddbddb Related Software