Description
knowledge base predicates for static code analysis.
Description
The knowledge base ( kb ) aims to be a data structure able to:
represent multiple facts about the source code repo
from various programming languages
each fact can be translated to a Prolog fact
facts can be combined to create predicates
predictaes can be combined to formulate security queries
Prolog facts describe relations between:
code locations
const strings
const integers
Prolog facts can be combined:
create expressive queries from simple facts
Prolog queries are easy to write:
you don't have to be a Prolog expert
copy-paste the basic facts to anyLLM
explain in plain English your query's purpose
et voilà !