Download
https://hackershare.dev/en/bookmarks/904484
Soufflé: A Datalog Synthesis Tool for Static Analysis
Share