Soufflé
Open source parallel logic programming language, influenced by Datalog, featuring both an interpreter and a compiler that targets parallel C++. Designed for large-scale static analysis, it allows for rapid prototyping in logic-based problem solving, and is used primarily for building static analyzers, disassemblers, and binary reverse engineering tools.
Details
Written With
Name | Description |
---|---|
C++ | General-purpose language designed by Bjarne Stroustrup, supporting multiple programming paradigms. |