The internal program representation ... a dependency graph that represent the data and control flow dependencies between nodes, statements. It must also play a role in software testing.

Developed primarily as a graph database, the software is "optimised for retrieving data on nodes of interest." It's obviously very hard to know what purpose Gaffer actually has within GCHQ ...