io.shiftleft.passes

Diff Graph that has been applied to a source graph. This is a wrapper around diff graph, which additionally provides a map from nodes to graph ids.

Provides functionality to serialize diff graphs and add them to existing serialized CPGs as graph overlays.

A key pool that returns the integers of the interval [first, last] in a thread-safe manner.

A pool of long integers that serve as node ids. Using the method next, the pool provides the next id in a thread-safe manner.

NewStyleCpgPassBase is the shared base between ForkJoinParallelCpgPass and ConcurrentWriterCpgPass, containing shared boilerplate. We don't want ConcurrentWriterCpgPass as a subclass of ForkJoinParallelCpgPass because that would make it hard to whether an instance is non-racy.

Please don't subclass this directly. The only reason it's not sealed is that this would mess with our file hierarchy.

A key pool that returns elements of seq in order in a thread-safe manner.

A lightweight write-only graph used for creation of CPG graph overlays

The graph can store edges to/from nodes that do not exist in the base graph. It doesn't assign ids for these nodes until the diff graph is serialized. Ids of new nodes may collide with ids of nodes in the base graph, which are not sources or destinations of edges of the diff graph. When the CPG loader adds nodes of the overlay, it therefor needs to reassign ids for nodes if they are already used in the original CPG.