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