search

BinaryAnalysisPlatform / bap

Binary Analysis Platform
MIT License
2.07k stars 273 forks source link

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

Open XVilka opened 5 years ago

XVilka commented 5 years ago

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

XVilka commented 4 years ago

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

2over12 commented 3 years ago

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.