Creating the reasoning and query system about graphs, blocks and semantics

Open XVilka opened this issue 6 years ago • 2 comments

Importing Core theory produced results into the Prolog for easy query, maybe based on ELPI https://github.com/LPCIC/elpi

To be able to write rules like https://fbinfer.com/docs/linters.html for Infer for example.

Or like Semmle QL https://semmle.com/ql

Sep 24 '19 07:09 XVilka

https://github.com/BinaryAnalysisPlatform/bap/issues/1169 is a good first step towards this goal.

Jul 06 '20 06:07 XVilka

So obviously ivg can provide more input on the state of saluki, but saluki does provide the capability to perform dataflow queries on programs with a DSL so there is some capability already there. Granted the scope of saluki is limited.

Aug 01 '21 17:08 2over12