lengyijun / polonius.next

experimental datalog rules for a next gen polonius

Experimental new polonius rules

Try:

> souffle src/polonius.dl -F test/example-a -D -