3 ms·bddbddb: Using Datalog with Binary Decision Diagrams for Program Analysis [pdf]4 points by fanf2 2y ago