Blogs / Company blogs

Soufflé

souffle-lang.github.io

Rapid-prototyping for your analysis problems with logic; enabling deep design-space explorations; designed for large-scale static analysis; e.g., points-to analysis for Java, taint-analysis, security checks.

Popular posts

1

Total points

174

HN comments

4

Rank

#6,776 company

Visit souffle-lang.github.io → RSS feedOn Hacker News Apr 2019 – Apr 2019

Software Engineering 1Databases & Data 1