search

plast-lab / cclyzer

A tool for analyzing LLVM bitcode using Datalog.
MIT License
96 stars 14 forks source link

Meta: Flix #7

Closed sirinath closed 7 years ago

sirinath commented 7 years ago

Flix (http://flix.github.io/) maybe an alternative to using DataLog. Just a pointer. Also open source!

gbalats commented 7 years ago

I'm aware of Flix and it would be nice to incorporate it as an alternative Datalog Engine.

However, Flix and LB Datalog use very different dialects of Datalog with different features, so the entire logic of the analysis would have to be rewritten, which is not really an option.

Also, the Flix web page states:

NB: Flix is still under major development and the language is expected to change.

Since it's still on early development, I wouldn't expect its performance to be anywhere near LB Datalog's.

But thanks for the pointer! I'll reconsider in the future if the languages become more compatible.

sirinath commented 7 years ago

Maybe you can open an issue for compatibility in the Flix issue tracker.