4 ms·Bddbddb: Using Datalog with binary decision diagrams for program analysis [pdf]3 points by fanf2 2y ago