Heykuki News
Top
New
Best
Ask
Show
Jobs
Toggle theme
Login
Top
New
Best
Ask
Show
Jobs
Soufflé: A Datalog Synthesis Tool for Static Analysis
souffle-lang.github.io
84 points
nickmain
4 years ago
21 comments
Loading...
Soufflé: A Datalog Synthesis Tool for Static Analysis | Heykuki News