Displaying full paths in control flow graphs

[d0rata]

I'm attempting to write a simple dataflow analysis for a control flow graph (represented by a series of facts, similar to here. My first attempt is a simple script that detects use-after-free conditions. Here is what I have so far:

.decl Edge(n: symbol, m: symbol)

Edge("start", "b1").
Edge("b1", "b2").
Edge("b1", "b3").
Edge("b2", "b4").
Edge("b3", "b4").
Edge("b4", "end").
Edge("b4", "b1").

// locations of frees
.decl FreeAlloc(n: symbol, d: symbol)
FreeAlloc("b3", "m1").

// locations of uses
.decl UseAlloc(n: symbol, d: symbol)
UseAlloc("b2", "m1").

// paths
.decl Path(n:symbol, d: symbol)
Path(a, b) :- Edge(a, b).
Path(a, b) :- Path(a, c), Edge(c, b).

// UAF
.decl UAF(n: symbol, d: symbol)
UAF(a, b) :- Path(a,b), FreeAlloc(a, c), UseAlloc(b, c).
.output UAF

In this scenario, b3 frees m1, and b2 uses m1. The UAF relation correctly detects that there is a use-after-free and returns b3 b2. However, I want to also output the path through the Edges the Souffle followed to arrive at that answer. How would I go about dumping the entire path?

[d0rata]

The answer is to use the provenance feature of souffle: https://souffle-lang.github.io/provenance