from Hacker News

Soufflé: a Datalog Synthesis Tool for Static Analysis

by nickmain on 6/30/22, 4:15 PM with 0 comments