Souffle functor to support live output for the most basic of Doop's analysis results.
Currently outputting VarPointsTo, CallGraphEdge and "other"(general purpose) with the following declarations.
.functor logVPT(number, symbol, number, symbol):number
.functor logCGE(number, symbol, number, symbol):number
.functor logOther(symbol):number
Environment variables:
LD_LIBRARY_PATH
needs to contain the directory where this repo is cloned (and the .so file is built in).
ANALYSIS_OUT
is needed for the execution(Doop automatically makes this variable contain the output/database directory of the current analysis).