hack news

Soufflé: A Datalog Synthesis Tool for Static Prognosis

Common sense Defined Static Prognosis.

Language

Speedily-prototyping for your diagnosis concerns with logic; enabling deep originate-rental explorations; designed for good-scale static diagnosis; e.g., aspects-to diagnosis for Java, taint-diagnosis, security checks.

Soufflé Program →

Synthesis of Common sense

Futamura projections/partial evaluate for efficient translation to parallel C++; optimized staged compilation; surely expert files-constructions for logical family.

How Soufflé works →

Are trying it out

Related Articles

Leave a Reply

Your email address will not be published. Required fields are marked *

Check Also
Close
Back to top button