search

souffle-lang / souffle

Soufflé is a variant of Datalog for tool designers crafting analyses in Horn clauses. Soufflé synthesizes a native parallel C++ program from a logic specification.
http://souffle-lang.github.io/
Universal Permissive License v1.0
927 stars 208 forks source link

list of soufflé front-ends? #2314

Closed monperrus closed 2 years ago

monperrus commented 2 years ago

Hi all,

Is there a list of soufflé front-ends? (in particular, we're looking for a way to translate Javascript and Java to Soufflé facts).

Thanks!

--Martin

b-scholz commented 2 years ago

Please, read up on the DOOP project. It has a Java extractor based on the SOOT project. Unfortunately, we only have an incomplete list here:

https://souffle-lang.github.io/applications

We would be grateful to add more extractors/applications to the list if you could find more on the internet (there is an edit button).

monperrus commented 2 years ago

Thanks a lot @b-scholz

https://souffle-lang.github.io/applications

Proposing a humble contribution at https://github.com/souffle-lang/souffle-lang.github.io/pull/120

Have you ever heard of a front-end for Javascript?

b-scholz commented 2 years ago

I am not aware of an "open-source" Javascript extractor. Perhaps there is a possibility to reuse open-source Javascript static analyzers to build an extractor.

monperrus commented 2 years ago

Thanks!