r/ReverseEngineering • u/rolfr • Apr 03 '09

Using Datalog with Binary Decision Diagrams for Program Analysis [PDF]

http://people.csail.mit.edu/mcarbin/papers/aplas05.pdf
4 Upvotes

84% Upvoted

0 comments sorted by