Language

Requirements

  • We shouldn’t invent it on our own: eats too many resources, adds maintenance burden.
  • It shouldn’t be too difficult to port existing recipes from BAP or Binja’s BNQL.
  • Query language should be both human-readable and machine-readable.
    • Clear (not too bloated) syntax.

Language/Language Engine candidates to use

Wirelog - C implementation of a Datalog engine.

  • Currently active developed.
  • Part of the startup Cleverplant.
  • Requires signing of commercial license for contributions.

Misses