Pretty awesome that you can search for things that would never normally be tagged. "Moldy pool" actually yields appropriate results.

FUSE does this. https://formal.tech/products/fuse

Here's a graph. http://fuse.galois.com/nexus4/visualization/

It is not at all clear what this graph is meant to represent.