New top story on Hacker News: Soufflé: A Datalog Synthesis Tool for Static Analysis
Soufflé: A Datalog Synthesis Tool for Static Analysis 2 by nickmain | 0 comments on Hacker News. December 1, 2022 at 02:39AM nickmain 2 https://ift.tt/M3ZJp7k Soufflé: A Datalog Synthesis Tool for Static Analysis 0 https://ift.tt/M5QLSlH