The Soufflé project designs and implements novel compilation techniques for the efficient translation of Datalog programs to C++. The aim of the Soufflé Datalog compiler is to use it as a domain-specific language tool for static program analysis including points-to, taint, constant-propagation, and security analyses for large-scale code bases with million lines of code. Soufflé provides the ability to rapid prototype and make deep design space explorations possible for the tool designers writing static program analyses with the aim to increase the productivity.
What is the license of Soufflé?
This version of Souffle is released under the UPL license.