[Bug][Golang][Dataflowengine][Performance] Hang

[ycclnn]

chainlink.zip Describe the bug reachableBy hangs for empty sink and single literal node source.

joern> cpg.literal.id(161614).l
val res9: List[io.shiftleft.codepropertygraph.generated.nodes.Literal] = List(
  Literal(
    id = 161614L,
    argumentIndex = 2,
    argumentName = None,
    code = "\"text file holding the API email and password needed to create a session cookie\"",
    columnNumber = Some(value = 15),
    dynamicTypeHintFullName = ArraySeq(),
    lineNumber = Some(value = 167),
    order = 2,
    possibleTypes = ArraySeq(),
    typeFullName = "string"
  )
)

joern> Iterator[CfgNode]().reachableBy(cpg.literal.id(161614L))
Captured interrupt signal `INT` - if you want to kill the REPL, press Ctrl-c again within three seconds

Desktop (please complete the following information):

• Win 11
• Joern 2.0.181

[ycclnn]

Looks like it's due to malformed cpg. cpg.method.fieldAccess.size hangs forever, causing the overflowdb repeatedly calling Next() and hasNext().

This problem exists in version 2.0.189.

@pandurangpatil Would you please take a look if you have time? Thanks.

val res0: io.shiftleft.codepropertygraph.Cpg = Cpg (Graph [1018955 nodes])

joern> cpg.method.fieldAccess
val res1:
  Iterator[
    io.shiftleft.semanticcpg.language.operatorextension.OpNodes.FieldAccess] = non-empty iterator

joern> cpg.method.fieldAccess.size

[ycclnn]

I feel like this is somehow the same problem as #3845 because: I believe there is a cycle in the AST graph as cpg.method.id(141337L).ast stucks as well.